| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sebastian Haufe, Stephan Schiffel, Michael Thielscher |
Automated verification of state sequence invariants in general game playing.  |
Artif. Intell.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
ALPprolog --- A New Logic Programming Method for Dynamic Domains |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
A unifying action calculus. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Special Issue on General Game Playing. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
GDL-II. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher |
Knowledge-Based General Game Playing. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
ALPprolog - A new logic programming method for dynamic domains. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
The General Game Playing Description Language Is Universal. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ji Ruan, Michael Thielscher |
A Logic for Knowledge Flow in Social Networks. |
Australasian Conference on Artificial Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Translating General Game Descriptions into an Action Language. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
General Game Playing in AI Research and Education. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Reasoning About General Games Described in GDL-II. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher |
How to Plan When Being Deliberately Misled. |
Automated Action Planning for Autonomous Mobile Robots |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ji Ruan, Michael Thielscher |
The Epistemic Logic Behind the Game Description Language. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Haufe, Michael Thielscher |
Pushing the Envelope: General Game Players Prove Theorems. |
Australasian Conference on Artificial Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski |
State Defaults and Ramifications in the Unifying Action Calculus. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
Integrating Action Calculi and AgentSpeak: Closing the Gap. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yves Martin, Michael Thielscher |
Integrating Reasoning about Actions and Bayesian Networks. |
ICAART |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
A General Game Description Language for Incomplete Information Games. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher, Sebastian Voigt |
A Temporal Proof System for General Game Playing. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Daniel Michulke, Michael Thielscher |
Neural Networks for State Evaluation in General Game Playing. |
ECML/PKDD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Fariba Sadri, Michael Thielscher (eds.) |
Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Automated Theorem Proving for General Game Playing. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hannes Strass, Michael Thielscher |
Simple Default Reasoning in Theories of Action. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dengji Zhao, Stephan Schiffel, Michael Thielscher |
Decomposition of Multi-player Games. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Answer Set Programming for Single-Player Games in General Game Playing. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher |
Putting ABox Updates into Action. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Stephan Schiffel, Michael Thielscher |
A Declarative Agent Programming Language Based on Action Theories. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Specifying Multiagent Environments Systems in the Game Description Language. |
ICAART |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hannes Strass, Michael Thielscher |
On Defaults in Action Theories. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Jin, Michael Thielscher |
Reinforcement Belief Revision. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Action Programming Languages |
|
2008 |
DOI RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
A Fluent Calculus Semantics for ADL with Plan Constraints. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher |
Preface. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Jin, Michael Thielscher |
Iterated belief revision, revised. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher, Doan Thu Trang |
An Agent Team Based on FLUX for the ProMAS Contest 2007. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
Integrating Action Calculi and Description Logics. |
KI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Fluxplayer: A Successful General Game Player. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yi Jin, Michael Thielscher, Dongmo Zhang |
Mutual Belief Revision: Semantics and Computation. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Achtner, Esma Aïmeur, Sarabjot Singh Anand, Doug Appelt, Naveen Ashish, Tiffany Barnes, Joseph E. Beck, M. Bernardine Dias, Prashant Doshi, Chris Drummond, William Elazmeh, Ariel Felner, Dayne Freitag, Hector Geffner, Christopher W. Geib, Richard Goodwin, Robert C. Holte, Frank Hutter, Fair Isaac, Nathalie Japkowicz, Gal A. Kaminka, Sven Koenig, Michail G. Lagoudakis, David B. Leake, Lundy Lewis, Hugo Liu, Ted Metzler, Rada Mihalcea, Bamshad Mobasher, Pascal Poupart, David V. Pynadath, Thomas Roth-Berghofer, Wheeler Ruml, Stefan Schulz, Sven Schwarz, Stephanie Seneff, Amit P. Sheth, Ron Sun, Michael Thielscher, Afzal Upal, Jason D. Williams, Steve Young, Dmitry Zelenko |
Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program. |
AI Magazine |
2006 |
DBLP BibTeX RDF |
|
| 1 | Silvia Coradeschi, Hiroshi Ishiguro, Minoru Asada, Stuart C. Shapiro, Michael Thielscher, Cynthia Breazeal, Maja J. Mataric, Hiroshi Ishida |
Human-Inspired Robots. |
IEEE Intelligent Systems |
2006 |
DBLP DOI BibTeX RDF |
cognitive simulation, robotics, natural language processing |
| 1 | Stephan Schiffel, Michael Thielscher |
Multi-Agent FLUX for the Gold Mining Domain (System Description). |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher, Thomas Witkowski |
The Features-and-Fluents Semantics for the Fluent Calculus. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stephan Schiffel, Michael Thielscher |
Reconciling Situation Calculus and Fluent Calculus. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
FLUX: A logic programming method for reasoning agents. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Jin, Michael Thielscher |
Iterated Belief Revision, Revised. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yi Jin, Michael Thielscher |
Actions and Belief Revision: A Computational Approach. |
Belief Change in Rational Agents |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Skubch, Michael Thielscher |
Strategy Learning for Reasoning Agents. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Handling Implication and Universal Quantification Constraints in FLUX. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
FLUX: A Logic Programming Method for Reasoning Agents |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yi Jin, Michael Thielscher |
Representing Beliefs in the Fluent Calculus. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yves Martin, Iman Narasamdya, Michael Thielscher |
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. |
ICAPS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Yves Martin, Iman Narasamdya, Michael Thielscher |
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Matthias Fichtner, Axel Großmann, Michael Thielscher |
Intelligent Execution Monitoring in Dynamic Environments. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
Controlling Semi-automatic Systems with FLUX. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozan Kahramanogullari, Michael Thielscher |
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Reasoning about Actions with CHRs and Finite Domain Constraints. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
The Concurrent, Continuous Fluent Calculus. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
The Qualification Problem: A solution to the problem of anomalous models. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Planning with Noisy Actions. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Inferring Implicit State Knowledge and Plans with Sensing Actions. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Martin, Michael Thielscher |
Addressing the Qualification Problem in FLUX. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Challenges for Action Theories |
|
2000 |
DOI RDF |
|
| 1 | Michael Thielscher |
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. |
Intellectics and Computational Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
Representing the Knowledge of a Robot. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Hans-Peter Störr, Michael Thielscher |
A New Equational Foundation for the Fluent Calculus. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Rolf Nossum, Michael Thielscher |
Agents in Proactive Environments. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Nossum, Michael Thielscher |
Counterfactual Reasoning by Means of a Calculus of Narrative Context. |
CONTEXT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
A Theory of First-Order Counterfactual Reasoning. |
KI |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Introduction to the Fluent Calculus. |
Electron. Trans. Artif. Intell. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
Reasoning About Actions: Steady Versus Stabilizing State Constraints. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Towards State Update Axioms: Reifying Successor State Axioms. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
How (Not) To Minimize Events. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Sven-Erik Bornscheuer, Michael Thielscher |
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence. |
Electron. Trans. Artif. Intell. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
Ramification and Causality. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Challenges for action theories - solving the ramification and qualification problem. |
|
1997 |
RDF |
|
| 1 | Dov M. Gabbay, Rolf Nossum, Michael Thielscher |
Agents in Proactive Environments. |
KI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Qualified Ramifications. |
AAAI/IAAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sven-Erik Bornscheuer, Michael Thielscher |
Representing Concurrent Actions and Solving Conflicts. |
Logic Journal of the IGPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
On the Completeness of SLDENF-Resolution. |
J. Autom. Reasoning |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Kerstin Eder, Steffen Hölldobler, Michael Thielscher |
An Abstract Machine for Reasoning about Situations, Actions, and Causality. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Schaub, Michael Thielscher |
Skeptical Query-Answering in Constrained Default Logic. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Causality and the Qualification Problem. |
KR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Christoph S. Herrmann, Michael Thielscher |
Reasoning about Continuous Processes. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher, Torsten Schaub |
Default Reasoning by Deductive Planning. |
J. Autom. Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Michael Thielscher |
Computing change and specificity with equational logic programs. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution. |
|
1995 |
RDF |
|
| 1 | Michael Thielscher |
Computing Ramifications by Postprocessing. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
The Logic of Dynamic Systems. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | D. Andre de Waal, Michael Thielscher |
Solving Deductive Planning Problems Using Program Analysis and Transformation. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
What Is a Skeptical Proof? |
KI |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Eder, Steffen Hölldobler, Michael Thielscher |
A Resource-Oriented Deductive Approach Towards Hierarchical Planning. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michael Thielscher |
Representing Actions in Equational Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Bibel, Michael Thielscher |
Deductive Plan Generation. |
AII/ALT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven-Erik Bornscheuer, Michael Thielscher |
Representing Concurrent Actions and Solving Conflicts. |
KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thielscher |
On Prediction in Theorist. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")