Jens Claßen
TitelZitiert vonJahr
A Logic for Non-Terminating Golog Programs.
J Claßen, G Lakemeyer
KR, 589-599, 2008
612008
Towards an Integration of Golog and Planning
J Claßen, P Eyerich, G Lakemeyer, B Nebel
Proc. IJCAI 2007 7, 1846-1851, 2007
492007
A situation-calculus semantics for an expressive fragment of PDDL
J Claßen, Y Hu, G Lakemeyer
AAAI 7, 956-961, 2007
252007
PLATAS—integrating planning and the action language Golog
J Claßen, G Röger, G Lakemeyer, B Nebel
KI-Künstliche Intelligenz 26 (1), 61-67, 2012
182012
GOLOG and PDDL: What is the Relative Expressiveness?
P Eyerich, B Nebel, G Lakemeyer, J Claßen
Proceedings of the 2006 international symposium on Practical cognitive …, 2006
182006
Continual planning in Golog
T Hofmann, T Niemueller, J Claßen, G Lakemeyer
Thirtieth AAAI Conference on Artificial Intelligence, 2016
162016
Foundations for knowledge-based programs using ES
J Claßen, G Lakemeyer
KR, 318-328, 2006
162006
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions.
B Zarrieß, J Claßen
ECAI, 939-944, 2014
122014
A Semantics for ADL as Progression in the Situation Calculus
J Claßen, G Lakemeyer
Proceedings of the 11th Workshop on Nonmonotonic Reasoning, 334, 2006
102006
Planning and verification in the agent language Golog
J Claßen
RWTH Aachen University, 2013
92013
Integrating Golog and planning: An empirical evaluation
J Claßen, V Engelmann, G Lakemeyer, G Röger
Non-Monotonic Reasoning Workshop. Sydney, Australia, 2008
92008
Verification of knowledge-based programs over description logic actions
B Zarrieß, J Claßen
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
82015
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.
J Claßen, G Lakemeyer
ECAI, 887-892, 2010
72010
Exploring the boundaries of decidable verification of non-terminating Golog programs
J Claßen, M Liebenberg, G Lakemeyer, B Zarrieß
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
62014
Tractable first-order Golog with disjunctive knowledge bases
J Claßen, G Lakemeyer
Proc. Commonsense, 27-33, 2009
62009
Decidable verification of Golog programs over non-local effect actions
B Zarrieß, J Claßen
Thirtieth AAAI Conference on Artificial Intelligence, 2016
52016
On Decidable Verification of Non-terminating Golog Programs
J Claßen, M Liebenberg, G Lakemeyer
ECAI 2010, 2013
42013
Symbolic verification of Golog programs with first-order BDDs
J Claßen
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
32018
On the decidability of verifying LTL properties of Golog programs
B Zarrieß, J Claßen
2014 AAAI Spring Symposium Series, 2014
32014
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing⋆
B Zarrieß, J Claßen
endeavour 6, 15, 2015
22015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20