Patrick Doherty Coauthor index DBLP Vis pubzone.org

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

DBLP keys2008
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Magnusson, Patrick Doherty: Temporal Action Logic for Question Answering in an Adventure Game. AGI 2008: 236-247
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Magnusson, Patrick Doherty: Logical Agents for Language and Action. AIIDE 2008
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Magnusson, David Landén, Patrick Doherty: Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. ECAI 2008: 933-934
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonas Kvarnström, Fredrik Heintz, Patrick Doherty: A Temporal Logic-Based Planning and Execution Monitoring System. ICAPS 2008: 198-205
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Magnusson, Patrick Doherty: Deductive Planning with Inductive Loops. KR 2008: 528-534
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Andrzej Szalas: Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. KR 2008: 560-570
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer Nyblom, Patrick Doherty: Towards Automatic Model Generation by Optimization. SCAI 2008: 114-123
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer-Magnus Olsson, Patrick Doherty: The Observer Algorithm for Visibility Approximation. SCAI 2008: 3-11
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Heintz, Jonas Kvarnström, Patrick Doherty: Knowledge Processing Middleware. SIMPAR 2008: 147-158
2007
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Piotr Rudol: A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization. Australian Conference on Artificial Intelligence 2007: 1-13
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, John-Jules Ch. Meyer: Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA 2007: 5-26
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Heintz, Piotr Rudol, Patrick Doherty: Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework. KI 2007: 460-463
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Dynamics of Approximate Information Fusion. RSEISP 2007: 668-677
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Andrzej Szalas: A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning. Fundam. Inform. 75(1-4): 179-193 (2007)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Communication between agents with heterogeneous perceptual capabilities. Information Fusion 8(1): 56-69 (2007)
2006
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariusz Wzorek, Patrick Doherty: Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. ICAPS 2006: 438-441
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty: Artificial Intelligence and Unmanned Aerial Vehicles. STAIRS 2006: 275
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlas 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)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik 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)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Similarity, Approximations and Vagueness. RSFDGrC (1) 2005: 541-550
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty: Knowledge Representation and Unmanned Aerial Vehicles. Web Intelligence 2005: 9-16
2004
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas: Towards a Logical Analysis of Biochemical Reactions. ECAI 2004: 997-998
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas: Towards a Logical Analysis of Biochemical Pathways. JELIA 2004: 667-679
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Andrzej Szalas, Witold Lukaszewicz: Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. KR 2004: 459-468
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty: Advanced Research with Autonomous Unmanned Aerial Vehicles. KR 2004: 731-732
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Andrzej Szalas: On the Correspondence between Approximations and Similarity. Rough Sets and Current Trends in Computing 2004: 143-152
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUbbo 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)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGareth Williams, Patrick Doherty: Inter-residue distances derived from fold contact propensities correlate with evolutionary substitution costs. BMC Bioinformatics 5: 153 (2004)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Heintz, Patrick Doherty: DyKnow: An approach to middleware for knowledge processing. Journal of Intelligent and Fuzzy Systems 15(1): 3-13 (2004)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUbbo Visser, Patrick Doherty: IJCAI '03 Workshop. KI 18(2): 64- (2004)
2003
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Tolerance Spaces and Approximative Representational Structures. KI 2003: 475-489
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Information Granules for Intelligent Knowledge Structures. RSFDGrC 2003: 405-412
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Andrzej Skowron, Witold Lukaszewicz, Andrzej Szalas: Preface. Fundam. Inform. 57(2-4): (2003)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas: Towards a Framework for Approximate Ontologies. Fundam. Inform. 57(2-4): 147-165 (2003)
2002
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: CAKE: A Computer-Aided Knowledge Engineering Technique. ECAI 2002: 220-224
2001
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. IJCAI 2001: 145-154
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Jonas Kvarnström: Planning in the Fluent Calculus Using Binary Decision Diagrams. AI Magazine 22(3): 95-102 (2001)
2000
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Efficient Reasoning Using the Local Closed-World Assumption. AIMSA 2000: 49-58
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonas Kvarnström, Patrick Doherty, Patrik Haslum: Extending TALplanner with Concurrency and Resources. ECAI 2000: 501-505
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonas Kvarnström, Patrick Doherty: TALplanner: A temporal logic based forward chaining planner. Ann. Math. Artif. Intell. 30(1-4): 119-169 (2000)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonas Kvarnström, Patrick Doherty: Tackling the Qualification Problem Using Fluent Dependency Constraints. Computational Intelligence 16(2): 169-209 (2000)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: The PMA and Relativizing Minimal Change for Action Update. Fundam. Inform. 44(1-2): 95-131 (2000)
1999
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Computing MPMA Updates Using Dijkstra's Semantics. ISMIS 1999: 271-281
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Jonas Kvarnström: TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. TIME 1999: 47-54
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, J. Kachniarz, Andrzej Szalas: Meta-Queries on Deductive Databases. Fundam. Inform. 40(1): 7-30 (1999)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Declarative PTIME Queries for Relational Databases using Quantifier Elimination. J. Log. Comput. 9(5): 737-758 (1999)
1998
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Karlsson, Joakim Gustafsson, Patrick Doherty: Delayed Effects of Actions. ECAI 1998: 542-546
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: The PMA and Relativizing Minimal Change for Action Update. KR 1998: 258-269
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Jonas Kvarnström: Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. TIME 1998: 97-104
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström: TAL: Temporal Action Logics Language Specification and Tutorial. Electron. Trans. Artif. Intell. 2: 273-306 (1998)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: General Domain Circumscription and its Effective Reductions. Fundam. Inform. 36(1): 23-55 (1998)
1997
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn-Jules Ch. Meyer, Patrick Doherty: Preferential Action Semantics (Preliminary Report). ModelAge Workshop 1997: 187-201
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Circumscription Revisited: A Reduction Algorithm. J. Autom. Reasoning 18(3): 297-336 (1997)
1996
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: General Domain Circumscription in its First-Order Reduction. FAPR 1996: 93-109
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Explaining Explanation Closure. ISMIS 1996: 521-530
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoakim Gustafsson, Patrick Doherty: Embracing Occlusion in Specifying the Indirect Effects of Actions. KR 1996: 87-98
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: A Reduction Result for Circumscribed Semi-Horn Formulas. Fundam. Inform. 28(3-4): 261-271 (1996)
1995
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Circumscription Revisited: Preliminary Report. IJCAI 1995: 1502-1508
1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty: Reasoning about Action and Change Using Occlusion. ECAI 1994: 401-405
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz: Cicumscribing Features and Fluents. ICTL 1994: 82-100
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz: Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. ISMIS 1994: 521-530
1992
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz: FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. ECAI 1992: 294-298
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz: Defaults as First-Class Citizens. ISMVL 1992: 146-154
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz: NML3. A Non-Monotonic Logic with Explicit Defaults. Journal of Applied Non-Classical Logics 2(1): (1992)
1990
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty: NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. JELIA 1990: 196-211
1989
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty: A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment. SCAI 1989: 117-130

