Publications

Title

Logic-based Knowledge Representation - Publications

Selected Publications

2010

Michael Thielscher. A Unifying Action Calculus Artificial Intelligence. In press.

Franz Baader, Marcel Lippmann, and Hongkai Liu. Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. In Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2010), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2010. To appear.

Jens Claßen and Gerhard Lakemeyer. On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), IOS Press, 2010 (to appear).

Franz Baader, Hongkai Liu, and Anees ul Mehdi. Verifying Properties of Infinite Sequences of Description Logic Actions. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10), 2010. To appear.

Michael Thielscher. Integrating Action Calculi and AgentSpeak: Closing the Gap In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR10) , Toronto, Canada, 2010

Ringo Baumann, Gerhard Brewka, Hannes Straß, Michael Thielscher, Vadim Zaslawski. State Defaults and Ramifications in the Unifying Action Calculus In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR10) , Toronto, Canada, 2010

Hannes Straß and Michael Thielscher. A General First-Order Solution to the Ramification Problem In Proceedings of the International Workshop on Nonmonotonic Reasoning (NMR), Toronto, Canada, 2010

Yves Martin and Michael Thielscher. Integrating Reasoning About Actions and Bayesian Networks In Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART10), Valencia, Spain, 2010

2009

Franz Baader, Andreas Bauer, and Marcel Lippmann. Runtime Verification Using a Temporal Description Logic. In Silvio Ghilardi and Roberto Sebastiani, editors, Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, pages 149–164. Springer-Verlag, 2009.

Anees ul Mehdi. Integrate Action Formalisms into Linear Temporal Description Logics Master thesis (TU Dresden).

Jens Claßen and Gerhard Lakemeyer Tractable First-Order Golog with Disjunctive Knowledge Bases.
In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, (CS09), Toronto, Canada, (2009).

Conrad Drescher, Stephan Schiffel, and Michael Thielscher. A Declarative Agent Programming Language Based On Action Theories.
In Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy, 2009.

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, and Michael Thielscher. Putting ABox Updates into Action.
In Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy, 2009.

Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, and Michael Thielscher. Putting ABox Updates into Action.
In Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009), Pasadena, USA, 2009.

V. Gutierrez. Branching Temporal Description Logics: Reasoning About CTL-ALC And CTL-EL Concepts.
Master thesis (TU Dresden).

M. Lippmann. Runtime Verification Using Temporal Description Logics.
Master thesis (TU Dresden).

Stephan Schiffel and Michael Thielscher Automated Theorem Proving for General Game Playing.
In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI09), Pasadena, USA, (2009)

Stephan Schiffel and Michael Thielscher A Multiagent Semantics for the Game Description Language.
In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence (ICAART09), Valencia, Spain, (2009)

Hannes Straß and Michael Thielscher Simple Default Reasoning in Theories of Action.
In Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence(AI09), Melbourne, Australia, (2009)

Hannes Straß and Michael Thielscher On Defaults in Action Theories.
In Proceedings of the 32nd German Annual Conference on Artificial Intelligence (KI09), Paderborn, Germany, (2009)

Hannes Straß and Michael Thielscher Defaults in Action: Non-monotonic Reasoning About States in Action Calculi. (Outstanding Student Paper Award)
In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, (CS09), Toronto, Canada, (2009)

Michael Thielscher Answer Set Programming for Single-Player Games in General Game Playing.
In Proceedings of the 25th International Conference on Logic Programming (ICLP09), Pasadena, USA, (2009)

2008

Franz Baader, Silvio Ghilardi, and Carsten Lutz. LTL over Description Logic Axioms.
In Proceedings of the 2008 International Workshop on Description Logics (DL 2008), Dresden, Germany, 2008.

Franz Baader, Silvio Ghilardi, and Carsten Lutz. LTL over Description Logic Axioms.
In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, (2008).

Jens Claßen, Viktor Engelmann, Gerhard Lakemeyer, and Gabriele Röger Integrating Golog and Planning: An Empirical Evaluation.
In Proceedings of the 12th International Workshop on Nonmonotonic Reasoning (NMR08), Sydney, Australia, (2008)

Jens Claßen and Gerhard Lakemeyer A Logic for Non-Terminating Golog Programs.
In Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, (2008)

Conrad Drescher and Michael Thielscher. A Fluent Calculus Semantics for ADL with Plan Constraints.
In Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008), Dresden, Germany, 2008.

Malte Helmert and Gabriele Röger. How Good is Almost Perfect?.
In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), Chicago, USA, (2008).

Hongkai Liu, Carsten Lutz and Maja Milicic. The Projection Problem for EL Actions.
In Proceedings of the 2008 International Workshop on Description Logics (DL 2008), Dresden, Germany, 2008.

C. Lutz, F. Wolter, and M. Zakharyaschev. Temporal Description Logics: A Survey.
Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning (TIME 2008), Montreal, Canada, 2008.

