Cover Image

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

Main Author:	Reiter, Raymond
Format:	Book
Language:	English
Published:	Cambridge, Massachusetts ; London: MIT Press, c2001
Subjects:	Knowledge representation (Information theory) Expert systems (Computer science) Logic, Symbolic and mathematical

Similar Items

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

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

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

Knowledge representation and reasoning /
by: Brachman, Ronald J., 1949-

Knowledge representation/
Published: (1992)

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

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

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

An introduction to knowledge engineering/
by: Kendal, S. L.
Published: (2007)

Principles of knowledge representation and reasoning: proceedingsof the third international conference (KR '92)/
Published: (1992)

Foundations of knowledge representation and reasoning/
Published: (1994)

Structural knowledge: techniques for representing, conveying, and acquiring structural knowledge/
by: Jonassen, David H., 1947-
Published: (1993)

Principles of knowledge representation and reasoning: proceedings of the second international conference (KR91)/
Published: (1991)

Principles of knowledge representation and reasoning: proceedingsof the fourth international conference (KR '94)/
Published: (1994)

Knowledge representation and language in AI/
by: Hodgson, Jonathan P. E., 1942-
Published: (1991)

Logic-based knowledge representation /
by: Jackson, Peter, 1948-.
Published: (1989)

Spatial cognition IV: reasoning, action and interaction : international conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004 : revised selected papers/
Published: (2005)

Graph-based knowledge representation: computational foundations of conceptual graphs/
by: Chein, Michel
Published: (2009)

Knowledge acquisition in practice : a step-by-step guide /
by: Milton, N. R.
Published: (2007)

Knowledge representation, reasoning, and declarative problem solving /
by: Baral, Chitta.
Published: (2003)

The description logic handbook : theory, implementation, and applications /
Published: (2007)

The description logic handbook theory, implementation, and applications /
Published: (2003)

Logic and visual information/
by: Hammer, Eric M.
Published: (1995)

Logical reasoning with diagrams/
Published: (1996)

Description logic rules /
by: Krθotzsch, Markus.

Formal ontologies meet industry proceedings of the fifth international workshop (FOMI 2011) /
Published: (2011)

Knowledge engineering : knowledge acquisition, knowledge representation, the role of the knowledge engineer, and domains fertile for Al implementation /
by: Χωραφάς, Δημήτρης Ν.
Published: (1990)

Neural networks for knowledge representation and inference/
Published: (1994)

Logic-based knowledge representation/
Published: (1989)

Knowledge engineering for expert systems /
by: Greenwell, Mike, 1953-.
Published: (1988)

Knowledge-based systems: techniques and applications/
Published: (2000)

Knowledge and knowledge systems : learning from the wonders of the mind /
by: Geisler, Eliezer, 1942-
Published: (2008)

Handbook on ontologies /
Published: (2009)

Logical reasoning with diagrams
Published: (1996)

Instructional models in computer-based learning environments /
Published: (1992)

Knowledge management : learning from knowledge engineering /
by: Liebowitz, Jay
Published: (2001)

Knowledge acquisition for knowledge-based systems/
Published: (1991)

Enabling collaboration on semiformal mathematical knowledge by semantic web integration /
by: Lange, Christoph.

Advances in knowledge discovery and data mining /
Published: (1996)

Knowledge acquisition, modeling and management: 10th European Workshop, EKAW ʹ97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997 : proceedings/
Published: (1997)

Cannot write session to /tmp/vufind_sessions/sess_u032618fc5o5b2580dua1vdqf4