Article by Ivan José Varzinczak, postdoc researcher in artificial intelligence at universities in France and South Africa, building on Propositional Dynamic Logic. [PDF]
Charitable organization concerned with fostering research and communication on knowledge representation and reasoning. Features conferences, educational materials and mailing lists.
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.
A set of tools using Conceptual Graphs formalism for building and documentation of knowledge bases, indexing or connecting elements of WWW-accessible documents.