Partition-based logical reasoning for first-order and propositional theories

&
Artificial Intelligence 162 (1-2):49-88 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2004.11.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

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

An approach to default reasoning based on a first-order conditional logic: Revised report.James P. Delgrande - 1988 - Artificial Intelligence 36 (1):63-90.
Theories for mutagenicity: a study in first-order and feature-based induction.A. Srinivasan, S. H. Muggieton, M. J. E. Sternberg & R. D. King - 1996 - Artificial Intelligence 84 (1-2):357.
Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces.Steven Schockaert & Henri Prade - 2013 - Artificial Intelligence 202 (C):86-131.
Theories for mutagenicity: a study in first-order and feature-based induction.Ashwin Srinivasan, S. H. Muggleton, M. J. E. Sternberg & R. D. King - 1996 - Artificial Intelligence 85 (1-2):277-299.
Logic as a tool: a guide to formal logical reasoning.Valentin Goranko - 2016 - Hoboken, NJ: Wiley.
First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.
Limited reasoning in first-order knowledge bases.Gerhard Lakemeyer - 1994 - Artificial Intelligence 71 (2):213-255.
Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence.Aaron Sloman - 1971 - Artificial Intelligence 2 (3-4):209-225.
Modelling and solving temporal reasoning as propositional satisfiability.Duc Nghia Pham, John Thornton & Abdul Sattar - 2008 - Artificial Intelligence 172 (15):1752-1782.
Top-down induction of first-order logical decision trees.Hendrik Blockeel & Luc De Raedt - 1998 - Artificial Intelligence 101 (1-2):285-297.

Analytics

Added to PP
2020-12-22

Downloads
9 (#449,242)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.

Add more citations

References found in this work

Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Tree clustering for constraint networks.Rina Dechter & Judea Pearl - 1989 - Artificial Intelligence 38 (3):353-366.

View all 14 references / Add more references