Semantical and computational aspects of Horn approximations

&
Artificial Intelligence 119 (1-2):1-17 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(00)00010-2

Links

PhilArchive



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

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

Horn approximations of empirical data.Henry Kautz, Michael Kearns & Bart Selman - 1995 - Artificial Intelligence 74 (1):129-145.
Causal approximations.P. Pandurang Nayak - 1994 - Artificial Intelligence 70 (1-2):277-334.
Logical Aspects of Computational Linguistics (LACL'01).Philippe de Groote, Glyn Morrill & Christian Retoré - 2001 - In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence. Kluwer Academic Publishers.
Belief revision in Horn theories.James P. Delgrande & Pavlos Peppas - 2015 - Artificial Intelligence 218 (C):1-22.
Functional dependencies in Horn theories.Toshihide Ibaraki, Alexander Kogan & Kazuhisa Makino - 1999 - Artificial Intelligence 108 (1-2):1-30.
On functional dependencies in q-Horn theories.Toshihide Ibaraki, Alexander Kogan & Kazuhisa Makino - 2001 - Artificial Intelligence 131 (1-2):171-187.
Probabilistic Horn abduction and Bayesian networks.David Poole - 1993 - Artificial Intelligence 64 (1):81-129.
Non-Horn clause logic programming.Xumin Nie - 1997 - Artificial Intelligence 92 (1-2):243-258.
First order LUB approximations: characterization and algorithms.Alvaro del Val - 2005 - Artificial Intelligence 162 (1-2):7-48.
Parsing as non-Horn deduction.Edward P. Stabler - 1993 - Artificial Intelligence 63 (1-2):225-264.

Analytics

Added to PP
2020-12-22

Downloads
5 (#847,061)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semantic forgetting in answer set programming.Thomas Eiter & Kewen Wang - 2008 - Artificial Intelligence 172 (14):1644-1672.
Compiling propositional weighted bases.Adnan Darwiche & Pierre Marquis - 2004 - Artificial Intelligence 157 (1-2):81-113.

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Reasoning with models.Roni Khardon & Dan Roth - 1996 - Artificial Intelligence 87 (1-2):187-213.
Horn approximations of empirical data.Henry Kautz, Michael Kearns & Bart Selman - 1995 - Artificial Intelligence 74 (1):129-145.

Add more references