The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hector J. Levesque: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ronald J. Brachman, Hector J. Levesque
    The Tractability of Subsumption in Frame-Based Description Languages. [Citation Graph (10, 0)][DBLP]
    AAAI, 1984, pp:34-37 [Conf]
  2. Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque
    An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. [Citation Graph (7, 0)][DBLP]
    IJCAI, 1985, pp:532-539 [Conf]
  3. Ronald J. Brachman, Richard Fikes, Hector J. Levesque
    Krypton: A Functional Approach to Knowledge Representation. [Citation Graph (7, 0)][DBLP]
    IEEE Computer, 1983, v:16, n:10, pp:67-73 [Journal]
  4. Hector J. Levesque
    Foundations of a Functional Approach to Knowledge Representation. [Citation Graph (4, 0)][DBLP]
    Artif. Intell., 1984, v:23, n:2, pp:155-212 [Journal]
  5. John Mylopoulos, Hector J. Levesque
    An Overview of Knowledge Representation. [Citation Graph (3, 0)][DBLP]
    On Conceptual Modelling (Intervale), 1982, pp:3-17 [Conf]
  6. Ronald J. Brachman, Hector J. Levesque
    What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level. [Citation Graph (3, 0)][DBLP]
    Expert Database Workshop, 1984, pp:69-78 [Conf]
  7. Bart Selman, Hector J. Levesque
    Abductive and Default Reasoning: A Computational Core. [Citation Graph (2, 0)][DBLP]
    AAAI, 1990, pp:343-348 [Conf]
  8. Hector J. Levesque
    The Logic of Incomplete Knowledge Bases. [Citation Graph (2, 0)][DBLP]
    On Conceptual Modelling (Intervale), 1982, pp:165-189 [Conf]
  9. Philip R. Cohen, Hector J. Levesque
    Intention = Choice + Commitment. [Citation Graph (1, 0)][DBLP]
    AAAI, 1987, pp:410-415 [Conf]
  10. Bart Selman, Hector J. Levesque, David G. Mitchell
    A New Method for Solving Hard Satisfiability Problems. [Citation Graph (1, 0)][DBLP]
    AAAI, 1992, pp:440-446 [Conf]
  11. Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl
    Foundations of a Logical Approach to Agent Programming. [Citation Graph (1, 0)][DBLP]
    ATAL, 1995, pp:331-346 [Conf]
  12. Hector J. Levesque, Ronald J. Brachman
    Knowledge Level Interfaces to Information Systems. [Citation Graph (1, 0)][DBLP]
    On Knowledge Base Management Systems (Islamorada), 1985, pp:13-34 [Conf]
  13. Ronald J. Brachman, Hector J. Levesque
    Tales from the Far Side of KRYPTON. [Citation Graph (1, 0)][DBLP]
    Expert Database Conf., 1986, pp:3-43 [Conf]
  14. Hector J. Levesque
    The Interaction with Incomplete Knowledge Bases: A Formal Treatment. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1981, pp:240-245 [Conf]
  15. Hector J. Levesque
    A Knowledge-Level Account of Abduction. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1989, pp:1061-1067 [Conf]
  16. Hector J. Levesque
    Incompleteness in Knowledge Bases. [Citation Graph (1, 0)][DBLP]
    Workshop on Data Abstraction, Databases and Conceptual Modelling, 1980, pp:150-152 [Conf]
  17. Philip R. Cohen, Hector J. Levesque
    Intention is Choice with Commitment. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1990, v:42, n:2-3, pp:213-261 [Journal]
  18. Hector J. Levesque
    Making Believers out of Computers. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1986, v:30, n:1, pp:81-108 [Journal]
  19. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
    GOLOG: A Logic Programming Language for Dynamic Domains. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1997, v:31, n:1-3, pp:59-83 [Journal]
  20. Ronald J. Brachman, Hector J. Levesque
    Competence in Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1982, pp:189-192 [Conf]
  21. Ronald J. Brachman, Hector J. Levesque, Richard Fikes
    KRYPTON: Integrating Terminology and Assertion. [Citation Graph (0, 0)][DBLP]
    AAAI, 1983, pp:31-35 [Conf]
  22. Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque
    Semantics of Agent Communication Languages for Group Interaction. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:42-47 [Conf]
  23. Gerhard Lakemeyer, Hector J. Levesque
    Only-Knowing: Taking It Beyond Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:633-638 [Conf]
  24. Gerhard Lakemeyer, Hector J. Levesque
    Towards an Axiom System for Default Logic. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  25. Yves Lespérance, Hector J. Levesque
    Indexical Knowledge in Robot Plans. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:1030-1037 [Conf]
  26. Hector J. Levesque
    A Logic of Implicit and Explicit Belief. [Citation Graph (0, 0)][DBLP]
    AAAI, 1984, pp:198-202 [Conf]
  27. Hector J. Levesque
    All I Know: An Abridged Report. [Citation Graph (0, 0)][DBLP]
    AAAI, 1987, pp:426-431 [Conf]
  28. Hector J. Levesque
    What Is Planning in the Presence of Sensing? [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1139-1146 [Conf]
  29. Hector J. Levesque, Philip R. Cohen, José H. T. Nunes
    On Acting Together. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:94-99 [Conf]
  30. Yongmei Liu, Hector J. Levesque
    Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:639-644 [Conf]
  31. David G. Mitchell, Bart Selman, Hector J. Levesque
    Hard and Easy Distributions of SAT Problems. [Citation Graph (0, 0)][DBLP]
    AAAI, 1992, pp:459-465 [Conf]
  32. Richard B. Scherl, Hector J. Levesque
    The Frame Problem and Knowledge-Producing Actions. [Citation Graph (0, 0)][DBLP]
    AAAI, 1993, pp:689-695 [Conf]
  33. Philip R. Cohen, Hector J. Levesque
    Speech Acts and Rationality. [Citation Graph (0, 0)][DBLP]
    ACL, 1985, pp:49-60 [Conf]
  34. Philip R. Cohen, Hector J. Levesque
    Performatives in a Rationally Based Speech Act Theory. [Citation Graph (0, 0)][DBLP]
    ACL, 1990, pp:79-88 [Conf]
  35. Yves Lespérance, Hector J. Levesque, Shane J. Ruman
    An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Agents, 1997, pp:486-487 [Conf]
  36. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    On Ability to Autonomously Execute Agent Programs with Sensing. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:1522-1523 [Conf]
  37. Steven Shapiro, Yves Lespérance, Hector J. Levesque
    The cognitive agents specification language and verification environment for multiagent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:19-26 [Conf]
  38. Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin
    Controlling Autonomous Robots with GOLOG. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1997, pp:1-12 [Conf]
  39. Steven Shapiro, Yves Lespérance, Hector J. Levesque
    Specifying Communicative Multi-Agent Systems (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997, pp:1-14 [Conf]
  40. Gerhard Lakemeyer, Hector J. Levesque
    Querying AOL Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:225-244 [Conf]
  41. Ronald J. Brachman, Hector J. Levesque
    The Knowledge Level of a KBMS. [Citation Graph (0, 0)][DBLP]
    On Knowledge Base Management Systems (Islamorada), 1985, pp:9-12 [Conf]
  42. Hector J. Levesque
    A View Of Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    On Knowledge Base Management Systems (Islamorada), 1985, pp:63-69 [Conf]
  43. Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
    An Embedding of ConGolog in 3APL. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:558-562 [Conf]
  44. Hector J. Levesque
    The Truth About Defaults. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:5- [Conf]
  45. Philip R. Cohen, Hector J. Levesque
    Communicative Actions for Artificial Agents. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1995, pp:65-72 [Conf]
  46. Sanjeev Kumar, Philip R. Cohen, Hector J. Levesque
    The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. [Citation Graph (0, 0)][DBLP]
    ICMAS, 2000, pp:159-166 [Conf]
  47. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
    Reasoning about Noisy Sensors in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:1933-1940 [Conf]
  48. Philip R. Cohen, Hector J. Levesque
    Confirmations and Joint Action. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:951-959 [Conf]
  49. Giuseppe De Giacomo, Hector J. Levesque
    Projection Using Regression and Sensors. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:160-165 [Conf]
  50. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1997, pp:1221-1226 [Conf]
  51. Gerhard Lakemeyer, Hector J. Levesque
    Semantics for a useful fragment of the situation calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:490-496 [Conf]
  52. Gerhard Lakemeyer, Hector J. Levesque
    Query Evaluation and Progression in AOL Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:124-131 [Conf]
  53. Hector J. Levesque
    Planning with Loops. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:509-515 [Conf]
  54. Hector J. Levesque, John Mylopoulos
    An Overview of a Procedural Approach to Semantic Networks. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:283- [Conf]
  55. Yongmei Liu, Hector J. Levesque
    Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:522-527 [Conf]
  56. Yongmei Liu, Hector J. Levesque
    A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:83-88 [Conf]
  57. Bart Selman, Hector J. Levesque
    The Tractability of Path-Based Inheritance. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:1140-1145 [Conf]
  58. Steven Shapiro, Yves Lespérance, Hector J. Levesque
    Goal Change. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:582-588 [Conf]
  59. Stavros Vassos, Hector J. Levesque
    Progression of Situation Calculus Action Theories with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2029-2024 [Conf]
  60. John Mylopoulos, Hector J. Levesque
    An Overview of Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:143-157 [Conf]
  61. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña
    On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:603-614 [Conf]
  62. Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
    A Logic of Limited Belief for Reasoning with Disjunctive Information. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:587-597 [Conf]
  63. Gerhard Lakemeyer, Hector J. Levesque
    Situations, Si! Situation Terms, No! [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:516-526 [Conf]
  64. Gerhard Lakemeyer, Hector J. Levesque
    AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:316-329 [Conf]
  65. Hector J. Levesque
    A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:14-23 [Conf]
  66. Hector J. Levesque
    What Robots Can Do. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:651- [Conf]
  67. Ronald P. A. Petrick, Hector J. Levesque
    Knowledge Equivalence in Combined Action Theories. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:303-314 [Conf]
  68. Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque
    Iterated Belief Change in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:527-538 [Conf]
  69. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    On the Limits of Planning over Belief States under Strict Uncertainty. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:463-471 [Conf]
  70. Yves Lespérance, Hector J. Levesque, Shane J. Ruman
    An Experiment in Using Golog to Build a Personal Banking Assistant. [Citation Graph (0, 0)][DBLP]
    PRICAI Workshop on Intelligent Agent Systems, 1996, pp:27-43 [Conf]
  71. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
    Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    Reasoning with Uncertainty in Robotics, 1995, pp:218-220 [Conf]
  72. Gerhard Lakemeyer, Hector J. Levesque
    A Tractable Knowledge Representation Service with Full Introspection. [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:145-159 [Conf]
  73. Hector J. Levesque
    Comments on "Knowledge, Representation, and Rational Self-Government". [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:361-362 [Conf]
  74. Hector J. Levesque
    Knowledge, Action, and Ability in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:1-4 [Conf]
  75. Jim des Rivières, Hector J. Levesque
    The Consistency of Syntactical Treatments of Knowledge. [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:115-130 [Conf]
  76. Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore
    Panel: Locality vs. Rationality. [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:343- [Conf]
  77. Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason
    Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? [Citation Graph (0, 0)][DBLP]
    TARK, 1986, pp:223- [Conf]
  78. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
    Reasoning about Noisy Sensors and Effectors in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:111, n:1-2, pp:171-208 [Journal]
  79. Ronald J. Brachman, Hector J. Levesque, Raymond Reiter
    Introduction to the Special Volume on Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1991, v:49, n:1-3, pp:1-3 [Journal]
  80. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    ConGolog, a concurrent programming language based on the situation calculus. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:121, n:1-2, pp:109-169 [Journal]
  81. Yves Lespérance, Hector J. Levesque
    Indexical Knowledge and Robot Action - A Logical Account. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:73, n:1-2, pp:69-115 [Journal]
  82. Hector J. Levesque
    All I Know: A Study in Autoepistemic Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1990, v:42, n:2-3, pp:263-309 [Journal]
  83. Fangzhen Lin, Hector J. Levesque
    What Robots Can Do: Robot Programs and Effective Achievability. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:101, n:1-2, pp:201-226 [Journal]
  84. David G. Mitchell, Hector J. Levesque
    Some Pitfalls for Experimenters with Random SAT. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:81, n:1-2, pp:111-125 [Journal]
  85. Richard B. Scherl, Hector J. Levesque
    Knowledge, action, and the frame problem. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2003, v:144, n:1-2, pp:1-39 [Journal]
  86. Bart Selman, Hector J. Levesque
    The Complexity of Path-Based Defeasible Inheritance. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1993, v:62, n:2, pp:303-339 [Journal]
  87. Bart Selman, Hector J. Levesque
    Support Set Selection for Abductive and Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:82, n:1-2, pp:259-272 [Journal]
  88. Bart Selman, David G. Mitchell, Hector J. Levesque
    Generating Hard Satisfiability Problems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:81, n:1-2, pp:17-29 [Journal]
  89. Tom M. Mitchell, Hector J. Levesque
    The 2005 AAAI Classic Paper Awards. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2005, v:26, n:4, pp:98-99 [Journal]
  90. Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque
    In Memory of Ray Reiter (1939-2002). [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2002, v:23, n:4, pp:93- [Journal]
  91. Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling
    Introduction. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:131-133 [Journal]
  92. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque
    On the Semantics of Deliberation in Indigolog - from Theory to Implementation. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:259-299 [Journal]
  93. Hector J. Levesque, Ronald J. Brachman
    Expressiveness and tractability in knowledge representation and reasoning. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1987, v:3, n:, pp:78-93 [Journal]
  94. Jim des Rivières, Hector J. Levesque
    The consistency of syntactical treatments of knowledge. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1988, v:4, n:, pp:31-41 [Journal]
  95. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
    Reasoning about Noisy Sensors and Effectors in the Situation Calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 1998, v:0, n:, pp:- [Journal]
  96. Ronald J. Brachman, Hector J. Levesque
    Undirected Behaviour Without Unbounded Search. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1995, v:27, n:3, pp:314-316 [Journal]
  97. Ronald J. Brachman, Hector J. Levesque
    Undirected Behavior Without Unbounded Search. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:1- [Journal]
  98. Hector J. Levesque, Fiora Pirri, Raymond Reiter
    Foundations for the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:159-178 [Journal]
  99. Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
    Ability and Knowing How in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:66, n:1, pp:165-186 [Journal]
  100. Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña
    Incremental execution of guarded theories. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:4, pp:495-525 [Journal]
  101. Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance
    A Logical Theory of Coordination and Joint Ability. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:421-426 [Conf]

  102. On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. [Citation Graph (, )][DBLP]


  103. Towards a logical theory of coordination and joint ability. [Citation Graph (, )][DBLP]


  104. A Semantical Account of Progression in the Presence of Defaults. [Citation Graph (, )][DBLP]


  105. Some Further Thoughts on Expressiveness and Tractability. [Citation Graph (, )][DBLP]


  106. A Semantical Account of Progression in the Presence of Defaults. [Citation Graph (, )][DBLP]


  107. Is It Enough to Get the Behavior Right? [Citation Graph (, )][DBLP]


  108. First-Order Strong Progression for Local-Effect Basic Action Theories. [Citation Graph (, )][DBLP]


  109. A Correctness Result for Reasoning about One-Dimensional Planning Problems. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.012secs
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