Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part Ii

Springer Berlin (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Simply the best: A case for abduction.  (pages 83-93)Stathos Psillos

Similar books and articles

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski.Antonis C. Kakas & Robert Kowalski - 2002 - Springer Verlag.
Reprint of “Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011”.Alan Bundy - 2013 - Artificial Intelligence 199:122-123.
Robert Kowalski, Computational Logic and Human Thinking. Cambridge, Cambridge University Press, 2011.Lorenz Demey - 2013 - Tijdschrift Voor Filosofie 75 (2):395-397.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113-138.
Traditional Logic and Computational Thinking.J. -Martín Castro-Manzano - 2021 - Philosophies 6 (1):12.
Pseudo-Boolean valued prolog.Melvin Fitting - 1988 - Studia Logica 47 (2):85-91.
Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
We Will Show Them: Essays in Honour of Dov Gabbay.S. Artemov, H. Barringer, A. Garcez, L. Lamb & J. Woods (eds.) - 2005 - London: College Publications.
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings.Gerard Comyn & Norbert E. Fuchs - 1992 - Springer Verlag.
Kowalski Robert. Logic for problem solving. Artificial Intelligence Series, no. 7. Elsevier North Holland, Inc., New York and Oxford 1979, xiv + 287 pp.Donald W. Loveland - 1982 - Journal of Symbolic Logic 47 (2):477-478.

Analytics

Added to PP
2010-06-22

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?

Citations of this work

Hansonian and Harmanian abduction as models of discovery.Sami Paavola - 2006 - International Studies in the Philosophy of Science 20 (1):93 – 108.

Add more citations

References found in this work

No references found.

Add more references