Imagen de Portada

Commonsense reasoning /

Guardado en:

Autor Principal:	Mueller, Erik T.
Formato:	Libro
Idioma:	English
Publicado:	Amsterdam ; Boston : Elsevier Morgan Kaufmann, c2006.
Materias:	Commonsense reasoning > Automation. Artificial intelligence > Mathematics. Logic, Symbolic and mathematical > Data processing.
Acceso en línea:	Table of contents only Publisher description
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The phenomenon of commonsense reasoning : nonmonotonicity, action, and information /
por: Thanassas, Dimitrios, 1964-
Publicado: (1992)

Representations of commonsense knowledge /
por: Davis, Ernest.
Publicado: (1990)

Formalizing common sense : papers /
por: McCarthy, John, 1927-
Publicado: (1990)

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning /
por: Levi, Isaac, 1930-
Publicado: (1996)

Partiality, modality, and nonmonotonicity /
Publicado: (1996)

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

Logic-based artificial intelligence /
Publicado: (2000)

Constraint-based reasoning /
Publicado: (1994)

A perspective of constraint-based reasoning : an introductory tutorial /
por: Güsgen, Hans Werner, 1959-
Publicado: (1992)

Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings /
Publicado: (1998)

Epistemic logic for AI and computer science /
por: Meyer, John-Jules Ch.
Publicado: (1995)

Logic : a foundation for computer science /
por: Sperschneider, V.
Publicado: (1991)

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
por: Hutter, Dieter.
Publicado: (2005)

Nonmonotonic reasoning : an overview /
por: Brewka, Gerhard.
Publicado: (1997)

Non-monotonic reasoning and partial semantics /
Publicado: (1992)

Natural deduction : the logical basis of axiom systems /
por: Anderson, John Mueller.
Publicado: (1962)

Logic : techniques of formal reasoning /
por: Kalish, Donald.
Publicado: (1964)

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
por: Kemel, George,
Publicado: (2020)

Nonmonotonic logic : context-dependent reasoning /
por: Marek, V. W. 1943- )
Publicado: (1993)

Applied logic /
por: Hansen, Kaj Børge.
Publicado: (1996)

Symbolic logic and mechanical theorem proving /
por: Chang, Chin-Liang, 1937-
Publicado: (1973)

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents /
por: Kern-Isberner, Gabriele, 1956-
Publicado: (2001)

Mathematical Problems from Applied Logic II Logics for the XXIst Century /
por: Gabbay, Dov M.
Publicado: (2007)

Propositional and Predicate Calculus A Model of Argument
por: Goldrei, Derek.
Publicado: (2005)

Théorie des ensembles
por: Bourbaki, N.
Publicado: (2006)

Visualization, Explanation and Reasoning Styles in Mathematics
por: Mancosu, Paolo.
Publicado: (2005)

Argumentation machines : new frontiers in argument and computation /
Publicado: (2004)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
por: Ésik, Zoltán.
Publicado: (2006)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
por: Middeldorp, Aart.
Publicado: (2005)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
por: Ong, Luke.
Publicado: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
por: Duparc, Jacques.
Publicado: (2007)

Foundations of mathematics /
por: Hatcher, William S.
Publicado: (1968)

Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (2002)

Introduction to the foundations of mathematics /
por: Wilder, Raymond Louis, 1896-
Publicado: (1965)

Éléments de logique mathématique : théorie des modèles /
por: Kreisel, Georg.
Publicado: (1967)

Meta-logics and logic programming /
Publicado: (1995)

Logic and its applications /
por: Burke, Edmund, Ph. D.
Publicado: (1996)

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996)

The semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (1995)

Mathematical problems from applied logic I : logics for the XXIst century /
Publicado: (2006)