The complexity of belief update

Authors:
Paolo Liberatore
Affiliations:
Dipartimento di Informatica e Sistemistica, Universita di Roma "La Sapienza", Rome, Italy
Venue:
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Year:
1997

Citing 8
Cited 2

Updating logical databases

Updating logical databases
A catalog of complexity classes

Handbook of theoretical computer science (vol. A)
On the complexity of propositional knowledge base revision, updates, and counterfactuals

Artificial Intelligence
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete

Theoretical Computer Science
How Hard is it to Revise a Belief Base?

How Hard is it to Revise a Belief Base?
Generalized update: belief change in dynamic settings

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
What is believed is what is explained (sometimes)

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Updating knowledge bases with disjunctive information

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Reasoning about partially observed actions

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
First-order logical filtering

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Can an AI program contribute to scientific discovery? An area where this gauntlet has been thrown is that of understanding the mechanisms of chemical carcinogenesis. One approach is to obtain Structure-Activity Relationships (SARs) relating molecular ...