The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrick Doherty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Efficient Reasoning Using the Local Closed-World Assumption. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2000, pp:49-58 [Conf]
  2. Per Andersson, Krzysztof Kuchcinski, Klas Nordberg, Patrick Doherty
    Integrating a Computational Model and a Run Time System for Image Processing on a UAV. [Citation Graph (0, 0)][DBLP]
    DSD, 2002, pp:102-109 [Conf]
  3. Patrick Doherty
    Reasoning about Action and Change Using Occlusion. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:401-405 [Conf]
  4. Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
    Towards a Logical Analysis of Biochemical Reactions. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:997-998 [Conf]
  5. Patrick Doherty, Witold Lukaszewicz
    FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:294-298 [Conf]
  6. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    CAKE: A Computer-Aided Knowledge Engineering Technique. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:220-224 [Conf]
  7. Lars Karlsson, Joakim Gustafsson, Patrick Doherty
    Delayed Effects of Actions. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:542-546 [Conf]
  8. Jonas Kvarnström, Patrick Doherty, Patrik Haslum
    Extending TALplanner with Concurrency and Resources. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:501-505 [Conf]
  9. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    General Domain Circumscription in its First-Order Reduction. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:93-109 [Conf]
  10. Patrick Doherty, Witold Lukaszewicz
    Cicumscribing Features and Fluents. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:82-100 [Conf]
  11. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:145-154 [Conf]
  12. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Computing Circumscription Revisited: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1502-1508 [Conf]
  13. Patrick Doherty, Witold Lukaszewicz
    Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1994, pp:521-530 [Conf]
  14. Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    Computing MPMA Updates Using Dijkstra's Semantics. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1999, pp:271-281 [Conf]
  15. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Explaining Explanation Closure. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1996, pp:521-530 [Conf]
  16. Patrick Doherty, Witold Lukaszewicz
    Defaults as First-Class Citizens. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1992, pp:146-154 [Conf]
  17. Patrick Doherty
    NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. [Citation Graph (0, 0)][DBLP]
    JELIA, 1990, pp:196-211 [Conf]
  18. Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas
    Towards a Logical Analysis of Biochemical Pathways. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:667-679 [Conf]
  19. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Tolerance Spaces and Approximative Representational Structures. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:475-489 [Conf]
  20. Erik Sandewall, Patrick Doherty, Oliver Lemon, S. Peters
    Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:52-63 [Conf]
  21. Patrick Doherty
    Advanced Research with Autonomous Unmanned Aerial Vehicles. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:731-732 [Conf]
  22. Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    The PMA and Relativizing Minimal Change for Action Update. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:258-269 [Conf]
  23. Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz
    Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:459-468 [Conf]
  24. Joakim Gustafsson, Patrick Doherty
    Embracing Occlusion in Specifying the Indirect Effects of Actions. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:87-98 [Conf]
  25. John-Jules Ch. Meyer, Patrick Doherty
    Preferential Action Semantics (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    ModelAge Workshop, 1997, pp:187-201 [Conf]
  26. Patrick Doherty, Andrzej Szalas
    On the Correspondence between Approximations and Similarity. [Citation Graph (0, 0)][DBLP]
    Rough Sets and Current Trends in Computing, 2004, pp:143-152 [Conf]
  27. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Information Granules for Intelligent Knowledge Structures. [Citation Graph (0, 0)][DBLP]
    RSFDGrC, 2003, pp:405-412 [Conf]
  28. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Similarity, Approximations and Vagueness. [Citation Graph (0, 0)][DBLP]
    RSFDGrC (1), 2005, pp:541-550 [Conf]
  29. Patrick Doherty
    A Semantics for Inheritance Hierarchies with Exceptions Using a Logic of Preferential Entailment. [Citation Graph (0, 0)][DBLP]
    SCAI, 1989, pp:117-130 [Conf]
  30. Patrick Doherty, Jonas Kvarnström
    Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    TIME, 1998, pp:97-104 [Conf]
  31. Patrick Doherty, Jonas Kvarnström
    TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. [Citation Graph (0, 0)][DBLP]
    TIME, 1999, pp:47-54 [Conf]
  32. Patrick Doherty
    Knowledge Representation and Unmanned Aerial Vehicles. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2005, pp:9-16 [Conf]
  33. 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. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2003, v:24, n:3, pp:131-140 [Journal]
  34. Patrick Doherty, Jonas Kvarnström
    Planning in the Fluent Calculus Using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2001, v:22, n:3, pp:95-102 [Journal]
  35. Ubbo Visser, Patrick Doherty
    Issues in Designing Physical Agents for Dynamic Real-Time Environments: World Modeling, Planning, Learning, and Communicating. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2004, v:25, n:2, pp:137-138 [Journal]
  36. Jonas Kvarnström, Patrick Doherty
    TALplanner: A temporal logic based forward chaining planner. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2000, v:30, n:1-4, pp:119-169 [Journal]
  37. Gareth Williams, Patrick Doherty
    Inter-residue distances derived from fold contact propensities correlate with evolutionary substitution costs. [Citation Graph (0, 0)][DBLP]
    BMC Bioinformatics, 2004, v:5, n:, pp:153- [Journal]
  38. Jonas Kvarnström, Patrick Doherty
    Tackling the Qualification Problem Using Fluent Dependency Constraints. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 2000, v:16, n:2, pp:169-209 [Journal]
  39. Patrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström
    TAL: Temporal Action Logics Language Specification and Tutorial. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:273-306 [Journal]
  40. Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas
    Towards a Framework for Approximate Ontologies. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:147-165 [Journal]
  41. Patrick Doherty, J. Kachniarz, Andrzej Szalas
    Meta-Queries on Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:40, n:1, pp:7-30 [Journal]
  42. Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    The PMA and Relativizing Minimal Change for Action Update. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:44, n:1-2, pp:95-131 [Journal]
  43. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    A Reduction Result for Circumscribed Semi-Horn Formulas. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:3-4, pp:261-271 [Journal]
  44. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    General Domain Circumscription and its Effective Reductions. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:36, n:1, pp:23-55 [Journal]
  45. Patrick Doherty, Andrzej Skowron, Witold Lukaszewicz, Andrzej Szalas
    Preface. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:- [Journal]
  46. Patrick Doherty, Andrzej Szalas
    A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:75, n:1-4, pp:179-193 [Journal]
  47. 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. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 2006, v:20, n:5, pp:763-780 [Journal]
  48. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Communication between agents with heterogeneous perceptual capabilities. [Citation Graph (0, 0)][DBLP]
    Information Fusion, 2007, v:8, n:1, pp:56-69 [Journal]
  49. Patrick Doherty, Witold Lukaszewicz
    NML3. A Non-Monotonic Logic with Explicit Defaults. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1992, v:2, n:1, pp:- [Journal]
  50. Patrick Doherty, Martin Magnusson, Andrzej Szalas
    Approximate databases: a support tool for approximate reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2006, v:16, n:1-2, pp:87-118 [Journal]
  51. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Computing Circumscription Revisited: A Reduction Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:3, pp:297-336 [Journal]
  52. Fredrik Heintz, Patrick Doherty
    DyKnow: An approach to middleware for knowledge processing. [Citation Graph (0, 0)][DBLP]
    Journal of Intelligent and Fuzzy Systems, 2004, v:15, n:1, pp:3-13 [Journal]
  53. Per Olof Pettersson, Patrick Doherty
    Probabilistic roadmap based path planning for an autonomous unmanned helicopter. [Citation Graph (0, 0)][DBLP]
    Journal of Intelligent and Fuzzy Systems, 2006, v:17, n:4, pp:395-405 [Journal]
  54. Fredrik Heintz, Patrick Doherty
    A knowledge processing middleware framework and its relation to the JDL data fusion model. [Citation Graph (0, 0)][DBLP]
    Journal of Intelligent and Fuzzy Systems, 2006, v:17, n:4, pp:335-351 [Journal]
  55. Ubbo Visser, Patrick Doherty
    IJCAI '03 Workshop. [Citation Graph (0, 0)][DBLP]
    KI, 2004, v:18, n:2, pp:64-0 [Journal]
  56. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
    Declarative PTIME Queries for Relational Databases using Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:5, pp:737-758 [Journal]
  57. Mariusz Wzorek, Patrick Doherty
    Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:438-441 [Conf]
  58. Patrick Doherty, John-Jules Ch. Meyer
    Towards a Delegation Framework for Aerial Robotic Mission Scenarios. [Citation Graph (0, 0)][DBLP]
    CIA, 2007, pp:5-26 [Conf]
  59. Fredrik Heintz, Piotr Rudol, Patrick Doherty
    Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework. [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:460-463 [Conf]
  60. Patrick Doherty, Barbara Dunin-Keplicz, Andrzej Szalas
    Dynamics of Approximate Information Fusion. [Citation Graph (0, 0)][DBLP]
    RSEISP, 2007, pp:668-677 [Conf]

  61. A Temporal Logic-Based Planning and Execution Monitoring System. [Citation Graph (, )][DBLP]


  62. Choosing Path Replanning Strategies for Unmanned Aircraft Systems. [Citation Graph (, )][DBLP]


  63. A UAV Search and Rescue Scenario with Human Body Detection and Geolocalization. [Citation Graph (, )][DBLP]


  64. Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. [Citation Graph (, )][DBLP]


  65. Iterative Bounding LAO. [Citation Graph (, )][DBLP]


  66. Stream-Based Reasoning Support for Autonomous Systems. [Citation Graph (, )][DBLP]


  67. Vision-based pose estimation for autonomous indoor navigation of micro-scale Unmanned Aircraft Systems. [Citation Graph (, )][DBLP]


  68. Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. [Citation Graph (, )][DBLP]


  69. Deductive Planning with Inductive Loops. [Citation Graph (, )][DBLP]


  70. On the Correctness of Rough-Set Based Approximate Reasoning. [Citation Graph (, )][DBLP]


  71. The Observer Algorithm for Visibility Approximation. [Citation Graph (, )][DBLP]


  72. Towards Automatic Model Generation by Optimization. [Citation Graph (, )][DBLP]


  73. Logical Agents for Language and Action. [Citation Graph (, )][DBLP]


  74. A stream-based hierarchical anchoring framework. [Citation Graph (, )][DBLP]


  75. Knowledge Processing Middleware. [Citation Graph (, )][DBLP]


  76. Temporal Action Logic for Question Answering in an Adventure Game. [Citation Graph (, )][DBLP]


  77. Artificial Intelligence and Unmanned Aerial Vehicles. [Citation Graph (, )][DBLP]


  78. A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. [Citation Graph (, )][DBLP]


  79. Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing. [Citation Graph (, )][DBLP]


Search in 0.516secs, Finished in 0.520secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002