7th World Congress and School on Universal LogicOrthodox Academy of Crete, April 1 – 11, 2022
Keynote Speaker:
Giorgos Flouris (Foundation for Research and Technology – Hellas (FO.R.T.H.); Institute of Computer Science (I.C.S.); Information Systems Laboratory (I.S.L.); Vassilika Vouton - Heraklion, Crete)
Organizer:
Rafael Testa (CLE-Unicamp, Brazil)
Belief Revision (Belief Change) is the research field that makes use of tools and methods of formal logic to produce models of how human and artificial agents change their beliefs in response to new information. These models serve as a basis for understanding how beliefs can be changed, and how these changes can be regarded as rational. This is a multidisciplinary task, with applications to several areas including Formal Epistemology, Artificial Intelligence, Ontology, Databases, and many more.
The aim of this workshop is twofold: on the one hand, we intend to provide an introduction to the subject, tackling distinct models presented in the literature. On the other hand, we intend to gather contributions related to distinct applications and studies on the ramifications of the area.
Call for Papers:
We welcome contributions to the formal foundations of Belief Revision and studies from other areas that show the use of, or contributions to, the principles or practice of Belief Revision. Topics of interest include, but are not limited to:
Foundations and History of Belief Revision
Applications of Belief Revision
Update
Belief Merging
Argumentation
Judgment Aggregation
Reasoning about knowledge and belief
Epistemic and Doxastic Logics
To submit a contribution, please send a
one-page abstract to:
unilo...@rafaeltesta.comAccepted submissions will be invited to submit a paper to a book or a special issue that will be edited by the organizers after the workshop.
Important dates
Submission: September 15, 2021
Notification: September 21st, 2021
Worskhop: 6-11 April , 2022 (the workshop will take place at some point during the UNILOG congress).