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

Patrick Doherty Coauthor index pubzone.org

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

DBLP keys2011
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnest Davis, Patrick Doherty, Esra Erdem: Organizing Committee. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas: Tractable model checking for fragments of higher-order coalition logic. AAMAS 2011: 743-750
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Tomasz P. Michalak, Jacek Sroka, Andrzej Szalas: Contextual Coalitional Games. ICLA 2011: 65-78
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Fredrik Heintz: A delegation-based cooperative robotic framework. ROBIO 2011: 2955-2962
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Buller, Paul Cuddihy, Ernest Davis, Patrick Doherty, Finale Doshi-Velez, Esra Erdem, Douglas H. Fisher, Nancy Green, Knut Hinkelmann, Mary Lou Maher, James McLurkin, Rajiv T. Maheswaran, Sara Rubinelli, Nathan Schurr, Donia Scott, Dylan A. Shell, Pedro A. Szekely, Barbara Thönssen, Arnold B. Urken: Reports of the AAAI 2011 Spring Symposia. AI Magazine 32(3): 119-127 (2011)
2010
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Heintz, Jonas Kvarnström, Patrick Doherty: Stream-Based Middleware Support for Embedded Reasoning. AAAI Spring Symposium: Embedded Reasoning 2010
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Fredrik Heintz, David Landén: A Delegation-Based Architecture for Collaborative Robotics. AOSE 2010: 205-247
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Heintz, Jonas Kvarnström, Patrick Doherty: Stream-Based Reasoning Support for Autonomous Systems. ECAI 2010: 183-188
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkan Warnquist, Jonas Kvarnström, Patrick Doherty: Iterative Bounding LAO. ECAI 2010: 341-346
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariusz Wzorek, Jonas Kvarnström, Patrick Doherty: Choosing Path Replanning Strategies for Unmanned Aircraft Systems. ICAPS 2010: 193-200
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Heintz, Patrick Doherty: Federated DyKnow, a distributed information fusion system for collaborative UAVs. ICARCV 2010: 1063-1069
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer-Magnus Olsson, Jonas Kvarnström, Patrick Doherty, Oleg Burdakov, Kaj Holmberg: Generating UAV communication networks for monitoring and surveillance. ICARCV 2010: 1070-1077
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonas Kvarnström, Patrick Doherty: Automated planning for collaborative UAV systems. ICARCV 2010: 1078-1085
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiotr Rudol, Mariusz Wzorek, Patrick Doherty: Vision-based pose estimation for autonomous indoor navigation of micro-scale Unmanned Aircraft Systems. ICRA 2010: 1913-1920
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Landén, Fredrik Heintz, Patrick Doherty: Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study. PRIMA 2010: 288-303
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Fredrik Heintz, David Landén: A Distributed Task Specification Language for Mixed-Initiative Delegation. PRIMA 2010: 42-57
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Andrzej Szalas: On the Correctness of Rough-Set Based Approximate Reasoning. RSCTC 2010: 327-336
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Heintz, Jonas Kvarnström, Patrick Doherty: Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. Advanced Engineering Informatics 24(1): 14-26 (2010)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström, Per-Magnus Olsson: Relay Positioning for Unmanned Aerial Vehicle Surveillance. I. J. Robotic Res. 29(8): 1069-1087 (2010)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Burdakov, Patrick Doherty, Kaj Holmberg, Per-Magnus Olsson: Optimal placement of UV-based communications relay nodes. J. Global Optimization 48(4): 511-531 (2010)
2009
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFredrik Heintz, Jonas Kvarnström, Patrick Doherty: A stream-based hierarchical anchoring framework. IROS 2009: 5254-5260
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Burdakov, Patrick Doherty, Kaj Holmberg, Jonas Kvarnström, Per-Magnus Olsson: Positioning unmanned aerial vehicles as communication relays for surveillance tasks. Robotics: Science and Systems 2009
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Jonas Kvarnström, Fredrik Heintz: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Autonomous Agents and Multi-Agent Systems 19(3): 332-377 (2009)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpaolo Conte, Patrick Doherty: Vision-Based Unmanned Aerial Vehicle Navigation Using Geo-Referenced Information. EURASIP J. Adv. Sig. Proc. 2009: (2009)
2008
74Electronic Edition 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
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Magnusson, Patrick Doherty: Logical Agents for Language and Action. AIIDE 2008
72Electronic 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
71no 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
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Magnusson, Patrick Doherty: Deductive Planning with Inductive Loops. KR 2008: 528-534
69no 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPer Nyblom, Patrick Doherty: Towards Automatic Model Generation by Optimization. SCAI 2008: 114-123
67Electronic 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
66Electronic 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Magnusson, Patrick Doherty: Deductive Planning with Temporal Constraints. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 95-100
64Electronic 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
63Electronic 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
62Electronic 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
61Electronic 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
60Electronic 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)
59Electronic 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
58no 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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Witold Lukaszewicz, Andrzej Skowron, Andrzej Szalas: Knowledge Representation Techniques - A Rough Set Approach Springer 2006: 3-320
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
55Electronic Edition 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
43Electronic Edition 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, Stanley 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
36Electronic Edition 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Doherty, Jonas Kvarnström: TALplanner: A Temporal Logic-Based Planner. 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
27Electronic Edition 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)
26Electronic Edition 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)
25Electronic Edition 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
22Electronic Edition 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)
16Electronic Edition 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
14Electronic Edition 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
13Electronic Edition 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
10Electronic Edition 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
7Electronic Edition 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]
4Mark Buller [94]
5Oleg Burdakov [77] [79] [80] [87]
6Charles B. Callaway [36]
7Gianpaolo Conte [75]
8Paul Cuddihy [94]
9Ernest Davis [94] [98]
10Virginia Dignum [36]
11Finale Doshi-Velez (Finale Doshi) [94]
12Barbara Dunin-Keplicz [61] [97]
13Ludger van Elst [36]
14Esra Erdem [94] [98]
15Douglas H. Fisher [94]
16Per-Erik Forssén [54]
17Michael Freed [36]
18Reva Freedman [36]
19Michal Grabowski [34]
20Nancy Green [94]
21Hans W. Guesgen (Hans Werner Guesgen) [36]
22Joakim Gustafsson [11] [17] [20]
23Patrik Haslum [28]
24Fredrik Heintz [41] [52] [62] [66] [71] [76] [78] [81] [83] [84] [88] [91] [92] [93] [95]
25Knut Hinkelmann [94]
26Kaj Holmberg [77] [79] [80] [87]
27Gareth Jones [36]
28J. Kachniarz [22]
29Lars Karlsson [17] [20]
30Steve Kertes [47] [48]
31David Kortenkamp [36]
32John R. Koza [36]
33Krzysztof Kuchcinski [33]
34Jonas Kvarnström [17] [18] [23] [26] [27] [28] [30] [66] [71] [76] [77] [78] [80] [81] [86] [87] [89] [90] [91] [93]
35David Landén [72] [83] [84] [92]
36Oliver Lemon [38]
37Witold 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] [57] [59]
38Ewa Madalinska-Bugaj [19] [24] [25]
39Martin Magnusson [47] [48] [53] [65] [70] [72] [73] [74]
40Mary Lou Maher [94]
41Rajiv T. Maheswaran [94]
42Mark T. Maybury [36]
43John McCarthy [36]
44James McLurkin [94]
45John-Jules Ch. Meyer [15] [63]
46Tomasz P. Michalak [96]
47Debasis Mitra [36]
48John Mylopoulos [58]
49Klas Nordberg [33] [54]
50Per Nyblom [68]
51Per-Magnus Olsson [67] [77] [79] [80] [87]
52Stanley Peters [38]
53Per Olof Pettersson [51]
54Jochen Renz [36]
55Sara Rubinelli [94]
56Piotr Rudol [62] [64] [85]
57Erik Sandewall [38]
58Debra Schreckenghost [36]
59Nathan Schurr [94]
60Donia Scott [94]
61Dylan A. Shell [94]
62Andrzej Skowron [35] [57]
63Jacek Sroka [96]
64Andrzej Szalas [9] [10] [12] [13] [14] [16] [21] [22] [29] [31] [32] [34] [35] [37] [39] [44] [46] [47] [48] [50] [53] [57] [59] [60] [61] [69] [82] [96] [97]
65Pedro A. Szekely [94]
66Barbara Thönssen [94]
67Arnold B. Urken [94]
68Ubbo Visser [40] [43]
69Håkan Warnquist [90]
70Christopher A. Welty (Chris Welty) [58]
71Johan Wiklund [54]
72Gareth Williams [42]
73Mary-Anne Williams [36]
74Mariusz Wzorek [56] [85] [89]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page