Följ
Christoph Schwering
Christoph Schwering
Verifierad e-postadress på unsw.edu.au - Startsida
Titel
Citeras av
Citeras av
År
Belief revision and projection in the epistemic situation calculus
C Schwering, G Lakemeyer, M Pagnucco
Artificial Intelligence 251, 62-97, 2017
132017
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
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
102015
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
92015
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
82016
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
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
72012
Conditional Beliefs in Action
C Schwering
RWTH Aachen University, 2016
52016
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
32018
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
A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases.
C Schwering, M Pagnucco
AAMAS, 926-934, 2019
12019
Limbo: A Reasoning System for Limited Belief
C Schwering
Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017
12017
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
12014
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
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–19