2007
|
|
|
S. Schiffel,
M. Thielscher.
Fluxplayer: A Successful General Game Player.
Twenty-Second AAAI Conference on Artificial Intelligence (AAAI07).
2007.
(PDF,
162 KB;
PS.GZ,
103 KB)
|
|
M. Thielscher.
A Unifying Action Calculus.
(Submitted).
2007.
(PDF,
285 KB)
|
|
S. Schiffel,
M. Thielscher.
Automatic construction of a heuristic search function for General Game Playing.
Seventh IJCAI International Workshop on
Nonmontonic Reasoning, Action and Change (NRAC07).
2007.
(PDF,
125 KB;
PS.GZ,
68 KB)
|
2006
|
|
|
S. Schiffel,
M. Thielscher.
Reconciling Situation Calculus and Fluent Calculus.
Proc. of the 21. National Conference on Artificial
Intelligence and the 18th Innovative Applications
of Artificial Intelligence Conference (AAAI06).
2006.
(PDF,
125 KB;
PS.GZ,
66 KB)
|
2005
|
|
|
M. Thielscher.
Handling Implication and Universal Quantification Constraints in FLUX.
Proceedings of the 11th International Conference on Principles and
Practice of Constraint Programming (CP11).
van Beek (ed.)
Springer, 2005.
(PDF,
235 KB;
PS.GZ,
79 KB)
|
|
|
|
|
S. Schiffel,
M. Thielscher.
Interpreting Golog Programs in Flux.
The 7th International Symposium on Logical Formalizations of Commonsense Reasoning.
2005.
(PDF,
134 KB;
PS.GZ,
67 KB)
|
|
|
|
2004
|
|
|
M. Thielscher.
Logic-based agents and the frame problem: A case for progression.
First-Order Logic Revisited: Proc. of the Conf. First Order Logic 75 (FOL75).
Hendricks et al. (eds.)
2004.
(PDF,
136 KB;
PS.GZ,
88 KB)
|
|
|
Yi Jin,
M. Thielscher.
Representing Beliefs in the Fluent Calculus,
Proc. of the 16th European Conf. on Artificial Intelligence (ECAI-04).
2004.
(PDF,
100 KB;
PS.GZ,
72 KB)
|
|
|
|
|
M. Thielscher.
FLUX: A Logic Programming Method for Reasoning Agents,
Theory And Practice of Logic Programming.
2004.
(PDF,
336 KB;
PS.GZ,
164 KB)
|
|
|
|
2003
|
|
|
O. Kahramanogullari,
M. Thielscher.
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak,
In R. Kruse, editor, Proc. of the German Annual Conference on Artificial Intelligence (KI).
Springer, 2003.
(PDF,
189 KB)
|
|
|
M. Fichtner,
A. Großmann,
M. Thielscher.
Intelligent Execution Monitoring in Dynamic Environments,
In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-03), Workshop on
Issues in Designing Physical Agents for Dynamic Real-Time Environments: World modeling,
planning, learning, and communicating.
2003. (Technical Report WV-03-06)
(PS.GZ,
73 KB;
BibTeX entry)
|
|
|
Y. Martin.
The Concurrent, Continuous FLUX,
In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-03).
Morgan Kaufmann, 2003.
(PDF, 88 KB;
PS.GZ, 62 KB)
|
|
|
2002
|
|
|
M. Thielscher. Programming of Reasoning and Planning Agents with FLUX,
In Proc. of the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2002).
Morgan Kaufmann Publishers, 2002. (PDF, 247 KB)
|
|
|
|
M. Thielscher. Pushing the Envelope: Programming Reasoning Agents.
In AAAI Workshop Technical Report WS-02-05: Cognitive Robotics.
AAAI Press, 2002. (PDF, 187 KB)
|
|
|
|
M. Thielscher. Reasoning about actions with CHRs and Finite Domain Constraints.
In P. J. Stuckey, editor, Proc. of the 18th Int. Conf.
on Logic Programming (ICLP2002). Springer, 2002. (PDF, 226 KB)
|
|
