Searching for "Updates and Counterfactuals." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

Updates and Counterfactuals
by Gösta Grahne — 1991 — In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning
…Updates and Counterfactuals Gosta Grahne Department of Computer Science P.O. Box 26, FIN--00014…
Cited by 39 (3 self) – Add To MetaCart

On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals
by Thomas Eiter, Georg Gottlob, Expert Systems — 1992 — Artificial Intelligence
…On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals…
Cited by 128 (10 self) – Add To MetaCart

Counterfactuals and Updates as Inverse Modalities
by Mark Ryan, Pierre-yves Schobbens — 1997 — Journal of Logic, Language and Information
…Counterfactuals and updates as inverse modalities Mark Ryan School of Computer Science. University…
Cited by 9 (1 self) – Add To MetaCart

Intertranslating Counterfactuals and Updates
by Mark Ryan, Pierre-Yves Schobbens — 1996 — Proc. ECAI'96
…Intertranslating Counterfactuals and Updates Mark Ryan 1 and Pierre-Yves Schobbens 2 Abstract…
Cited by 3 (1 self) – Add To MetaCart

Explanatory Update Theory: Applications of Counterfactual Reasoning to Causation
by Charles L. Ortiz, Jr. — 1999 — Artificial Intelligence
…Explanatory update theory: applications of counterfactual reasoning to causation Charles L. Ortiz…
Cited by 11 (4 self) – Add To MetaCart

A unified view of consequence relation, belief revision and conditional logic
by Hirofumi Katsuno — 1991 — In Proc. Twelfth International Joint Conference on Artificial Intelligence (IJCAI '91
…] in a logic of updates and counterfactuals, Lewis [1973] proposes conditional logics called VC and VW…
Cited by 25 (1 self) – Add To MetaCart

N.: Belief revision and the Ramsey test: A solution
by Laura Giordano, Valentina Gliozzi, Nicola Olivetti — In: AI*IA 2001: Advances in Artificial Intelligence : 7th Congress of the Italian Association for Artificial Intelligence. Number 2175 in LNAI, Berlin/Heidelberg, Springer-Verlag (2001) 165–175 Maintenance and the Ramsey Test 15
… for propositional formulas). Grahne [10] has proposed a conditional logic which combines updates and counterfactuals…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB