Knowledge in action logical foundations for specifying and implementing dynamical systems

Knowledge in action logical foundations for specifying and implementing dynamical systems

Saved in:

Bibliographic Details
Main Author:	Reiter, Raymond
Format:	Unknown
Published:	Cambridge MIT Press 2001
Subjects:	Knowledge representation (Information theory) Expert systems (Computer science) Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The logic of knowledge bases
by: Levesque, Hector J. 1951-
Published: (2000)

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)

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

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)

Approaches to knowledge representation an introduction
Published: (1988)

Revision and updating in knowledge bases
Published: (1994)

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

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

Semantic networks in artificial intelligence
Published: (1992)

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

Language in action categories, lambdas and dynamic logic
by: Van Benthem, Johan
Published: (1991)

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

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

Formal ontologies meet industry
Published: (2009)

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

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

Enabling collaboration on semiformal mathematical knowledge by semantic web integration
by: Lange, Christoph
Published: (2011)

Readings in knowledge representation
Published: (1985)

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

Representing uncertain knowledge an artificial intelligence approach
by: Krause, Paul
Published: (1993)

Knowledge acquisition
by: Brule, James F
Published: (1989)

Foundations of computing system development with set theory and logic
by: Scheurer, Thierry
Published: (1994)

Knowledge transformation for the semantic web
Published: (2003)

Knowledge representation for decision support systems proceedings of the IFIP WG 8.3 Working Conference on Knowledge Representation for Decision Support Systems, Durham, U.K., 24-26 July 1984
Published: (1985)

The logical and set-theoretical foundations of mathematics part one of a modern introduction to pure mathematics
by: Zulauf, Achim
Published: (1969)

Specifying message passing and time-critical systems with temporal logic
by: Koyman, R. (Rond1959-
Published: (1992)

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