The logic of knowledge bases

The logic of knowledge bases

Saved in:

Bibliographic Details
Main Author:	Levesque, Hector J. 1951-
Other Authors:	Lakemeyer, Gerhard
Format:	Book
Published:	Cambridge, Mass. MIT Press 2000
Subjects:	Logic, Symbolic and mathematical Expert systems (Computer science) Knowledge representation (Information theory)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Knowledge in action logical foundations for specifying and implementing dynamical systems
by: Reiter, Raymond
Published: (2001)

Knowledge Representation Logical, Philosophical, and Computational Foundations
by: Sowa, John F
Published: (2000)

Knowledge representation
Published: (1992)

Handbook of knowledge representation
Published: (2008)

KNOWLEDGE MANAGEMENT AND REPRESENTATION
Published: (2018)

Knowledge representation and reasoning
by: Brachman, Ronald J. 1949-
Published: (2004)

Fuzzy computational ontologies in contex formal models of knowledge representation with membership degree and typicality of objects, and their applications
by: Cai, Yi
Published: (2012)

Handbook on ontologies
Published: (2004)

Memory practices in the sciences
by: Bowker, Geoffrey C.
Published: (2005)

Spatial cognition II integrating abstract theories, empirical studies, formal methods and practical applications
Published: (2000)

Conceptual structures in practice
Published: (2009)

Conceptual structures current research and practice
Published: (1992)

Conceptual structures logical, linguistic and computational issues proceedings of the ...held August 14 - 18, 2000
Published: (2000)

Practical Ontologies for Information Professionals
by: Stuart, David
Published: (2016)

Revision and updating in knowledge bases
Published: (1994)

Knowledge acquisition in practice a step-by-step guide
by: Milton, Nick R.
Published: (2010)

Knowledge Acquisition in Practice A Step-by-step Guide
by: Milton, N. R.
Published: (2007)

Knowledge engineering knowledge acquisition, knowledge representation, the role of the knowledge engineer, and domains fertile to AI implementation
by: Chorafas, Dimitris N
Published: (1990)

Approaches to knowledge representation an introduction
Published: (1988)

Vivid Logic Knowledge-Based Reasoning with Two Kinds of Negation
by: Wagner, G. 1957- Gerd
Published: (1994)

From natural language processing to logic for expert systems a logic based approach to artificial intelligence
Published: (1991)

Shaping knowledge complex socio-spatial modelling for adaptive organizations
by: O'Brien, Jamie
Published: (2014)

Semantic networks in artificial intelligence
Published: (1992)

Solving the frame problem a mathematical investigation of the common sense law of inertia
by: Shanahan, Murray
Published: (1997)

Logic programming and knowledge engineering
by: Amble, Tore 1945-
Published: (1987)

Part-whole reasoning in an object-centered framework
Published: (2000)

Formal ontologies meet industry
Published: (2009)

Evolving knowledge bases specification and semantics
by: Leite, Joao Alexandre
Published: (2003)

Logical number theory an introduction
by: Smorynski, Craig
Published: (1991)

Methods and tools for applied artificial intelligence
by: Popovic, Dobrivoje 1931-
Published: (1994)

Logic and algebra of specification
Published: (1993)

Logic
by: Tomassi, Paul
Published: (1999)

Sets, logic, and axiomatic theories.
by: Stoll, Robert Roth
Published: (1961)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Representation and exchange of knowledge as a basic of information processes
Published: (1984)

Logical forms an introduction to philosophical logic
by: Sainsbury, R. M (Richard Mark)
Published: (2001)

Handbook of logic in computer science logic and algebraic methods
Published: (2000)

Symbolic logic
by: Copi, Irving M
Published: (1968)

Logic and structure
by: Dalen, D. va 1932- Dirk
Published: (2004)

Symbolic logic
by: Thomas, James A
Published: (1977)