dblp.uni-trier.dewww.uni-trier.de

Patrick Doherty Vis

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

*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
70EEMartin 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
66EEPer Nyblom, Patrick Doherty: Towards Automatic Model Generation by Optimization. SCAI 2008: 114-123
65EEPer-Magnus Olsson, Patrick Doherty: The Observer Algorithm for Visibility Approximation. SCAI 2008: 3-11
64EEFredrik Heintz, Jonas Kvarnström, Patrick Doherty: Knowledge Processing Middleware. SIMPAR 2008: 147-158
2007
63EEPatrick Doherty, Piotr Rudol: A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization. Australian Conference on Artificial Intelligence 2007: 1-13
62EEPatrick Doherty, John-Jules Ch. Meyer: Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA 2007: 5-26
61EEFredrik Heintz, Piotr Rudol, Patrick Doherty: Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework. KI 2007: 460-463
60EEPatrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Dynamics of Approximate Information Fusion. RSEISP 2007: 668-677
59EEPatrick Doherty, Andrzej Szalas: A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning. Fundam. Inform. 75(1-4): 179-193 (2007)
58EEPatrick 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
54EEKlas 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)
52EEFredrik 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)
51EEPer 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
50EEPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Similarity, Approximations and Vagueness. RSFDGrC (1) 2005: 541-550
49EEPatrick 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
47EEPatrick 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
44EEPatrick 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)
42EEGareth Williams, Patrick Doherty: Inter-residue distances derived from fold contact propensities correlate with evolutionary substitution costs. BMC Bioinformatics 5: 153 (2004)
41EEFredrik Heintz, Patrick Doherty: DyKnow: An approach to middleware for knowledge processing. Journal of Intelligent and Fuzzy Systems 15(1): 3-13 (2004)
40EEUbbo Visser, Patrick Doherty: IJCAI '03 Workshop. KI 18(2): 64- (2004)
2003
39EEPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Tolerance Spaces and Approximative Representational Structures. KI 2003: 475-489
38EEErik 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
37EEPatrick 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)
35EEPatrick Doherty, Andrzej Skowron, Witold Lukaszewicz, Andrzej Szalas: Preface. Fundam. Inform. 57(2-4): (2003)
34EEPatrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas: Towards a Framework for Approximate Ontologies. Fundam. Inform. 57(2-4): 147-165 (2003)
2002
33EEPer 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
29EEPatrick 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
24EEPatrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: Computing MPMA Updates Using Dijkstra's Semantics. ISMIS 1999: 271-281
23EEPatrick 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)
21EEPatrick 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
18EEPatrick Doherty, Jonas Kvarnström: Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. TIME 1998: 97-104
17EEPatrick 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
15EEJohn-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
12EEPatrick 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
6EEPatrick 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
2EEPatrick 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)