AIICS

Patrick Doherty

Other Publications

Show abstracts (where available) BibTeX entries
2012
[22] Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz and Peter Lucas. 2012.
Proceedings of the 20th European Conference on Artificial Intelligence (ECAI).
Conference Proceedings. In series: Frontiers in Artificial Intelligence and Applications #242. IOS Press. 1056 pages. ISBN: 978-1-61499-097-0.
2009
[21] Oleg Burdakov, Kaj Holmberg, Patrick Doherty and Per-Magnus Olsson. 2009.
Optimal placement of communications relay nodes.
Technical Report. In series: LiTH-MAT-R #2009:3. Link√∂pings universitet. 21 pages.
2007
[20] Mariusz Wzorek and Patrick Doherty. 2007.
A framework for reconfigurable path planning for autonomous unmanned aerial vehicles.
Manuscript (preprint).
2006
[19] Patrick Doherty, John Mylopoulos and Christopher Welty. 2006.
Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning.
Conference Proceedings. AAAI Press. ISBN: 978-1-57735-281-5.
2003
[18] Patrick Doherty, W. Lukaszewicz, Skowron Andrzej and Andrzej Szalas. 2003.
Knowledge Representation and Approximate Reasoning.
Conference Proceedings. In series: Fundamenta Informaticae #2003(57):2-4. IOS Press.
Note: Special Issue
[17] Patrick Doherty, A Skowron, Witold Lukaszewicz and Andrzej Szalas. 2003.
1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR).

1998
[16] Full text  Patrick Doherty and Joakim Gustafsson. 1998.
Delayed effects of actions = direct effects + causal rules.
Technical Report. In series: Link√∂ping Electronic Articles in Computer and Information Science #98-001. Link√∂ping University Electronic Press.
Link: http://www.ep.liu.se/ea/cis/1998/001/
1996
[15] Full text  Patrick Doherty. 1996.
PMON+: A fluent logic for action and change - formal specification, version 1.0.
Technical Report. In series: LITH-IDA-R #33. Department of Computer and Information Science, Link√∂ping University.
[14] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996.
Declarative ptime queries to relational databases.
Technical Report. In series: LITH-IDA-R #34. Department of Computer and Information Science, Link√∂ping University.
[13] Full text  John-Jules Meyer and Patrick Doherty. 1996.
Preferential action semantics, preliminary report.
Technical Report. In series: LITH-IDA-R #??. Department of Computer and Information Science, Link√∂ping University.
[12] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1996.
General domain circumscription and its first-order reduction.
Technical Report. In series: LITH-IDA-R #1. Department of Computer and Information Science, Link√∂ping University.
1995
[11] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1995.
A characterization result for circumscribed normal logic programs. Revised version accepted for publication: Special issue of honor of H. Rasiowa, Fundamenta Informaticae.
Technical Report. In series: LITH-IDA-R #20. Department of Computer and Information Science, Link√∂ping University.
1994
[10] Full text  Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas. 1994.
Computing circumscription revisited: A reduction algorithm.
Technical Report. In series: LITH-IDA-R #94-42. Department of Computer and Information Science, Link√∂ping University.
[9] Patrick Doherty. 1994.
Notes on PMON circumscription.
Technical Report. In series: LITH-IDA-R #43. Department of Computer and Information Science, Link√∂ping University.
1992
[8] Patrick Doherty and Witold Lukaszewicz. 1992.
FONML3 - A first-order non-monotonic logic with explicit defaults.
Technical Report. In series: LITH-IDA-R #20. Department of Computer and Information Science, Link√∂ping University.
[7] Patrick Doherty, Dimiter Driankov and H. Hellendoorn. 1992.
Fuzzy if-then-unless rules and their implementation.
Technical Report. In series: LITH-IDA-R #21. Department of Computer and Information Science, Link√∂ping University.
[6] Patrick Doherty, Dimiter Driankov and A. Tsoukias. 1992.
Partiality, para-consistency and preference modeling: Preliminary version.
Technical Report. In series: LITH-IDA-R #18. Department of Computer and Information Systems, Link√∂ping University.
[5] Patrick Doherty. 1992.
A constraint-based approach to proof procedures for multi-valued logics.
Technical Report. In series: LITH-IDA-R #2. Department of Computer and Information Science, Link√∂ping university, Link√∂ping, Sweden.
1991
[4] Patrick Doherty and Witold Lukaszewicz. 1991.
NML3 - A non-monotonic logic with explicit defaults.
Technical Report. In series: Anv√§ndarrapport #13. Department of Computer and Information Science, Link√∂ping University.
1990
[3] Patrick Doherty. 1990.
NM3 - A three-valued non-monotonic formalism. Preliminary report.
Technical Report. In series: LITH-IDA-R #44. Department of Computer and Information Science, Link√∂ping University.
[2] Patrick Doherty. 1990.
A correspondence between inheritance hierarchies and a logic of preferential entailment.
Technical Report. In series: LITH-IDA-R #??. Department of Computer and Information Science, Link√∂ping University.
1985
[1] Patrick Doherty. 1985.
A rule interpreter for an emycin-like expert system tool.
Technical Report. In series: Aslab Memo #85-05. Link√∂pings tekniska h√∂gskola.