Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1: Logical Foundations

, &
Studia Logica 55 (3):449-451 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Handbook of Logic in Artificial Intelligence and Logic Programming.Dov M. Gabbay, Christopher John Hogger & J. A. Robinson - 1993
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning.G. Aldo Antonelli - 2000 - Bulletin of Symbolic Logic 6 (4):480-484.
Review: Dov M. Gabbay, C. J. Hogger, J. A. Robinson, D. Nute, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning. [REVIEW]G. Aldo Antonelli - 2000 - Bulletin of Symbolic Logic 6 (4):480-484.
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii.David Makinson - 1994 - Clarendon Press.
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings.Matthias Baaz & Andrei Voronkov - 2002 - Springer.
General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Oxford: Clarendon Press. pp. 35-110.
If inductive logic programming leads, will data mining follow?Randy Goebel - forthcoming - Proceedings of the Japanese Society for Artificial Intelligence, Foundations of Ai Special Interest Group Workshop on Inductive Logic Programming.
Computational molecular biology: A promising application using logic programming and constraint logic programming.J. Cohen - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.
An Introduction to Default Logic.Philippe Besnard - 2010 - Springer.
Deriving Answers to Logical Queries by Answer Composition.R. J. Gaizauskas - 1991 - University of Sussex, School of Cognitive and Computing Sciences.
The Logical Impingement of Artifical Intelligence.Luíz Moniz Pereira - 1998 - Grazer Philosophische Studien 56:183-204.
Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001 ; Proceedings.Robert Nieuwenhuis & Andrei Voronkov - 2001 - Springer.
Artificial Intelligence in Simulation.Iván Futó & Tamás Gergely - 1990 - Prentice-Hall.
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings.Moshe Vardi & Andrei Voronkov - 2003 - Springer Verlag.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem
John Robinson

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references