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

Hector J. Levesque Vis

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

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

Coauthor Index

1Fahiem Bacchus [48] [49] [64] [69]
2Ronald J. Brachman (Ron Brachman) [6] [7] [9] [11] [12] [14] [16] [17] [22] [23] [38] [47] [55]
3Philip R. Cohen [18] [25] [33] [34] [35] [39] [44] [50] [76] [78]
4Jürgen Dix [87]
5Jon Doyle [28]
6Richard Fikes [7] [9]
7Michael Fisher [87]
8Hojjat Ghaderi [104] [105]
9Giuseppe De Giacomo [59] [70] [73] [79] [81] [86] [90] [98]
10Victoria P. Gilbert [17]
11Joseph Y. Halpern [48] [49] [64] [69]
12Koen V. Hindriks [77]
13Geoffrey E. Hinton [80]
14Marcus J. Huber [78]
15Michael R. M. Jenkin (Michael Jenkin) [60]
16Hans Kamp [20]
17Kurt Konolige [20]
18Sanjeev Kumar [76] [78]
19Gerhard Lakemeyer [29] [67] [71] [75] [88] [89] [95] [97] [100] [106] [108] [110]
20Yves Lespérance [37] [46] [51] [56] [58] [59] [60] [61] [62] [72] [73] [74] [77] [81] [83] [86] [90] [92] [98] [101] [104] [105]
21Fangzhen Lin [51] [58] [60] [65] [72]
22Yongmei Liu [85] [88] [93] [96]
23J. Lloyd [60]
24Ronald Prescott Loui [28]
25Daniel Marcu [51] [60]
26David McGee [78]
27David G. Mitchell [40] [41] [53] [54]
28Tom M. Mitchell [91]
29Robert S. Moore [28]
30John Mylopoulos [1] [4] [8]
31José H. T. Nunes [35]
32Maurice Pagnucco [74]
33Ronald P. A. Petrick [82]
34Fiora Pirri [63] [80]
35Raymond Reiter [38] [51] [58] [60] [63]
36Jim des Rivières [21] [26]
37Stanley J. Rosenchein [28]
38Shane J. Ruman [56] [62]
39Sebastian Sardiña [79] [81] [86] [90] [98]
40Richard B. Scherl [43] [51] [58] [72] [84]
41Bart Selman [30] [36] [40] [41] [42] [52] [53]
42Steven Shapiro [61] [74] [83] [92] [101]
43Robert Stalnaker [20]
44Leon Sterling [87]
45Kenneth Tam [60]
46Richmond H. Thomason [20]
47Stavros Vassos [102] [106] [107]

Colors in the list of coauthors

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