dblp.uni-trier.dewww.uni-trier.de

Michael Thielscher Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
79EEMichael Fisher, Fariba Sadri, Michael Thielscher: Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Springer 2009
78EEDaniel Michulke, Michael Thielscher: Neural Networks for State Evaluation in General Game Playing. ECML/PKDD (2) 2009: 95-110
77EEConrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher: Putting ABox Updates into Action. FroCos 2009: 214-229
76EEConrad Drescher, Stephan Schiffel, Michael Thielscher: A Declarative Agent Programming Language Based on Action Theories. FroCos 2009: 230-245
75 Stephan Schiffel, Michael Thielscher: Specifying Multiagent Environments Systems in the Game Description Language. ICAART 2009: 21-28
74EEMichael Thielscher: Answer Set Programming for Single-Player Games in General Game Playing. ICLP 2009: 327-341
73EEStephan Schiffel, Michael Thielscher: Automated Theorem Proving for General Game Playing. IJCAI 2009: 911-916
72EEHannes Strass, Michael Thielscher: On Defaults in Action Theories. KI 2009: 298-305
2008
71EEConrad Drescher, Michael Thielscher: A Fluent Calculus Semantics for ADL with Plan Constraints. JELIA 2008: 140-152
70EEYi Jin, Michael Thielscher: Reinforcement Belief Revision. J. Log. Comput. 18(5): 783-813 (2008)
2007
69 Stephan Schiffel, Michael Thielscher: Fluxplayer: A Successful General Game Player. AAAI 2007: 1191-1196
68 Yi Jin, Michael Thielscher, Dongmo Zhang: Mutual Belief Revision: Semantics and Computation. AAAI 2007: 440-445
67EEConrad Drescher, Michael Thielscher: Integrating Action Calculi and Description Logics. KI 2007: 68-83
66EEStephan Schiffel, Michael Thielscher, Doan Thu Trang: An Agent Team Based on FLUX for the ProMAS Contest 2007. PROMAS 2007: 261-265
65EEYi Jin, Michael Thielscher: Iterated belief revision, revised. Artif. Intell. 171(1): 1-18 (2007)
64EESheila A. McIlraith, Pavlos Peppas, Michael Thielscher: Preface. J. Log. Comput. 17(5): 847-849 (2007)
2006
63 Stephan Schiffel, Michael Thielscher: Reconciling Situation Calculus and Fluent Calculus. AAAI 2006
62EEStephan Schiffel, Michael Thielscher: Multi-Agent FLUX for the Gold Mining Domain (System Description). CLIMA VII 2006: 294-303
61 Michael Thielscher, Thomas Witkowski: The Features-and-Fluents Semantics for the Fluent Calculus. KR 2006: 362-370
60EESilvia Coradeschi, Hiroshi Ishiguro, Minoru Asada, Stuart C. Shapiro, Michael Thielscher, Cynthia Breazeal, Maja J. Mataric, Hiroshi Ishida: Human-Inspired Robots. IEEE Intelligent Systems 21(4): 74-85 (2006)
2005
59EEYi Jin, Michael Thielscher: Actions and Belief Revision: A Computational Approach. Belief Change in Rational Agents 2005
58EEMichael Thielscher: Handling Implication and Universal Quantification Constraints in FLUX. CP 2005: 667-681
57EEHendrik Skubch, Michael Thielscher: Strategy Learning for Reasoning Agents. ECML 2005: 733-740
56EEYi Jin, Michael Thielscher: Iterated Belief Revision, Revised. IJCAI 2005: 478-483
55EEMichael Thielscher: FLUX: A logic programming method for reasoning agents. TPLP 5(4-5): 533-565 (2005)
2004
54 Yi Jin, Michael Thielscher: Representing Beliefs in the Fluent Calculus. ECAI 2004: 823-827
53 Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. ICAPS 2004: 12-22
52 Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. KR 2004: 623-633
51EEMichael Thielscher: FLUX: A Logic Programming Method for Reasoning Agents CoRR cs.AI/0408044: (2004)
2003
50EEMichael Thielscher: Controlling Semi-automatic Systems with FLUX. ICLP 2003: 515-516
49EEOzan Kahramanogullari, Michael Thielscher: A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. KI 2003: 209-223
48EEMatthias Fichtner, Axel Großmann, Michael Thielscher: Intelligent Execution Monitoring in Dynamic Environments. Fundam. Inform. 57(2-4): 371-392 (2003)
2002
47EEMichael Thielscher: Reasoning about Actions with CHRs and Finite Domain Constraints. ICLP 2002: 70-84
2001
46EEMichael Thielscher: Planning with Noisy Actions. Australian Joint Conference on Artificial Intelligence 2001: 495-506
45EEYves Martin, Michael Thielscher: Addressing the Qualification Problem in FLUX. KI/ÖGAI 2001: 290-304
44EEMichael Thielscher: Inferring Implicit State Knowledge and Plans with Sensing Actions. KI/ÖGAI 2001: 366-380
43EEMichael Thielscher: The Qualification Problem: A solution to the problem of anomalous models. Artif. Intell. 131(1-2): 1-37 (2001)
42 Michael Thielscher: The Concurrent, Continuous Fluent Calculus. Studia Logica 67(3): 315-331 (2001)
2000
41 Michael Thielscher: Challenges for Action Theories Springer 2000
40 Michael Thielscher: Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. AAAI/IAAI 2000: 497-502
39EEHans-Peter Störr, Michael Thielscher: A New Equational Foundation for the Fluent Calculus. Computational Logic 2000: 733-746
38 Michael Thielscher: Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. Intellectics and Computational Logic 2000: 327-345
37 Michael Thielscher: Representing the Knowledge of a Robot. KR 2000: 109-120
1999
36EERolf Nossum, Michael Thielscher: Counterfactual Reasoning by Means of a Calculus of Narrative Context. CONTEXT 1999: 495-498
35EEMichael Thielscher: A Theory of First-Order Counterfactual Reasoning. KI 1999: 137-148
34EEMichael Thielscher: From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. Artif. Intell. 111(1-2): 277-299 (1999)
33EEDov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. J. Log. Comput. 9(1): 25-45 (1999)
1998
32EEMichael Thielscher: Towards State Update Axioms: Reifying Successor State Axioms. JELIA 1998: 248-263
31 Michael Thielscher: How (Not) To Minimize Events. KR 1998: 60-73
30EEMichael Thielscher: Reasoning About Actions: Steady Versus Stabilizing State Constraints. Artif. Intell. 104(1-2): 339-355 (1998)
29EEMichael Thielscher: Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell. 2: 179-192 (1998)
1997
28 Michael Thielscher: Qualified Ramifications. AAAI/IAAI 1997: 466-471
27 Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. KI 1997: 389-392
26EEMichael Thielscher: Ramification and Causality. Artif. Intell. 89(1-2): 317-364 (1997)
25EEMichael Thielscher: A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence. Electron. Trans. Artif. Intell. 1: 73-104 (1997)
24 Sven-Erik Bornscheuer, Michael Thielscher: Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. J. Log. Program. 31(1-3): 119-155 (1997)
1996
23 Christoph S. Herrmann, Michael Thielscher: Reasoning about Continuous Processes. AAAI/IAAI, Vol. 1 1996: 639-644
22EEKerstin Eder, Steffen Hölldobler, Michael Thielscher: An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151
21 Torsten Schaub, Michael Thielscher: Skeptical Query-Answering in Constrained Default Logic. FAPR 1996: 567-581
20 Michael Thielscher: A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. JICSLP 1996: 483-497
19 Michael Thielscher: Causality and the Qualification Problem. KR 1996: 51-62
18 Michael Thielscher: On the Completeness of SLDENF-Resolution. J. Autom. Reasoning 17(2): 199-214 (1996)
17EESven-Erik Bornscheuer, Michael Thielscher: Representing Concurrent Actions and Solving Conflicts. Logic Journal of the IGPL 4(3): 355-368 (1996)
1995
16 Michael Thielscher: The Logic of Dynamic Systems. IJCAI 1995: 1956-1963
15 Michael Thielscher: Computing Ramifications by Postprocessing. IJCAI 1995: 1994-2000
14 Michael Thielscher: What Is a Skeptical Proof? KI 1995: 161-172
13 D. Andre de Waal, Michael Thielscher: Solving Deductive Planning Problems Using Program Analysis and Transformation. LOPSTR 1995: 189-203
12 Kerstin Eder, Steffen Hölldobler, Michael Thielscher: A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246
11 Steffen Hölldobler, Michael Thielscher: Computing change and specificity with equational logic programs. Ann. Math. Artif. Intell. 14(1): (1995)
10 Michael Thielscher, Torsten Schaub: Default Reasoning by Deductive Planning. J. Autom. Reasoning 15(1): 1-40 (1995)
1994
9 Wolfgang Bibel, Michael Thielscher: Deductive Plan Generation. AII/ALT 1994: 2-5
8 Michael Thielscher: Representing Actions in Equational Logic Programming. ICLP 1994: 207-224
7 Sven-Erik Bornscheuer, Michael Thielscher: Representing Concurrent Actions and Solving Conflicts. KI 1994: 16-27
1993
6 Steffen Hölldobler, Michael Thielscher: Actions and Specificity. ILPS 1993: 164-180
5 Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger: Disjunction In Resource-Oriented Deductive Planning. ILPS 1993: 670
4 Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Disjunction in Plan Generation by Equational Logic Programming. PuK 1993: 18-26
3 Michael Thielscher: SLDENF-Resolution. WLP 1993: 100-103
2 Michael Thielscher: On Prediction in Theorist. Artif. Intell. 60(2): 283-292 (1993)
1992
1 Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Equational Logic Programming Actions, and Change. JICSLP 1992: 177-191

