Published in: Dagstuhl Reports, Volume 12, Issue 7 (2023)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, and Frank Wolter. Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). In Dagstuhl Reports, Volume 12, Issue 7, pp. 62-79, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{delgrande_et_al:DagRep.12.7.62, author = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Teixeira, Milene Santos and Wolter, Frank}, title = {{Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)}}, pages = {62--79}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {12}, number = {7}, editor = {Delgrande, James P. and Glimm, Birte and Meyer, Thomas and Truszczynski, Miroslaw and Teixeira, Milene Santos and Wolter, Frank}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.7.62}, URN = {urn:nbn:de:0030-drops-176126}, doi = {10.4230/DagRep.12.7.62}, annote = {Keywords: applications of logics, declarative representations, formal logic, knowledge representation and reasoning} }
Published in: Dagstuhl Reports, Volume 2, Issue 10 (2013)
James Delgrande, Thomas Meyer, and Ulrike Sattler. Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). In Dagstuhl Reports, Volume 2, Issue 10, pp. 105-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{delgrande_et_al:DagRep.2.10.105, author = {Delgrande, James and Meyer, Thomas and Sattler, Ulrike}, title = {{Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)}}, pages = {105--116}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {10}, editor = {Delgrande, James and Meyer, Thomas and Sattler, Ulrike}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.10.105}, URN = {urn:nbn:de:0030-drops-39079}, doi = {10.4230/DagRep.2.10.105}, annote = {Keywords: Artificial intelligence, Belief change, Ontologies, Description logics} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Nadine Guiraud, Andreas Herzig, and Emiliano Lorini. Speech acts as announcements. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{guiraud_et_al:DagSemProc.09351.8, author = {Guiraud, Nadine and Herzig, Andreas and Lorini, Emiliano}, title = {{Speech acts as announcements}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.8}, URN = {urn:nbn:de:0030-drops-22935}, doi = {10.4230/DagSemProc.09351.8}, annote = {Keywords: Logic of belief, logic of goals, speech act theory, dynamic epistemic logic, public announcements} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Giacomo Bonanno, James Delgrande, and Hans Rott. 09351 Abstracts Collection – Information processing, rational belief change and social interaction. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{bonanno_et_al:DagSemProc.09351.1, author = {Bonanno, Giacomo and Delgrande, James and Rott, Hans}, title = {{09351 Abstracts Collection – Information processing, rational belief change and social interaction}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.1}, URN = {urn:nbn:de:0030-drops-22343}, doi = {10.4230/DagSemProc.09351.1}, annote = {Keywords: Social software, belief revision, conditionals, social choice, game theory, contraction, update, argumentation, preference aggregation, agency, inform} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Giacomo Bonanno, James Delgrande, and Hans Rott. 09351 Executive Summary – Information processing, rational belief change and social interaction. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{bonanno_et_al:DagSemProc.09351.2, author = {Bonanno, Giacomo and Delgrande, James and Rott, Hans}, title = {{09351 Executive Summary – Information processing, rational belief change and social interaction}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.2}, URN = {urn:nbn:de:0030-drops-22273}, doi = {10.4230/DagSemProc.09351.2}, annote = {Keywords: Social software, belief revision, conditionals, social choice, game theory, contraction, update, argumentation, preference aggregation, agency, inform} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Hans Van Ditmarsch and Tim French. Awareness and forgetting of facts and agents. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{vanditmarsch_et_al:DagSemProc.09351.3, author = {Van Ditmarsch, Hans and French, Tim}, title = {{Awareness and forgetting of facts and agents}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.3}, URN = {urn:nbn:de:0030-drops-22286}, doi = {10.4230/DagSemProc.09351.3}, annote = {Keywords: Awareness, knowledge, multi-agent systems, dynamics} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Jan M. Broersen. Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea'. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{broersen:DagSemProc.09351.4, author = {Broersen, Jan M.}, title = {{Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea'}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--22}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.4}, URN = {urn:nbn:de:0030-drops-22296}, doi = {10.4230/DagSemProc.09351.4}, annote = {Keywords: Product update, agency, stit theory, knowingly doing} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Emiliano Lorini, François Schwarzentruber, and Andreas Herzig. Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{lorini_et_al:DagSemProc.09351.5, author = {Lorini, Emiliano and Schwarzentruber, Fran\c{c}ois and Herzig, Andreas}, title = {{Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.5}, URN = {urn:nbn:de:0030-drops-22313}, doi = {10.4230/DagSemProc.09351.5}, annote = {Keywords: Modal logic, game theory, epistemic games} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Jan M. Broersen. Interpreting Product Update as Reasoning about Observations and Meta-Observations. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{broersen:DagSemProc.09351.6, author = {Broersen, Jan M.}, title = {{Interpreting Product Update as Reasoning about Observations and Meta-Observations}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.6}, URN = {urn:nbn:de:0030-drops-22333}, doi = {10.4230/DagSemProc.09351.6}, annote = {Keywords: Product update, agency, stit theory, knowingly doing} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Giacomo Bonanno. Revealed preference, iterated belief revision and dynamic games. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{bonanno:DagSemProc.09351.7, author = {Bonanno, Giacomo}, title = {{Revealed preference, iterated belief revision and dynamic games}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.7}, URN = {urn:nbn:de:0030-drops-22326}, doi = {10.4230/DagSemProc.09351.7}, annote = {Keywords: Choice function, AGM belief revision, extensive-form game, iterated belief revision} }
Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)
Daniel Eckert and Frederik Herzberg. Systematic judgment aggregators: An algebraic connection between social and logical structure. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{eckert_et_al:DagSemProc.09351.9, author = {Eckert, Daniel and Herzberg, Frederik}, title = {{Systematic judgment aggregators: An algebraic connection between social and logical structure}}, booktitle = {Information processing, rational belief change and social interaction}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {9351}, editor = {Giacomo Bonanno and James Delgrande and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.9}, URN = {urn:nbn:de:0030-drops-22302}, doi = {10.4230/DagSemProc.09351.9}, annote = {Keywords: Judgment aggregation; social structure; Boolean homorphism; ultraproduct} }
Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)
Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott. 07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{bonanno_et_al:DagSemProc.07351.1, author = {Bonanno, Giacomo and Delgrande, James and Lang, J\'{e}r\^{o}me and Rott, Hans}, title = {{07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents}}, booktitle = {Formal Models of Belief Change in Rational Agents}, pages = {1--18}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7351}, editor = {Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.1}, URN = {urn:nbn:de:0030-drops-12414}, doi = {10.4230/DagSemProc.07351.1}, annote = {Keywords: Belief change, rational agents, information economy, information processing} }
Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)
Wolfgang Spohn. Measuring Ranks via the Complete Laws of Iterated Contraction. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{spohn:DagSemProc.07351.14, author = {Spohn, Wolfgang}, title = {{Measuring Ranks via the Complete Laws of Iterated Contraction}}, booktitle = {Formal Models of Belief Change in Rational Agents}, pages = {1--19}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7351}, editor = {Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.14}, URN = {urn:nbn:de:0030-drops-12398}, doi = {10.4230/DagSemProc.07351.14}, annote = {Keywords: Ranking theory, iterated contraction, measurement theory} }
Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)
Hans Rott. Two-Dimensional Belief Change. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{rott:DagSemProc.07351.22, author = {Rott, Hans}, title = {{Two-Dimensional Belief Change}}, booktitle = {Formal Models of Belief Change in Rational Agents}, pages = {1--27}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7351}, editor = {Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.22}, URN = {urn:nbn:de:0030-drops-12404}, doi = {10.4230/DagSemProc.07351.22}, annote = {Keywords: Belief revision, radical revision, conservative revision, moderate revision, severe withdrawal, preference change, qualitative vs. quantitative change} }
Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)
Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott. 07351 Executive Summary – Formal Models of Belief Change in Rational Agents. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{bonanno_et_al:DagSemProc.07351.2, author = {Bonanno, Giacomo and Delgrande, James and Lang, J\'{e}r\^{o}me and Rott, Hans}, title = {{07351 Executive Summary – Formal Models of Belief Change in Rational Agents}}, booktitle = {Formal Models of Belief Change in Rational Agents}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7351}, editor = {Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.2}, URN = {urn:nbn:de:0030-drops-12018}, doi = {10.4230/DagSemProc.07351.2}, annote = {Keywords: Belief revision, iterated belief revision, update, merging, dynamic logic, epistemic logic,conditionals, social choice, game theory} }
Feedback for Dagstuhl Publishing