CGs, AI, Logic, Mathematics


Conceptual Graphs

People, groups

Conferences

Tools, projects

Courses, tutorials, information

Research, applications


Ontology


Rodney Brooks (Robots)


Symbolic AI


Foundations of Logic and Mathematics