Found 19 Documents (Results 1–19)
Actions, belief update, and DDL. (English) Zbl 1312.03014
Trypuz, Robert (ed.), Krister Segerberg on logic of actions. Dordrecht: Springer (ISBN 978-94-007-7045-4/pbk; 978-94-007-7046-1/ebook). Outstanding Contributions to Logic 1, 229-251 (2014).
Belief change in branching time: AGM-consistency and iterated revision. (English) Zbl 1247.03023
Reviewer: David Makinson (London)
Information fusion and revision in qualitative and quantitative settings. Steps towards a unified framework. (English) Zbl 1341.68224
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 1-18 (2011).
Logic based merging. (English) Zbl 1233.03024
AGM 25 years. Twenty-five years of research in belief change. (English) Zbl 1227.03002
Reviewer: David Makinson (London)
Iterated belief revision. (English) Zbl 1178.03028
Reviewer: David Makinson (London)
Using transfinite ordinal conditional functions. (English) Zbl 1245.68188
Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 396-407 (2009).
Towards a “sophisticated” model of belief dynamics. II: Belief revision. (English) Zbl 1166.03007
Reviewer: David Makinson (London)
Temporal interaction of information and belief. (English) Zbl 1139.03011
Reviewer: Heinrich Wansing (Dresden)
Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision. (English) Zbl 1088.03017
A simple modal logic for belief revision. (English) Zbl 1085.03012
Reviewer: David Makinson (London)
Recovery recovered. (English) Zbl 0960.03011
Reviewer: David Makinson (Ville d’Avray)
On the logic of iterated belief revision. (English) Zbl 1018.03012
MSC:
03B42
Filter Results by …
Document Type
- Journal Articles (16)
- Collection Articles (3)
all
top 5
Author
- Bonanno, Giacomo (3)
- Konieczny, Sébastien (2)
- Alchourrón, Carlos E. (1)
- Booth, Richard F. (1)
- Darwiche, Adnan (1)
- Dubois, Didier (1)
- Falappa, Marcelo Alejandro (1)
- Fermé, Eduardo Leopoldo (1)
- Gärdenfors, Peter (1)
- Glaister, Stephen Murray (1)
- Greiner, Russell (1)
- Hansson, Sven Ove (1)
- Hill, Brian (1)
- Kern-Isberner, Gabriele (1)
- Lakemeyer, Gerhard (1)
- Lang, Jérôme (1)
- Makinson, David Clement (1)
- Pagnucco, Maurice (1)
- Pearl, Judea (1)
- Pino Pérez, Ramón (1)
- Reis, Maurício D. L. (1)
- Rott, Hans (1)
- Schwering, Christoph (1)
- Simari, Guillermo Ricardo (1)
- Stalnaker, Robert C. (1)
- Thomason, Richmond H. (1)
all
top 5
Serial
- J. Philos. Log. (6)
- Artif. Intell. (3)
- Stud. Log. (2)
- J. Symb. Log. (1)
- Synthese (1)
- Theor. Comput. Sci. (1)
- J. Appl. Non-Class. Log. (1)
- Erkenntnis (1)
Software
- C4.5 (1)