| 2008 |
|---|
| 72 | | Martin Magnusson,
Patrick Doherty:
Temporal Action Logic for Question Answering in an Adventure Game.
AGI 2008: 236-247 |
| 71 | | Martin Magnusson,
Patrick Doherty:
Logical Agents for Language and Action.
AIIDE 2008 |
| 70 | EE | Martin Magnusson,
David Landén,
Patrick Doherty:
Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System.
ECAI 2008: 933-934 |
| 69 | | Jonas Kvarnström,
Fredrik Heintz,
Patrick Doherty:
A Temporal Logic-Based Planning and Execution Monitoring System.
ICAPS 2008: 198-205 |
| 68 | | Martin Magnusson,
Patrick Doherty:
Deductive Planning with Inductive Loops.
KR 2008: 528-534 |
| 67 | | Patrick Doherty,
Andrzej Szalas:
Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription.
KR 2008: 560-570 |
| 66 | EE | Per Nyblom,
Patrick Doherty:
Towards Automatic Model Generation by Optimization.
SCAI 2008: 114-123 |
| 65 | EE | Per-Magnus Olsson,
Patrick Doherty:
The Observer Algorithm for Visibility Approximation.
SCAI 2008: 3-11 |
| 64 | EE | Fredrik Heintz,
Jonas Kvarnström,
Patrick Doherty:
Knowledge Processing Middleware.
SIMPAR 2008: 147-158 |
| 2007 |
|---|
| 63 | EE | Patrick Doherty,
Piotr Rudol:
A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization.
Australian Conference on Artificial Intelligence 2007: 1-13 |
| 62 | EE | Patrick Doherty,
John-Jules Ch. Meyer:
Towards a Delegation Framework for Aerial Robotic Mission Scenarios.
CIA 2007: 5-26 |
| 61 | EE | Fredrik Heintz,
Piotr Rudol,
Patrick Doherty:
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework.
KI 2007: 460-463 |
| 60 | EE | Patrick Doherty,
Barbara Dunin-Keplicz,
Andrzej Szalas:
Dynamics of Approximate Information Fusion.
RSEISP 2007: 668-677 |
| 59 | EE | Patrick Doherty,
Andrzej Szalas:
A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning.
Fundam. Inform. 75(1-4): 179-193 (2007) |
| 58 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Communication between agents with heterogeneous perceptual capabilities.
Information Fusion 8(1): 56-69 (2007) |
| 2006 |
|---|
| 57 | | Patrick Doherty,
John Mylopoulos,
Christopher A. Welty:
Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006
AAAI Press 2006 |
| 56 | | Mariusz Wzorek,
Patrick Doherty:
Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle.
ICAPS 2006: 438-441 |
| 55 | | Patrick Doherty:
Artificial Intelligence and Unmanned Aerial Vehicles.
STAIRS 2006: 275 |
| 54 | EE | Klas Nordberg,
Patrick Doherty,
Per-Erik Forssén,
Johan Wiklund,
Per Andersson:
A Flexible Runtime System for Image Processing in a Distributed Computational Environment for an Unmanned Aerial Vehicle.
IJPRAI 20(5): 763-780 (2006) |
| 53 | | Patrick Doherty,
Martin Magnusson,
Andrzej Szalas:
Approximate databases: a support tool for approximate reasoning.
Journal of Applied Non-Classical Logics 16(1-2): 87-118 (2006) |
| 52 | EE | Fredrik Heintz,
Patrick Doherty:
A knowledge processing middleware framework and its relation to the JDL data fusion model.
Journal of Intelligent and Fuzzy Systems 17(4): 335-351 (2006) |
| 51 | EE | Per Olof Pettersson,
Patrick Doherty:
Probabilistic roadmap based path planning for an autonomous unmanned helicopter.
Journal of Intelligent and Fuzzy Systems 17(4): 395-405 (2006) |
| 2005 |
|---|
| 50 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Similarity, Approximations and Vagueness.
RSFDGrC (1) 2005: 541-550 |
| 49 | EE | Patrick Doherty:
Knowledge Representation and Unmanned Aerial Vehicles.
Web Intelligence 2005: 9-16 |
| 2004 |
|---|
| 48 | | Patrick Doherty,
Steve Kertes,
Martin Magnusson,
Andrzej Szalas:
Towards a Logical Analysis of Biochemical Reactions.
ECAI 2004: 997-998 |
| 47 | EE | Patrick Doherty,
Steve Kertes,
Martin Magnusson,
Andrzej Szalas:
Towards a Logical Analysis of Biochemical Pathways.
JELIA 2004: 667-679 |
| 46 | | Patrick Doherty,
Andrzej Szalas,
Witold Lukaszewicz:
Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities.
KR 2004: 459-468 |
| 45 | | Patrick Doherty:
Advanced Research with Autonomous Unmanned Aerial Vehicles.
KR 2004: 731-732 |
| 44 | EE | Patrick Doherty,
Andrzej Szalas:
On the Correspondence between Approximations and Similarity.
Rough Sets and Current Trends in Computing 2004: 143-152 |
| 43 | | Ubbo Visser,
Patrick Doherty:
Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating.
AI Magazine 25(2): 137-138 (2004) |
| 42 | EE | Gareth Williams,
Patrick Doherty:
Inter-residue distances derived from fold contact propensities correlate with evolutionary substitution costs.
BMC Bioinformatics 5: 153 (2004) |
| 41 | EE | Fredrik Heintz,
Patrick Doherty:
DyKnow: An approach to middleware for knowledge processing.
Journal of Intelligent and Fuzzy Systems 15(1): 3-13 (2004) |
| 40 | EE | Ubbo Visser,
Patrick Doherty:
IJCAI '03 Workshop.
KI 18(2): 64- (2004) |
| 2003 |
|---|
| 39 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Tolerance Spaces and Approximative Representational Structures.
KI 2003: 475-489 |
| 38 | EE | Erik Sandewall,
Patrick Doherty,
Oliver Lemon,
S. Peters:
Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract.
KI 2003: 52-63 |
| 37 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Information Granules for Intelligent Knowledge Structures.
RSFDGrC 2003: 405-412 |
| 36 | | Andreas Abecker,
Erik K. Antonsson,
Charles B. Callaway,
Virginia Dignum,
Patrick Doherty,
Ludger van Elst,
Michael Freed,
Reva Freedman,
Hans W. Guesgen,
Gareth Jones,
John R. Koza,
David Kortenkamp,
Mark T. Maybury,
John McCarthy,
Debasis Mitra,
Jochen Renz,
Debra Schreckenghost,
Mary-Anne Williams:
2003 AAAI Spring Symposium Series.
AI Magazine 24(3): 131-140 (2003) |
| 35 | EE | Patrick Doherty,
Andrzej Skowron,
Witold Lukaszewicz,
Andrzej Szalas:
Preface.
Fundam. Inform. 57(2-4): (2003) |
| 34 | EE | Patrick Doherty,
Michal Grabowski,
Witold Lukaszewicz,
Andrzej Szalas:
Towards a Framework for Approximate Ontologies.
Fundam. Inform. 57(2-4): 147-165 (2003) |
| 2002 |
|---|
| 33 | EE | Per Andersson,
Krzysztof Kuchcinski,
Klas Nordberg,
Patrick Doherty:
Integrating a Computational Model and a Run Time System for Image Processing on a UAV.
DSD 2002: 102-109 |
| 32 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
CAKE: A Computer-Aided Knowledge Engineering Technique.
ECAI 2002: 220-224 |
| 2001 |
|---|
| 31 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.
IJCAI 2001: 145-154 |
| 30 | | Patrick Doherty,
Jonas Kvarnström:
Planning in the Fluent Calculus Using Binary Decision Diagrams.
AI Magazine 22(3): 95-102 (2001) |
| 2000 |
|---|
| 29 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Efficient Reasoning Using the Local Closed-World Assumption.
AIMSA 2000: 49-58 |
| 28 | | Jonas Kvarnström,
Patrick Doherty,
Patrik Haslum:
Extending TALplanner with Concurrency and Resources.
ECAI 2000: 501-505 |
| 27 | | Jonas Kvarnström,
Patrick Doherty:
TALplanner: A temporal logic based forward chaining planner.
Ann. Math. Artif. Intell. 30(1-4): 119-169 (2000) |
| 26 | | Jonas Kvarnström,
Patrick Doherty:
Tackling the Qualification Problem Using Fluent Dependency Constraints.
Computational Intelligence 16(2): 169-209 (2000) |
| 25 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update.
Fundam. Inform. 44(1-2): 95-131 (2000) |
| 1999 |
|---|
| 24 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
Computing MPMA Updates Using Dijkstra's Semantics.
ISMIS 1999: 271-281 |
| 23 | EE | Patrick Doherty,
Jonas Kvarnström:
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.
TIME 1999: 47-54 |
| 22 | | Patrick Doherty,
J. Kachniarz,
Andrzej Szalas:
Meta-Queries on Deductive Databases.
Fundam. Inform. 40(1): 7-30 (1999) |
| 21 | EE | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Declarative PTIME Queries for Relational Databases using Quantifier Elimination.
J. Log. Comput. 9(5): 737-758 (1999) |
| 1998 |
|---|
| 20 | | Lars Karlsson,
Joakim Gustafsson,
Patrick Doherty:
Delayed Effects of Actions.
ECAI 1998: 542-546 |
| 19 | | Patrick Doherty,
Witold Lukaszewicz,
Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update.
KR 1998: 258-269 |
| 18 | EE | Patrick Doherty,
Jonas Kvarnström:
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.
TIME 1998: 97-104 |
| 17 | EE | Patrick Doherty,
Joakim Gustafsson,
Lars Karlsson,
Jonas Kvarnström:
TAL: Temporal Action Logics Language Specification and Tutorial.
Electron. Trans. Artif. Intell. 2: 273-306 (1998) |
| 16 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
General Domain Circumscription and its Effective Reductions.
Fundam. Inform. 36(1): 23-55 (1998) |
| 1997 |
|---|
| 15 | EE | John-Jules Ch. Meyer,
Patrick Doherty:
Preferential Action Semantics (Preliminary Report).
ModelAge Workshop 1997: 187-201 |
| 14 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Computing Circumscription Revisited: A Reduction Algorithm.
J. Autom. Reasoning 18(3): 297-336 (1997) |
| 1996 |
|---|
| 13 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
General Domain Circumscription in its First-Order Reduction.
FAPR 1996: 93-109 |
| 12 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Explaining Explanation Closure.
ISMIS 1996: 521-530 |
| 11 | | Joakim Gustafsson,
Patrick Doherty:
Embracing Occlusion in Specifying the Indirect Effects of Actions.
KR 1996: 87-98 |
| 10 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
A Reduction Result for Circumscribed Semi-Horn Formulas.
Fundam. Inform. 28(3-4): 261-271 (1996) |
| 1995 |
|---|
| 9 | | Patrick Doherty,
Witold Lukaszewicz,
Andrzej Szalas:
Computing Circumscription Revisited: Preliminary Report.
IJCAI 1995: 1502-1508 |
| 1994 |
|---|
| 8 | | Patrick Doherty:
Reasoning about Action and Change Using Occlusion.
ECAI 1994: 401-405 |
| 7 | | Patrick Doherty,
Witold Lukaszewicz:
Cicumscribing Features and Fluents.
ICTL 1994: 82-100 |
| 6 | | Patrick Doherty,
Witold Lukaszewicz:
Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.
ISMIS 1994: 521-530 |
| 1992 |
|---|
| 5 | | Patrick Doherty,
Witold Lukaszewicz:
FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults.
ECAI 1992: 294-298 |
| 4 | | Patrick Doherty,
Witold Lukaszewicz:
Defaults as First-Class Citizens.
ISMVL 1992: 146-154 |
| 3 | | Patrick Doherty,
Witold Lukaszewicz:
NML3. A Non-Monotonic Logic with Explicit Defaults.
Journal of Applied Non-Classical Logics 2(1): (1992) |
| 1990 |
|---|
| 2 | | Patrick Doherty:
NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.
JELIA 1990: 196-211 |
| 1989 |
|---|
| 1 | | Patrick Doherty:
A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment.
SCAI 1989: 117-130 |
