Theory revision with queries: Horn, read-once, and parity formulas

, , &
Artificial Intelligence 156 (2):139-176 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2004.01.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Belief revision in Horn theories.James P. Delgrande & Pavlos Peppas - 2015 - Artificial Intelligence 218 (C):1-22.
Parallel belief revision: Revising by sets of formulas.James Delgrande & Yi Jin - 2012 - Artificial Intelligence 176 (1):2223-2245.
The complexity of theory revision.Russell Greiner - 1999 - Artificial Intelligence 107 (2):175-217.
Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896].Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros & Toby Walsh - 2024 - Artificial Intelligence 328 (C):104075.
Ordering conjunctive queries.David E. Smith & Michael R. Genesereth - 1985 - Artificial Intelligence 26 (2):171-215.
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.
Bayesian auctions with efficient queries.Jing Chen, Bo Li, Yingkai Li & Pinyan Lu - 2022 - Artificial Intelligence 303 (C):103630.
Robert B. horn (illustrator), Jeff Yoshimi, mark deering, Russ McBride, David Fleischman (illustrator), Thierry didonna (illustrator), Jennifer wedel (editor), mapping great debates. Can computers think?: 7 maps and a handbook. [REVIEW]Ayse Pinar Saygin - 2001 - Minds and Machines 11 (3):442-445.
Quantum logic, Hilbert space, revision theory.Kurt Engesser & Dov M. Gabbay - 2002 - Artificial Intelligence 136 (1):61-100.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,318,762)

6 months
5 (#1,035,700)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Knowledge-based artificial neural networks.Geoffrey G. Towell & Jude W. Shavlik - 1994 - Artificial Intelligence 70 (1-2):119-165.
On sentences which are true of direct unions of algebras.Alfred Horn - 1951 - Journal of Symbolic Logic 16 (1):14-21.
Structure identification in relational data.Rina Dechter & Judea Pearl - 1992 - Artificial Intelligence 58 (1-3):237-270.
Logical settings for concept-learning.Luc De Raedt - 1997 - Artificial Intelligence 95 (1):187-201.

View all 7 references / Add more references