Hector J. Levesque

	2011
120		Hector J. Levesque: The Winograd Schema Challenge. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
119		Yuxiao Hu, Hector J. Levesque: A Correctness Result for Reasoning about One-Dimensional Planning Problems. IJCAI 2011: 2638-2643
118		Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI 2011: 827-832
117		Gerhard Lakemeyer, Hector J. Levesque: A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. 175(1): 142-164 (2011)
116		Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated belief change in the situation calculus. Artif. Intell. 175(1): 165-192 (2011)
	2010
115		Yuxiao Hu, Hector J. Levesque: A Correctness Result for Reasoning about One-Dimensional Planning Problems. KR 2010
	2009
114		Gerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications 2009: 82-98
113		Hector J. Levesque: Is It Enough to Get the Behavior Right? IJCAI 2009: 1439-1444
112		Gerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. IJCAI 2009: 842-847
	2008
111		Stavros Vassos, Hector J. Levesque: On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. AAAI 2008: 1004-1009
110		Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque: First-Order Strong Progression for Local-Effect Basic Action Theories. KR 2008: 662-672
	2007
109		Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: A Logical Theory of Coordination and Joint Ability. AAAI 2007: 421-426
108		Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: A Logical Theory of Coordination and Joint Ability. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 53-58
107		Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance: Towards a logical theory of coordination and joint ability. AAMAS 2007: 81
106		Hector J. Levesque: Some Further Thoughts on Expressiveness and Tractability. Description Logics 2007
105		Stavros Vassos, Hector J. Levesque: Progression of Situation Calculus Action Theories with Incomplete Information. IJCAI 2007: 2029-2024
104		Steven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change in the Situation Calculus. J. Log. Comput. 17(5): 983-1018 (2007)
	2006
103		Gerhard Lakemeyer, Hector J. Levesque: Towards an Axiom System for Default Logic. AAAI 2006: 263-268
102		Hector J. Levesque: The Truth About Defaults. ECAI 2006: 5
101		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
100		Gerhard Lakemeyer, Hector J. Levesque: Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI 2005: 633-638
99		Yongmei Liu, Hector J. Levesque: Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. AAAI 2005: 639-644
98		Gerhard Lakemeyer, Hector J. Levesque: Semantics for a useful fragment of the situation calculus. IJCAI 2005: 490-496
97		Hector J. Levesque: Planning with Loops. IJCAI 2005: 509-515
96		Yongmei Liu, Hector J. Levesque: Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. IJCAI 2005: 522-527
95		Steven Shapiro, Yves Lespérance, Hector J. Levesque: Goal Change. IJCAI 2005: 582-588
94		Tom M. Mitchell, Hector J. Levesque: The 2005 AAAI Classic Paper Awards. AI Magazine 26(4): 98-99 (2005)
	2004
93		Ronald J. Brachman, Hector J. Levesque: Knowledge Representation and Reasoning. Elsevier 2004: I-XXIX, 1-381
92		Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523
91		Gerhard Lakemeyer, Hector J. Levesque: Situations, Si! Situation Terms, No! KR 2004: 516-526
90		Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque: A Logic of Limited Belief for Reasoning with Disjunctive Information. KR 2004: 587-597
89		Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling: Introduction. Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004)
88		Sebastian 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
87		Yongmei Liu, Hector J. Levesque: A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI 2003: 83-88
86		Richard B. Scherl, Hector J. Levesque: Knowledge, action, and the frame problem. Artif. Intell. 144(1-2): 1-39 (2003)
	2002
85		Steven Shapiro, Yves Lespérance, Hector J. Levesque: The cognitive agents specification language and verification environment for multiagent systems. AAMAS 2002: 19-26
84		Ronald P. A. Petrick, Hector J. Levesque: Knowledge Equivalence in Combined Action Theories. KR 2002: 303-314
83		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
82		Fiora Pirri, Geoffrey E. Hinton, Hector J. Levesque: In Memory of Ray Reiter (1939-2002). AI Magazine 23(4): 93 (2002)
	2001
81		Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña: Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4): 495-525 (2001)
	2000
