Belief revision and projection in the epistemic situation calculus C Schwering, G Lakemeyer, M Pagnucco Artificial Intelligence 251, 62-97, 2017 | 13 | 2017 |
Projection in the Epistemic Situation Calculus with Belief Conditionals C Schwering, G Lakemeyer Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-2015), 1583--1589, 2015 | 11 | 2015 |
A Reasoning System for a First-Order Logic of Limited Belief C Schwering Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017 | 10 | 2017 |
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus C Schwering, G Lakemeyer, M Pagnucco Twenty-Fourth International Joint Conference on Artificial Intelligence …, 2015 | 9 | 2015 |
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief C Schwering, G Lakemeyer Twenty-Second European Conference on Artificial Intelligence (ECAI-2016 …, 2016 | 8 | 2016 |
A Semantic Account of Iterated Belief Revision in the Situation Calculus C Schwering, G Lakemeyer Twenty-First European Conference on Artificial Intelligence (ECAI-2014), 801 …, 2014 | 8 | 2014 |
Plan recognition by program execution in continuous temporal domains C Schwering, D Beck, S Schiffer, G Lakemeyer Thirty-Fifth German Conference on Artificial Intelligence (KI-2012), 156-167, 2012 | 7 | 2012 |
Conditional Beliefs in Action C Schwering RWTH Aachen University, 2016 | 5 | 2016 |
The Complexity of Limited Belief Reasoning--The Quantifier-Free Case Y Chen, A Saffidine, C Schwering Proceedings of the Twenty-Seventh International Joint Conference on …, 2018 | 3 | 2018 |
Reasoning about Conditional Beliefs for the Winograd Schema Challenge D Golovin, J Claßen, C Schwering COMMONSENSE, 2017 | 2 | 2017 |
Spatio-Temporal Reasoning about Traffic Scenarios C Schwering, G Lakemeyer Eleventh International Symposium on Logical Formalizations of Commonsense …, 2013 | 2 | 2013 |
A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases. C Schwering, M Pagnucco AAMAS, 926-934, 2019 | 1 | 2019 |
Limbo: A Reasoning System for Limited Belief C Schwering Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017 | 1 | 2017 |
Sensor Fusion in the Epistemic Situation Calculus C Schwering, T Niemueller, G Lakemeyer, N Abdo, W Burgard Ninth International Cognitive Robotics Workshop (CogRob-2014), 2014 | 1 | 2014 |
robOCD: Robotic Order Cups Demo – An Interactive Domestic Service Robotics Demo S Schiffer, T Baumgartner, D Beck, B Maleki-Fard, T Niemüller, ... Thirty-Fifth German Conference on Artificial Intelligence (KI-2012), 2012 | 1 | 2012 |
Reasoning in the Situation Calculus with Limited Belief C Schwering COMMONSENSE, 2017 | | 2017 |
Situation Calculus-based Online Plan Recognition in Continuous Domains C Schwering RWTH Aachen University, 2012 | | 2012 |
Limbo C Schwering | | |
The Complexity of Limited Belief Reasoning Y Chen, A Sadine, C Schwering | | |