Christoph Schwering
Christoph Schwering
unsw.edu.au의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Belief revision and projection in the epistemic situation calculus
C Schwering, G Lakemeyer, M Pagnucco
Artificial Intelligence 251, 62-97, 2017
102017
A Reasoning System for a First-Order Logic of Limited Belief
C Schwering
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
102017
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
82014
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
72016
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
72015
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
72015
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
62012
Conditional Beliefs in Action
C Schwering
RWTH Aachen University, 2016
52016
Reasoning about Conditional Beliefs for the Winograd Schema Challenge
D Golovin, J Claßen, C Schwering
COMMONSENSE, 2017
22017
Spatio-Temporal Reasoning about Traffic Scenarios
C Schwering, G Lakemeyer
Eleventh International Symposium on Logical Formalizations of Commonsense …, 2013
22013
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
12018
Limbo: A Reasoning System for Limited Belief
C Schwering
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
12017
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
12012
A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases
C Schwering, M Pagnucco
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
2019
Reasoning in the Situation Calculus with Limited Belief
C Schwering
COMMONSENSE, 2017
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
2014
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–19