80		Hector J. Levesque, Gerhard Lakemeyer: The logic of knowledge bases. MIT Press 2000: I-XVIII, 1-282
79		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
78		Koen V. Hindriks, Yves Lespérance, Hector J. Levesque: An Embedding of ConGolog in 3APL. ECAI 2000: 558-562
77		Sanjeev Kumar, Philip R. Cohen, Hector J. Levesque: The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. ICMAS 2000: 159-166
76		Gerhard Lakemeyer, Hector J. Levesque: Querying AOL Knowledge Bases. Intellectics and Computational Logic 2000: 225-244
75		Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque: Iterated Belief Change in the Situation Calculus. KR 2000: 527-538
74		Giuseppe 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)
73		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
72		Gerhard Lakemeyer, Hector J. Levesque: Query Evaluation and Progression in AOL Knowledge Bases. IJCAI 1999: 124-131
71		Giuseppe De Giacomo, Hector J. Levesque: Projection Using Regression and Sensors. IJCAI 1999: 160-165
70		Fahiem 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
69		Hector J. Levesque: A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. KR 1998: 14-23
68		Gerhard Lakemeyer, Hector J. Levesque: AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR 1998: 316-329
67		Hector J. Levesque: What Robots Can Do. KR 1998: 651
66		Fangzhen Lin, Hector J. Levesque: What Robots Can Do: Robot Programs and Effective Achievability. Artif. Intell. 101(1-2): 201-226 (1998)
65		Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus CoRR cs.AI/9809013: (1998)
64		Hector J. Levesque, Fiora Pirri, Raymond Reiter: Foundations for the Situation Calculus. Electron. Trans. Artif. Intell. 2: 159-178 (1998)
	1997
63		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
62		Steven 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
61		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. Australian Joint Conference on Artificial Intelligence 1997: 1-12
60		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
59		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
58		Hector J. Levesque: What Is Planning in the Presence of Sensing? AAAI/IAAI, Vol. 2 1996: 1139-1146
57		Yves 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
56		Ronald J. Brachman, Hector J. Levesque: Undirected Behavior Without Unbounded Search. ACM Comput. Surv. 28(4es): 1 (1996)
55		David G. Mitchell, Hector J. Levesque: Some Pitfalls for Experimenters with Random SAT. Artif. Intell. 81(1-2): 111-125 (1996)
54		Bart Selman, David G. Mitchell, Hector J. Levesque: Generating Hard Satisfiability Problems. Artif. Intell. 81(1-2): 17-29 (1996)
53		Bart Selman, Hector J. Levesque: Support Set Selection for Abductive and Default Reasoning. Artif. Intell. 82(1-2): 259-272 (1996)
	1995
52		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
51		Philip R. Cohen, Hector J. Levesque: Communicative Actions for Artificial Agents. ICMAS 1995: 65-72
50		Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940
49		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
48		Ronald J. Brachman, Hector J. Levesque: Undirected Behaviour Without Unbounded Search. ACM Comput. Surv. 27(3): 314-316 (1995)
47		Yves Lespérance, Hector J. Levesque: Indexical Knowledge and Robot Action - A Logical Account. Artif. Intell. 73(1-2): 69-115 (1995)
	1994
46		Hector J. Levesque: Knowledge, Action, and Ability in the Situation Calculus. TARK 1994: 1-4
45		Philip R. Cohen, Hector J. Levesque: Preliminaries to a collaborative model of dialogue. Speech Communication 15(3-4): 265-274 (1994)
	1993
44		Richard B. Scherl, Hector J. Levesque: The Frame Problem and Knowledge-Producing Actions. AAAI 1993: 689-695
43		Bart Selman, Hector J. Levesque: The Complexity of Path-Based Defeasible Inheritance. Artif. Intell. 62(2): 303-339 (1993)
	1992
42		Bart Selman, Hector J. Levesque, David G. Mitchell: A New Method for Solving Hard Satisfiability Problems. AAAI 1992: 440-446
41		David G. Mitchell, Bart Selman, Hector J. Levesque: Hard and Easy Distributions of SAT Problems. AAAI 1992: 459-465
	1991
40		Philip R. Cohen, Hector J. Levesque: Confirmations and Joint Action. IJCAI 1991: 951-959
39		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
38		Yves Lespérance, Hector J. Levesque: Indexical Knowledge in Robot Plans. AAAI 1990: 1030-1037
37		Bart Selman, Hector J. Levesque: Abductive and Default Reasoning: A Computational Core. AAAI 1990: 343-348
36		Hector J. Levesque, Philip R. Cohen, José H. T. Nunes: On Acting Together. AAAI 1990: 94-99
35		Philip R. Cohen, Hector J. Levesque: Performatives in a Rationally Based Speech Act Theory. ACL 1990: 79-88
34		Philip R. Cohen, Hector J. Levesque: Intention is Choice with Commitment. Artif. Intell. 42(2-3): 213-261 (1990)
33		Hector J. Levesque: All I Know: A Study in Autoepistemic Logic. Artif. Intell. 42(2-3): 263-309 (1990)
	1989
32		Ronald J. Brachman, Hector J. Levesque, Raymond Reiter: Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989. Morgan Kaufmann 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
2		Hector 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

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page