Cover Image

Epistemic logic for AI and computer science /

Bibliographic Details
Main Author:	Meyer, John-Jules Ch
Other Authors:	Hoek, W. van der (Wiebe)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1995.
Series:	Cambridge tracts in theoretical computer science ; 41.
Subjects:	Computer science. Artificial intelligence. Logic, Symbolic and mathematical.

Similar Items

The logic of information structures /
by: Wansing, H. (Heinrich)
Published: (1993)

Logic-based artificial intelligence /
Published: (2000)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

A resolution principle for a logic with restricted quantifiers /
by: Bürckert, H.-J. (Hans-Jürgen)
Published: (1991)

Conditional inference and logic for intelligent systems : a theory of measure-free conditioning /
by: Goodman, Irwin R.
Published: (1991)

Handbook of logic in computer science /
Published: (1992)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Agent-Based Defeasible Control in Dynamic Environments /
by: Meyer, John-Jules Ch
Published: (2002)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Logics for artificial intelligence /
by: Turner, Raymond, 1947-
Published: (1984)

From logic to computing /
by: McArthur, Robert P., 1944-
Published: (1991)

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

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Logic for computer science and artificial intelligence /
by: Caferra, Ricardo, 1945-
Published: (2011)

The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, Johan
Published: (1991)

The Logic of Time : a Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse /
by: Benthem, J. F. A. K.
Published: (1982)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings /
Published: (1991)

Displaying Modal Logic /
by: Wansing, H. (Heinrich)
Published: (1998)

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /
Published: (1994)

Dynamics and Management of Reasoning Processes /
by: Meyer, John-Jules Ch
Published: (2001)

Discrete structures, logic, and computability /
by: Hein, James L.
Published: (2017)

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Published: (1999)

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings /
Published: (2004)

Nonmonotonic Logic : Context-Dependent Reasoning /
by: Marek, V. Wiktor
Published: (1993)

Logic, language, and computation /
Published: (1997)

Substructural logics /
Published: (1993)

The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)

Fuzzy Logic in Data Modeling : Semantics, Constraints, and Database Design /
by: Chen, Guoqing
Published: (1998)

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

Advances in technological applications of logical and intelligent systems : selected papers from the Sixth Congress on Logic Applied to Technology /
Published: (2009)

Hanbdook of logic in computer science.
Published: (2020)

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings /
Published: (2000)

Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 ; proceedings /
Published: (2006)

Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings /
Published: (2002)

Logic and algebra of specification /
Published: (1993)

Advances in logic based intelligent systems : selected papers of LAPTEC 2005 /
Published: (2005)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

From logic to logic programming /
by: Doets, Kees
Published: (1994)

An Introduction to Fuzzy Logic Applications in Intelligent Systems /
by: Yager, Ronald R.
Published: (1992)

Linear logic in computer science /
Published: (2004)