Web Directory

» Action Theory Contraction and Minimal Change
   Article by Ivan José Varzinczak, postdoc researcher in artificial intelligence at universities in France and South Africa, building on Propositional Dynamic Logic.
   http://www.aaai.org/Papers/KR/2008/KR08-064.pdf

» Conceptual Graphs Home Page
   Features introductory material and bibliography, standard notation, events, projects, tools and researchers.
   http://conceptualgraphs.org/

» John Sowa on Knowledge Representation
   Provides background material and tutorials on ontology and related topics in logic, conceptual graphs, and natural language semantics.
   http://www.jfsowa.com/

» KR, Inc.
   Charitable organization concerned with fostering research and communication on knowledge representation and reasoning. Features conferences, educational materials and mailing lists.
   http://www.kr.org

» Knowledge Interchange Format (KIF)
   A DARPA project. KIF is a language designed for use in the interchange of knowledge among disparate computer systems.
   http://logic.stanford.edu/kif/kif.html

» Knowledge Representation Resources
   A list of knowledge representation resources, part of the AI Education Repository at the University of Southwestern Louisiana.
   http://www.cs.cofc.edu/~manaris/ai-education-repository/

» Tockit Project
   Aims to create a framework for conceptual knowledge processing in terms of social structures and a common code base. Features software description and contact details.
   http://tockit.sourceforge.net/

» WebKB
   A set of tools using Conceptual Graphs formalism for building and documentation of knowledge bases, indexing or connecting elements of WWW-accessible documents.
   http://www.webkb.org/