Coauthor Index

1Minoru Asada [60]
2Franz Baader [77]
3Wolfgang Bibel [9]
4Sven-Erik Bornscheuer [7] [17] [24]
5Cynthia Breazeal [60]
6Stefan Brüning [4] [5]
7Silvia Coradeschi [60]
8Conrad Drescher [67] [71] [76] [77]
9Kerstin Eder [12] [22]
10Matthias Fichtner [48]
11Michael Fisher [79]
12Dov M. Gabbay [27] [33]
13Gerd Große [1] [4]
14Axel Großmann [48]
15Steffen Guhlemann [77]
16Christoph S. Herrmann [23]
17Steffen Hölldobler [1] [4] [5] [6] [11] [12] [22]
18Hiroshi Ishida [60]
19Hiroshi Ishiguro [60]
20Yi Jin [54] [56] [59] [65] [68] [70]
21Ozan Kahramanogullari [49]
22Hongkai Liu [77]
23Yves Martin [45] [52] [53]
24Maja J. Mataric [60]
25Sheila A. McIlraith [64]
26Daniel Michulke [78]
27Iman Narasamdya [52] [53]
28Rolf Nossum [27] [33] [36]
29Pavlos Peppas [64]
30Uwe Petersohn [77]
31Fariba Sadri [79]
32Torsten Schaub [10] [21]
33Stephan Schiffel [62] [63] [66] [69] [73] [75] [76]
34Josef Schneeberger [1] [4] [5]
35Stuart C. Shapiro [60]
36Ute Cornelia Sigmund [1] [4] [5]
37Hendrik Skubch [57]
38Peter Steinke [77]
39Hans-Peter Störr [39]
40Hannes Strass [72]
41Doan Thu Trang [66]
42D. Andre de Waal [13]
43Thomas Witkowski [61]
44Dongmo Zhang [68]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)