The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Thielscher: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph S. Herrmann, Michael Thielscher
    Reasoning about Continuous Processes. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:639-644 [Conf]
  2. Stephan Schiffel, Michael Thielscher
    Reconciling Situation Calculus and Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  3. Michael Thielscher
    Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:497-502 [Conf]
  4. Michael Thielscher
    Qualified Ramifications. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:466-471 [Conf]
  5. Yves Martin, Iman Narasamdya, Michael Thielscher
    Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:12-22 [Conf]
  6. Wolfgang Bibel, Michael Thielscher
    Deductive Plan Generation. [Citation Graph (0, 0)][DBLP]
    AII/ALT, 1994, pp:2-5 [Conf]
  7. Michael Thielscher
    Planning with Noisy Actions. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:495-506 [Conf]
  8. Michael Thielscher
    Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:327-345 [Conf]
  9. Hans-Peter Störr, Michael Thielscher
    A New Equational Foundation for the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:733-746 [Conf]
  10. Stephan Schiffel, Michael Thielscher
    Multi-Agent FLUX for the Gold Mining Domain (System Description). [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:294-303 [Conf]
  11. Rolf Nossum, Michael Thielscher
    Counterfactual Reasoning by Means of a Calculus of Narrative Context. [Citation Graph (0, 0)][DBLP]
    CONTEXT, 1999, pp:495-498 [Conf]
  12. Michael Thielscher
    Handling Implication and Universal Quantification Constraints in FLUX. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:667-681 [Conf]
  13. Yi Jin, Michael Thielscher
    Actions and Belief Revision: A Computational Approach. [Citation Graph (0, 0)][DBLP]
    Belief Change in Rational Agents, 2005, pp:- [Conf]
  14. Yi Jin, Michael Thielscher
    Representing Beliefs in the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:823-827 [Conf]
  15. Hendrik Skubch, Michael Thielscher
    Strategy Learning for Reasoning Agents. [Citation Graph (0, 0)][DBLP]
    ECML, 2005, pp:733-740 [Conf]
  16. Kerstin Eder, Steffen Hölldobler, Michael Thielscher
    An Abstract Machine for Reasoning about Situations, Actions, and Causality. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:137-151 [Conf]
  17. Torsten Schaub, Michael Thielscher
    Skeptical Query-Answering in Constrained Default Logic. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:567-581 [Conf]
  18. Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher
    Equational Logic Programming Actions, and Change. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:177-191 [Conf]
  19. Michael Thielscher
    Reasoning about Actions with CHRs and Finite Domain Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:70-84 [Conf]
  20. Michael Thielscher
    Controlling Semi-automatic Systems with FLUX. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:515-516 [Conf]
  21. Michael Thielscher
    Representing Actions in Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:207-224 [Conf]
  22. Michael Thielscher
    A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:483-497 [Conf]
  23. Yi Jin, Michael Thielscher
    Iterated Belief Revision, Revised. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:478-483 [Conf]
  24. Michael Thielscher
    The Logic of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1956-1963 [Conf]
  25. Michael Thielscher
    Computing Ramifications by Postprocessing. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1994-2000 [Conf]
  26. Michael Thielscher
    Towards State Update Axioms: Reifying Successor State Axioms. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:248-263 [Conf]
  27. Sven-Erik Bornscheuer, Michael Thielscher
    Representing Concurrent Actions and Solving Conflicts. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:16-27 [Conf]
  28. Dov M. Gabbay, Rolf Nossum, Michael Thielscher
    Agents in Proactive Environments. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:389-392 [Conf]
  29. Ozan Kahramanogullari, Michael Thielscher
    A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:209-223 [Conf]
  30. Yves Martin, Michael Thielscher
    Addressing the Qualification Problem in FLUX. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:290-304 [Conf]
  31. Michael Thielscher
    Inferring Implicit State Knowledge and Plans with Sensing Actions. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:366-380 [Conf]
  32. Michael Thielscher
    What Is a Skeptical Proof? [Citation Graph (0, 0)][DBLP]
    KI, 1995, pp:161-172 [Conf]
  33. Michael Thielscher
    A Theory of First-Order Counterfactual Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 1999, pp:137-148 [Conf]
  34. Yves Martin, Iman Narasamdya, Michael Thielscher
    Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:623-633 [Conf]
  35. Michael Thielscher
    Representing the Knowledge of a Robot. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:109-120 [Conf]
  36. Michael Thielscher
    Causality and the Qualification Problem. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:51-62 [Conf]
  37. Michael Thielscher
    How (Not) To Minimize Events. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:60-73 [Conf]
  38. Michael Thielscher, Thomas Witkowski
    The Features-and-Fluents Semantics for the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:362-370 [Conf]
  39. D. Andre de Waal, Michael Thielscher
    Solving Deductive Planning Problems Using Program Analysis and Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:189-203 [Conf]
  40. Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher
    Disjunction in Plan Generation by Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    PuK, 1993, pp:18-26 [Conf]
  41. Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger
    Disjunction In Resource-Oriented Deductive Planning. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:670- [Conf]
  42. Steffen Hölldobler, Michael Thielscher
    Actions and Specificity. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:164-180 [Conf]
  43. Kerstin Eder, Steffen Hölldobler, Michael Thielscher
    A Resource-Oriented Deductive Approach Towards Hierarchical Planning. [Citation Graph (0, 0)][DBLP]
    WLP, 1995, pp:237-246 [Conf]
  44. Michael Thielscher
    SLDENF-Resolution. [Citation Graph (0, 0)][DBLP]
    WLP, 1993, pp:100-103 [Conf]
  45. Michael Thielscher
    The Qualification Problem: A solution to the problem of anomalous models. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:131, n:1-2, pp:1-37 [Journal]
  46. Michael Thielscher
    On Prediction in Theorist. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1993, v:60, n:2, pp:283-292 [Journal]
  47. Michael Thielscher
    Ramification and Causality. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:89, n:1-2, pp:317-364 [Journal]
  48. Michael Thielscher
    Reasoning About Actions: Steady Versus Stabilizing State Constraints. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:104, n:1-2, pp:339-355 [Journal]
  49. Michael Thielscher
    From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:111, n:1-2, pp:277-299 [Journal]
  50. Yi Jin, Michael Thielscher
    Iterated belief revision, revised. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2007, v:171, n:1, pp:1-18 [Journal]
  51. Steffen Hölldobler, Michael Thielscher
    Computing change and specificity with equational logic programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:14, n:1, pp:- [Journal]
  52. Michael Thielscher
    FLUX: A Logic Programming Method for Reasoning Agents [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  53. Michael Thielscher
    A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1997, v:1, n:, pp:73-104 [Journal]
  54. Michael Thielscher
    Introduction to the Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:179-192 [Journal]
  55. Matthias Fichtner, Axel Großmann, Michael Thielscher
    Intelligent Execution Monitoring in Dynamic Environments. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:371-392 [Journal]
  56. Michael Thielscher
    On the Completeness of SLDENF-Resolution. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:17, n:2, pp:199-214 [Journal]
  57. Michael Thielscher, Torsten Schaub
    Default Reasoning by Deductive Planning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:1, pp:1-40 [Journal]
  58. Sven-Erik Bornscheuer, Michael Thielscher
    Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:31, n:1-3, pp:119-155 [Journal]
  59. Dov M. Gabbay, Rolf Nossum, Michael Thielscher
    Agents in Proactive Environments. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:1, pp:25-45 [Journal]
  60. Michael Thielscher
    The Concurrent, Continuous Fluent Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:67, n:3, pp:315-331 [Journal]
  61. Michael Thielscher
    FLUX: A logic programming method for reasoning agents. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:533-565 [Journal]
  62. Yi Jin, Michael Thielscher, Dongmo Zhang
    Mutual Belief Revision: Semantics and Computation. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:440-445 [Conf]
  63. Stephan Schiffel, Michael Thielscher
    Fluxplayer: A Successful General Game Player. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:1191-1196 [Conf]
  64. Conrad Drescher, Michael Thielscher
    Integrating Action Calculi and Description Logics. [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:68-83 [Conf]

  65. A Temporal Proof System for General Game Playing. [Citation Graph (, )][DBLP]


  66. A General Game Description Language for Incomplete Information Games. [Citation Graph (, )][DBLP]


  67. Simple Default Reasoning in Theories of Action. [Citation Graph (, )][DBLP]


  68. Decomposition of Multi-player Games. [Citation Graph (, )][DBLP]


  69. A Declarative Agent Programming Language Based on Action Theories. [Citation Graph (, )][DBLP]


  70. Putting ABox Updates into Action. [Citation Graph (, )][DBLP]


  71. Answer Set Programming for Single-Player Games in General Game Playing. [Citation Graph (, )][DBLP]


  72. Automated Theorem Proving for General Game Playing. [Citation Graph (, )][DBLP]


  73. A Fluent Calculus Semantics for ADL with Plan Constraints. [Citation Graph (, )][DBLP]


  74. On Defaults in Action Theories. [Citation Graph (, )][DBLP]


  75. Integrating Action Calculi and AgentSpeak: Closing the Gap. [Citation Graph (, )][DBLP]


  76. State Defaults and Ramifications in the Unifying Action Calculus. [Citation Graph (, )][DBLP]


  77. Neural Networks for State Evaluation in General Game Playing. [Citation Graph (, )][DBLP]


  78. An Agent Team Based on FLUX for the ProMAS Contest 2007. [Citation Graph (, )][DBLP]


  79. Integrating Reasoning about Actions and Bayesian Networks. [Citation Graph (, )][DBLP]


  80. Specifying Multiagent Environments Systems in the Game Description Language. [Citation Graph (, )][DBLP]


Search in 0.293secs, Finished in 0.297secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002