Belief Revision in Non-Classical Logics More Books Like This
Logics in Artificial Intelligence
2016
Logics in Artificial Intelligence
2019
Dynamic Logic. New Trends and Applications
2020
Dynamic Logic. New Trends and Applications
2017
Frontiers of Combining Systems
2019
Logic, Language, and Computation
2015
Automated Reasoning with Analytic Tableaux and Related Methods
2017
New Frontiers in Artificial Intelligence
2015
Logic and Its Applications
2009
Frontiers of Combining Systems
2017
Automated Deduction – CADE 26
2017
Uncertainty, Rationality, and Agency
2006
Mathematics of Program Construction
2019
Logic Programming and Nonmonotonic Reasoning
2017
Logic for Programming, Artificial Intelligence, and Reasoning
2015