Maja Milicic. Action, Time and Space in Description Logics.
PhD thesis (TU Dresden).

Gabriele Röger, Malte Helmert and Bernhard Nebel. On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle..
In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, (2008).

J. Viradia. Reasoning with Boolean ABoxes.
Master thesis (TU Dresden).

2007

A. Artale, R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev. Temporalising Tractable Description Logics.
Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning (TIME 2007), Alicante, Spain, 2007.

Alessandro Artale, Carsten Lutz, and David Toman. A Description Logic of Change.
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, 2007.

Yusri Bong. Description Logic ABox updates revisited.
Master thesis (TU Dresden).

Jens Claßen, Yuxiao Hu and Gerhard Lakemeyer. A Situation Calculus Semantics for an Expressive Fragment of PDDL.
Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07), Vancouver, CA, 2007.

Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer and Bernhard Nebel. Towards an Integration of Golog and Planning.
In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, 2007.

Conrad Drescher and Michael Thielscher. Integrating Action Calculi and Description Logics.
In Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI 2007), Osnabrück, Germany, 2007.

Maja Milicic. Complexity of Planning in Action Formalisms Based on Description Logics.
In Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, (LPAR 2007) Yerevan, Armenia, 2007.

Maja Milicic. Planning in Action Formalisms based on DLs: First Results.
In Proceedings of the 2007 International Workshop on Description Logics, (DL07) Brixen-Bressanone, Italy, 2007.

Gabi Röger and Bernhard Nebel. Expressiveness of ADL and Golog: Functions make a Difference.
Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07), Vancouver, CA, 2007.

Stephan Schiffel and Michael Thielscher. Fluxplayer: A Successful General Game Player.
Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07), Vancouver, CA, 2007.

Michael Thielscher. A Unifying Action Calculus.
(submitted)

2006

Piero Bonatti, Carsten Lutz, and Frank Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription.
In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006), Lake District, UK, 2006.

Jens Claßen and Gerhard Lakemeyer. A Semantics for ADL as Progression in the Situation Calculus.
In Proceedings of the 11th International Workshop on Non-Monotonic Reasoning (NMR06), Lake District, UK, 2006.

Jens Claßen and Gerhard Lakemeyer. Foundations for Knowledge-Based Programs using ES.
In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006), Lake District, UK, 2006.

Patrick Eyerich. Zu ADL gleichausdrucksstarke Basic-Action-Theorien im Situationskalkül.
Student research project (Freiburg University) (in German).

Patrick Eyerich, Bernhard Nebel, Gerhard Lakemeyer, and Jens Claßen. Golog and PDDL: What is the Relative Expressiveness?.
In Proceedings of the International Symposium on Practical Cognitive Agents and Robots (PCAR2006), Perth, Australia, 2006.

H. Liu, C. Lutz, M. Milicic, and F. Wolter. Updating Description Logic ABoxes .
In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006), Lake District, UK, 2006.

H. Liu, C. Lutz, M. Milicic, and F. Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach .
In Proceedings of the 2006 International Workshop on Description Logics (DL2006), Lake District, UK, 2006.

H. Liu, C. Lutz, M. Milicic, and F. Wolter. Reasoning about Actions using Description Logics with general TBoxes .
In Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, United Kingdom, 2006.

S. Schiffel and M. Thielscher. Reconciling Situation Calculus and Fluent Calculus .
In Proceedings of the Twenty-First Conference on Artificial Intelligence (AAAI-06), Boston, MA, 2006.

Th. Witkowski and M. Thielscher. The Features-and-Fluents Semantics for the Fluent Calculus.
In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006), Lake District, UK, 2006.

M. Thielscher. Designing a FLUX Agent for the Dynamic Wumpus World.
In Proceedings of the 11th International Workshop on Non-Monotonic Reasoning (NMR06), Lake District, UK, 2006.

2005

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating Description Logics and Action Formalisms: First Results .
In Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, UK, 2005.

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating Description Logics and Action Formalisms: First Results .
In Proceedings of the Twentieth Conference on Artificial Intelligence (AAAI-05), Pittsburgh, PA, USA, 2005.

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. A Description Logic Based Approach to Reasoning about Web Services .
In Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005) , Chiba City, Japan, 2005.

Gerhard Lakemeyer and Hector J. Levesque. Semantics for a useful fragment of the situation calculus.
In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI05), Edinburgh, UK, 2005.

Stephan Schiffel and Michael Thielscher. Interpreting Golog Programs in Flux .
In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning , 2005, Corfu, Greece.

Michael Thielscher. A FLUX Agent for the Wumpus World .
In Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change (NRAC2005) , Edinburgh, UK, 2005.

2004

Gerhard Lakemeyer and Hector J. Levesque. Situations, si! Situation Terms, no!.
In Proceedings of the 9th Conference on Principles of Knowledge Representation and Reasoning (KR2004), Whistler, Canada, 2004.