Coauthor Index

1Andreas Abecker [36]
2Per Andersson [33] [54]
3Erik K. Antonsson [36]
4Charles B. Callaway [36]
5Virginia Dignum [36]
6Barbara Dunin-Keplicz [60]
7Ludger van Elst [36]
8Per-Erik Forssén [54]
9Michael Freed [36]
10Reva Freedman [36]
11Michal Grabowski [34]
12Hans W. Guesgen [36]
13Joakim Gustafsson [11] [17] [20]
14Patrik Haslum [28]
15Fredrik Heintz [41] [52] [61] [64] [69]
16Gareth Jones [36]
17J. Kachniarz [22]
18Lars Karlsson [17] [20]
19Steve Kertes [47] [48]
20David Kortenkamp [36]
21John R. Koza [36]
22Krzysztof Kuchcinski [33]
23Jonas Kvarnström [17] [18] [23] [26] [27] [28] [30] [64] [69]
24David Landén [70]
25Oliver Lemon [38]
26Witold Lukaszewicz [3] [4] [5] [6] [7] [9] [10] [12] [13] [14] [16] [19] [21] [24] [25] [29] [31] [32] [34] [35] [37] [39] [46] [50] [58]
27Ewa Madalinska-Bugaj [19] [24] [25]
28Martin Magnusson [47] [48] [53] [68] [70] [71] [72]
29Mark T. Maybury [36]
30John McCarthy [36]
31John-Jules Ch. Meyer [15] [62]
32Debasis Mitra [36]
33John Mylopoulos [57]
34Klas Nordberg [33] [54]
35Per Nyblom [66]
36Per-Magnus Olsson [65]
37S. Peters [38]
38Per Olof Pettersson [51]
39Jochen Renz [36]
40Piotr Rudol [61] [63]
41Erik Sandewall [38]
42Debra Schreckenghost [36]
43Andrzej Skowron [35]
44Andrzej Szalas [9] [10] [12] [13] [14] [16] [21] [22] [29] [31] [32] [34] [35] [37] [39] [44] [46] [47] [48] [50] [53] [58] [59] [60] [67]
45Ubbo Visser [40] [43]
46Christopher A. Welty [57]
47Johan Wiklund [54]
48Gareth Williams [42]
49Mary-Anne Williams [36]
50Mariusz Wzorek [56]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)