Action Theory Contraction and Minimal Change - http://ivanjv-en.890m.com/wp-content/uploads/2008/06/varzinczak-kr2008.pdf
Article by Ivan José Varzinczak, postdoc researcher in artificial intelligence at universities in France and South Africa, building on Propositional Dynamic Logic. |
Conceptual Graphs Home Page - http://www.cs.uah.edu/~delugach/CG/
Features introductory material and bibliography, standard notation, events, projects, tools and researchers. |
http://www.webkb.org/ - http://www.webkb.org/
A set of tools using Conceptual Graphs formalism for building and documentation of knowledge bases, indexing or connecting elements of WWW-accessible documents. |
John Sowa on Knowledge Representation - http://www.jfsowa.com/
Provides background material and tutorials on ontology and related topics in logic, conceptual graphs, and natural language semantics. |
Knowledge Interchange Format (KIF) - http://logic.stanford.edu/kif/kif.html
A DARPA project. KIF is a language designed for use in the interchange of knowledge among disparate computer systems. |
Knowledge Representation Resources - http://www.cs.cofc.edu/~manaris/ai-education-repository/
A list of knowledge representation resources, part of the AI Education Repository at the University of Southwestern Louisiana. |
KR, Inc. - http://www.kr.org
Charitable organization concerned with fostering research and communication on knowledge representation and reasoning. Features conferences, educational materials and mailing lists. |
Tockit Project - http://tockit.sourceforge.net/
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. |