Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.)

Handbook on ontologies / Steffen Staab, Rudi Studer (eds.)

Qualitative representation of spatial knowledge / Daniel Hernández

Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos (eds.)

Part-whole reasoning in an object-centered framework / Patrick Lambrix

Modelling spatial knowledge on a linguistic basis : theory, prototype, integration / Ewald Lang, Kai-Uwe Carstensen, Geoffrey Simmons

The logic of knowledge bases / Hector J. Levesque, Gerhard Lakemeyer

Qualitative spatial reasoning with topological information / Jochen Renz

Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter

Text knowledge and object knowledge / Annely Rothkegel

Spatial cognition II : integrating abstract theories, empirical studies, formal methods, and practical applications / Christian Freksa ... [et al.] (eds.)

Truth and modality for knowledge representation / Raymond Turner

Learning and reasoning with complex representations : PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996 : selected papers / Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczyński, eds

Conceptual structures : theory and implementation : 7th annual workshop, Las Cruces, NM, USA, July 1992 : proceedings / Heather D. Pfeiffer, Timothy E. Nagle (eds.)

Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures, ICCS '93, Quebec City, Canada, August 4-7, 1993 : proceedings / Guy W. Mineau, Bernard Moulin, John F. Sowa (eds.)

Conceptual structures : current practices : Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994 : proceedings / William M. Tepfenhart, Judith P. Dick, John F. Sowa (eds.)

Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings / Gerard Ellis ... [et al.] (eds.)

Conceptual structures: knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings / Peter W. Eklund, Gerard Ellis, Graham Mann (eds.)

Conceptual structures : fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997 : proceedings / Dickson Lukose ... [et al.] (Eds.)