Thu Nov 3 18:04:06 2005

UMBC AgentWeb [an error occurred while processing this directive]

AgentWeb: Topics: Communicative Agents: KIF
Search web for similar pages

Subcategories

• Representation of KIF & FIPA-ACL in XML 2/17/00 15

• What is an ontology? 1/1/00 16 - This page is for copies of dissertations and theses on agent-related topics. These are of special interest since the represent very current research, are (usually) substantial in their contributions, and provide good examples for students who are working on ones themselves.

• KIF101 - a brief non-technical introduction to KIF 1/1/00 11

• ANSI KIF Specification 1/1/00 9

• Model Theoretic Semantics 1/1/00 9

• KIF Standard Ontologies 1/1/00 9

• Prologic 1/1/00 10 - a common lisp knowledge representation and reasoning system compatible with KIF

• EPILOG 1/1/00 10 - a common lisp inference system compatible with KIF

• JKP 1/1/00 9 - a Java Kif Parser which can parse ascii strings representing sentences in a subset of KIF into aJava representation which encodes the logical structure and is ready for further manipulationa C parser for the Knowledge Interchange Format

• KIF draft proposed American National Standard 6/21/00 12 - This dpANS specifies the syntax and semantics of Knowledge Interchange Format (KIF) and a syntactic variant of KIF in "infix"form.

• Common Logic Standard 4/11/02 11 - This note describes new efforts to create a common standard lanaguage for logic based on the proposed ISO standards forthe Knowledge Interchange Format (KIF) and Conceptual Graphs (CGs).