Articles by Patrick Doherty reported during 1996-2001

This file contains a list of publications by Patrick Doherty registered since 1996. The information has been obtained from the IDA publication register. Articles are listed under the year when they were reported to the database, which was often when the article was accepted for publication, not necessarily the year when it was actually published. This is also the reason why exact page numbers etc. are sometimes missing.

1996

Patrick Doherty.
Partiality, Modality, and Nonmonotonicity. .
CSLI Publications, 1996.

Patrick Doherty, Witold Lukaszewicz, A Szalas.
Computing Circumscription Revisited: Preliminary Report. .
Published in the proceedings of the 1995 International Joint Conference on Artificial Intelligence, pp. 1502-1508.

Patrick Doherty, P Peppas.
A Comparison between two Approaches to Ramification: PMON(R) and AR0. .
Published in the proceedings of the 1995 Australian Joint Conference on Artificial Intelligence, pp. 267-274.

Patrick Doherty, Witold Lukaszewicz.
A Study in Modal Embeddings of NML3. .
In Doherty, P., editor, Partiality, Modality, and Nonmonotonicity, chapter 5, pages 145--168. CSLI Publications.

Patrick Doherty, Witold Lukaszewicz, A Szalas.
General Domain Circumscription and its First-Order Reduction. .
Accepted for publication in the proceedings of the 1996 International Conference on Formal and Applied Practical Reasoning.

Patrick Doherty, Witold Lukaszewicz, A Szalas.
Explaining Explanation Closure. .
Accepted for publication in the proceedings of the 1996 International Symposium on Methodologies for Intelligent Systems.

Patrick Doherty, Witold Lukaszewicz, A Szalas.
Computing Circumscription Revisited: A Reduction Algorithm. .
Accepted for publication in the Journal of Automated Reasoning, pp. 297-336.

Patrick Doherty, Witold Lukaszewicz, A Szalas.
A Reduction Result for Circumscribed Semi-Horn Formulas. .
Published in the journal Fundamenta InformaticaeVol. 28, pp. 261-272.

Joakim Gustafsson, Patrick Doherty.
Embracing Occlusion in Specifying the Indirect Effects of Actions. .
Accepted for publication in the proceedings of the 1996 International Conference on Knowledge Representation and Reasoning.

1997

1998

Lars Karlsson, Joakim Gustafsson, Patrick Doherty.
Delayed Effects of Actions.
In the Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, August 23-28, 1998.
[postscript]

Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constrains: Preliminary report.
In the Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98), 1998.
[postscript]

Patrick Doherty, Witold Lukaszewicz, E Madalinska-Bugaj.
The PMA and relativizing change for action update.
In the Proceeding of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 1998.
[postscript]

J-J Ch Meyer, Patrick Doherty.
Preferential action semantics (preliminary report).
In the Proceedings of the 1st MODELAGE Workshop, Lecture Notes in Artificial Intelligence. Springer, 1998.

Patrick Doherty, Jonas Kvarnström.
TALPLAN, A temporal logic based approach to planning: Preliminary report.
Submitted to the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.

Patrick Doherty, Witold Lukaszewicz, A. Szalas.
General domain circumscription and its effective reductions.
Published in Fundamenta Informaticae, 34:1-33, 1998.

Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries to relational databases.
Accepted for publication in Journal of Logic and Computation, 1998.

Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Computing circumscription revisited: A reduction algorith.
Accepted for publication in Journal of Automated Reasoning, 18:297-336, 1997.

Patrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström.
TAL:Temporal action logics, language specification and tutorial.
Submited for publication in Linköping Electronic Articles in Computer and Information Science, 3(15), September 30, 1998, Submitted to Electronic Transactions on Artificial Intelligence. http://www.ep.liu.se/ea/cis/1998/015/.

Patrick Doherty, Jonas Kvarnström.
TALPLAN, A Narrative Temporal Logic Based Forward Chaining Planner.
Submitted to IJCAI'99.

Patrick Doherty, Jonas Kvarnström.
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.
Submitted to the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.

1999

Patrick Doherty, Joakim Gustavsson, Lars Karlsson, Jonas Kvarnström.
TAL: Temporal action logics, language specification and tutorial.
Journal of Electronic Transactions on Artificial Intelligence, 3-4, 1999.

Patrick Doherty, Jaroslaw Kachniarz, A. Szalas.
Meta-queries on deductive databases.
Fundamenta Informaticae, 1999. To appear.

Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constraints.
Journal of Computational Intelligence, 1999. Accepted for publication.

Patrick Doherty, Jonas Kvarnström.
TALplanner: An empirical investigation of a temporal logic-based forward chaining planner.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.

Patrick Doherty, Witold Lukaszewicz, E. Madalinska-Bugaj.
MPMA updates using dijkstra's semantics.
Proceedings of the 11th International Symposium (ISMIS-99), Warsaw, Poland. Lecture notes in Artificial Intelligence, pp. 271-281. Springer-Verlag, 1999.

Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries for relational databases using quantifier elimination.
Journal of Logic and Computation, 9(5):739-761, 1999.

Patrick Doherty, Witold Lukaszewicz, E. Madalinska-Bugaj.
Computing MPMA updates using dijkstra's semantics.
Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, 1999.

Patrick Doherty, Jaroslaw Kachniarz, A. Szalas.
Meta-queries on deductive databases.
Fundamenta Informaticae, 1999. To appear.

Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constraints.
Journal of Computational Intelligence, 1999. Accepted for publication.

Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries for relational databases using quantifier elimination.
Journal of Logic and Computation, 9(5):739-761, 1999.

2000

Patrick Doherty, A. Kachniarz, Andrzej Szalas:.
Meta-Queries on Deductive Databases.
Published in Fundamenta Informatica, 40(1):17-30.

Patrick Doherty, Gösta Granlund, Krzysztof Kuchcinski, Erik Sandewall, K. Nordberg, Erik Skarman, Johan Wiklund.
The WITAS Unmanned Aerial Vehicle Project.
W. Horn (ed): Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), pp. 747-755. IOS Press, 2000.

Jonas Kvarnström, Patrick Doherty, Patrick Haslum.
Extending TALplanner with Concurrency and Resources.
In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), August, Berlin, pp.

Patrick Doherty, A. Kachniarz, Andrzej Szalas.
Meta-Queries on Deductive Databases.
Published in Fundamenta Informatica, 40(1):17-30, (1999).

Patrick Doherty, A. Kachniarz, Andrzej Szalas.
Meta-Queries on Deductive Databases.
Published in Fundamenta Informatica, 40(1):17-30, 1999).