H. Levesque
发表
Hector J. Levesque,
Richard B. Scherl,
R. Scherl,
1993,
AAAI.
H. Levesque,
1988
.
H. Levesque,
R. Brachman,
2004
.
Hector J. Levesque,
Leora Morgenstern,
Ernest Davis,
2011,
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.
Hector J. Levesque,
Raymond Reiter,
Fiora Pirri,
1998,
Electron. Trans. Artif. Intell..
H. Levesque,
S. Shapiro,
Yves Lesprance,
1995
.
H. Levesque,
1981
.
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
1984,
AAAI.
Hector J. Levesque,
Ronald J. Brachman,
Richard Fikes,
1983,
Computer.
H. Levesque,
B. Selman,
D. Mitchell,
1995
.
Hector J. Levesque,
Bart Selman,
H. Levesque,
1996,
Artif. Intell..
Hector J. Levesque,
Giuseppe De Giacomo,
Yves Lesprance,
1999
.
H. Levesque,
J. Mylopoulos,
1979
.
Hector J. Levesque,
H. Levesque,
1981,
IJCAI.
Hector J. Levesque,
David G. Mitchell,
Bart Selman,
1992,
AAAI.
H. Levesque,
J. D. Rivières,
Jim des Rivières,
1986
.
R. Reiter,
H. Levesque,
R. Brachman,
1992
.
Hector J. Levesque,
David G. Mitchell,
Bart Selman,
1992,
AAAI.
Hector J. Levesque,
H. Levesque,
1984,
AAAI.
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
1987,
Comput. Intell..
Hector J. Levesque,
Yves Lespérance,
H. Levesque,
1990,
AAAI.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2011,
Artif. Intell..
Hector J. Levesque,
H. Levesque,
2014,
Artif. Intell..
Hector J. Levesque,
H. Levesque,
2009,
IJCAI 2009.
Hector J. Levesque,
Giuseppe De Giacomo,
Sebastian Sardiña,
2002,
Annals of Mathematics and Artificial Intelligence.
H. Levesque,
Y. Lespérance,
Sebastian Sardiña,
2003
.
H. Levesque,
M. Pagnucco,
2000
.
Hector J. Levesque,
Raymond Reiter,
Ronald J. Brachman,
1992
.
Hector J. Levesque,
Fangzhen Lin,
Raymond Reiter,
1997,
J. Log. Program..
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
1986,
On Knowledge Base Management Systems.
Hector J. Levesque,
Giuseppe De Giacomo,
H. Levesque,
2000
.
Hector J. Levesque,
H. Levesque,
1987,
AAAI.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2020,
Artif. Intell..
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2014,
J. Appl. Log..
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
1984,
Expert Database Workshop.
Hector J. Levesque,
Giuseppe De Giacomo,
Yves Lespérance,
2011,
IJCAI.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
1998,
KR.
Hector J. Levesque,
Fangzhen Lin,
H. Levesque,
1998,
Artif. Intell..
R. Reiter,
H. Levesque,
R. Brachman,
1992
.
Hector J. Levesque,
Joseph Y. Halpern,
Fahiem Bacchus,
1995,
IJCAI.
Philip R. Cohen,
H. Levesque,
2003
.
H. Levesque,
D. Mitchell,
2002
.
H. Levesque,
Yuxiao Hu,
2012
.
Philip R. Cohen,
H. Levesque,
1995
.
H. Levesque,
1999
.
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
2004
.
Hector J. Levesque,
Jim des Rivières,
H. Levesque,
1988,
Comput. Intell..
H. Levesque,
Yongmei Liu,
2022
.
H. Levesque,
L. Morgenstern,
Ernest Davis,
2012,
KR.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2001
.
Hector J. Levesque,
Jon Doyle,
Robert S. Moore,
1988,
Theoretical Aspects of Rationality and Knowledge.
Hector J. Levesque,
Raymond Reiter,
Erik Sandewall,
1991
.
H. Levesque,
Y. Lespérance,
Hojjat Ghaderi,
2009
.
D. Marcu,
R. Scherl,
H. Levesque,
2022
.
James F. Allen,
H. Kyburg,
T. Hogg,
1995
.
Hector J. Levesque,
Raymond Reiter,
Ronald J. Brachman,
1991
.
Hector J. Levesque,
Raymond Reiter,
Ronald J. Brachman,
1991,
Artif. Intell..
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
1996,
CSUR.
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
1986,
Expert Database Conf..
Hector J. Levesque,
H. Levesque,
1986
.
Hector J. Levesque,
John Mylopoulos,
H. Levesque,
1983,
On Conceptual Modelling.
H. Levesque,
R. Brachman,
1985
.
Hector J. Levesque,
Sheila A. McIlraith,
Toryn Q. Klassen,
2017,
COMMONSENSE.
Achille C. Varzi,
M. Winston,
H. Levesque,
1996
.
H. Levesque,
Vaishak Belle,
2015,
Studia Logica.
H. Levesque,
J. Delgrande,
2018,
Studia Logica.
Hector J. Levesque,
Fiora Pirri,
H. Levesque,
1999,
Artificial Intelligence.
Hector J. Levesque,
Fangzhen Lin,
Richard B. Scherl,
2000,
Stud Logica.
Hector J. Levesque,
H. Levesque,
1996,
AAAI/IAAI, Vol. 2.
Hector J. Levesque,
Philip R. Cohen,
José H. T. Nunes,
1990,
AAAI.
Hector J. Levesque,
Philip R. Cohen,
H. Levesque,
1990,
Artif. Intell..
Gerhard Lakemeyer,
Hector J. Levesque,
Stavros Vassos,
2008,
KR.
Hector J. Levesque,
H. Levesque,
2017
.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2018,
Artif. Intell..
G. Lakemeyer,
H. Levesque,
2017,
The Rise and Decline of Nations.
Hector J. Levesque,
Yongmei Liu,
H. Levesque,
2014,
Johan van Benthem on Logic and Information Dynamics.
Hector J. Levesque,
Maurice Pagnucco,
Yves Lespérance,
2000,
Artif. Intell..
Hector J. Levesque,
Giuseppe De Giacomo,
H. Levesque,
2011
.
G. Lakemeyer,
H. Levesque,
2009,
IJCAI.
Hector J. Levesque,
Giuseppe De Giacomo,
Sebastian Sardiña,
2009,
Multi-Agent Programming, Languages, Tools and Applications.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2008,
Handbook of Knowledge Representation.
Daniel Marcu,
Hector J. Levesque,
Fangzhen Lin,
2007
.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2005,
IJCAI.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2004,
KR.
Hector J. Levesque,
Richard B. Scherl,
R. Scherl,
2003,
Artif. Intell..
Hector J. Levesque,
Yves Lespérance,
Steven Shapiro,
2002,
AAMAS '02.
Hector J. Levesque,
Giuseppe De Giacomo,
Sebastian Sardiña,
2001,
ACM Trans. Comput. Log..
Hector J. Levesque,
Koen V. Hindriks,
Yves Lespérance,
2000,
ECAI.
Hector J. Levesque,
Giuseppe De Giacomo,
Yves Lespérance,
2000,
Artif. Intell..
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2000,
Intellectics and Computational Logic.
Hector J. Levesque,
Giuseppe De Giacomo,
H. Levesque,
1999,
IJCAI.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
1999,
IJCAI.
Joseph Y. Halpern,
F. Bacchus,
H. Levesque,
1999,
Artif. Intell..
Hector J. Levesque,
Raymond Reiter,
Yves Lespérance,
1999
.
Hector J. Levesque,
Giuseppe De Giacomo,
H. Levesque,
1999
.
Hector J. Levesque,
Yves Lespérance,
Steven Shapiro,
1997,
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.
Daniel Marcu,
Hector J. Levesque,
Michael R. M. Jenkin,
1997,
Australian Joint Conference on Artificial Intelligence.
Hector J. Levesque,
Giuseppe De Giacomo,
Yves Lespérance,
1997,
IJCAI.
Hector J. Levesque,
Yves Lespérance,
Shane J. Ruman,
1996,
PRICAI Workshop on Intelligent Agent Systems.
Hector J. Levesque,
Fangzhen Lin,
Raymond Reiter,
1996
.
Hector J. Levesque,
Joseph Y. Halpern,
Fahiem Bacchus,
1995,
Artif. Intell..
Daniel Marcu,
Hector J. Levesque,
Fangzhen Lin,
1995,
ATAL.
Hector J. Levesque,
Yves Lespérance,
H. Levesque,
1995,
Artif. Intell..
Hector J. Levesque,
Richard B. Scherl,
Yves Lesp,
1995
.
Hector J. Levesque,
H. Levesque,
1994,
TARK.
Daniel Marcu,
Hector J. Levesque,
Fangzhen Lin,
1994
.
H. Levesque,
R. Brachman,
2021,
AAAI.
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
2004
.
Hector J. Levesque,
H. Levesque,
1986,
Artif. Intell..
Hector J. Levesque,
Sheila A. McIlraith,
Toryn Q. Klassen,
2018,
KR.
H. Levesque,
1999
.
Hector J. Levesque,
H. Levesque,
1990,
Artif. Intell..
Hector J. Levesque,
H. Levesque,
2005,
IJCAI.
Yuxiao Hu,
Hector J. Levesque,
H. Levesque,
2010,
IJCAI.
Hector J. Levesque,
Yves Lesprance,
H. Levesque,
1994
.
Hector J. Levesque,
Giuseppe De Giacomo,
Sebastian Sardiña,
2004,
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
H. Levesque,
R. Brachman,
2022
.
Hector J. Levesque,
H. Levesque,
1988,
J. Philos. Log..
Hector J. Levesque,
Giuseppe De Giacomo,
Sebastian Sardiña,
2006,
KR.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2015,
IJCAI.
Hector J. Levesque,
Philip R. Cohen,
Ira A. Smith,
2018,
Encyclopedia of Social Network Analysis and Mining. 2nd Ed..
Hector J. Levesque,
Philip R. Cohen,
Sanjeev Kumar,
2000,
AAAI/IAAI.
Hector J. Levesque,
Philip R. Cohen,
Sanjeev Kumar,
2000,
Proceedings Fourth International Conference on MultiAgent Systems.
Hector J. Levesque,
Philip R. Cohen,
H. Levesque,
1994,
Speech Communication.
Hector J. Levesque,
Philip R. Cohen,
H. Levesque,
1985,
ACL.
Hector J. Levesque,
John Mylopoulos,
H. Levesque,
1983,
On Conceptual Modelling.
Hector J. Levesque,
Philip R. Cohen,
H. Levesque,
2003
.
Hector J. Levesque,
Philip R. Cohen,
H. Levesque,
1991,
IJCAI.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2016,
Stud Logica.
Gerhard Lakemeyer,
Hector J. Levesque,
Vaishak Belle,
2016,
AAAI.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2014,
AAMAS.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2013,
UAI.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2000
.
Hector J. Levesque,
H. Levesque,
1987
.
Hector J. Levesque,
Ronald J. Brachman,
Victoria P. Gilbert,
1985,
IJCAI.
Hector J. Levesque,
Ronald J. Brachman,
Richard Fikes,
1983,
AAAI.
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
1982,
AAAI.
H. Levesque,
M. Pagnucco,
2000
.
Hector J. Levesque,
Sheila A. McIlraith,
Toryn Q. Klassen,
2020,
KR.
Hector J. Levesque,
H. Levesque,
1989
.
Hector J. Levesque,
H. Levesque,
1984,
Artif. Intell..
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2012,
KR.
Hector J. Levesque,
H. Levesque,
1982,
On Conceptual Modelling.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2014,
AAAI.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2020,
KR.
Hector J. Levesque,
David G. Mitchell,
Bart Selman,
1996,
Artif. Intell..
Hector J. Levesque,
Stavros Vassos,
H. Levesque,
2007,
IJCAI.
Hector J. Levesque,
Ronald P. A. Petrick,
H. Levesque,
2002,
KR.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2014,
KR.
Hector J. Levesque,
Ronald P. A. Petrick,
H. Levesque,
2002
.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2013,
IJCAI.
Hector J. Levesque,
William J. Rapaport,
Jim Des Rivieres,
1988
.
Hector J. Levesque,
H. Levesque,
1981,
Workshop on Data Abstraction, Databases and Conceptual Modelling.
Hector J. Levesque,
Stavros Vassos,
H. Levesque,
2008,
AAAI.
Hector J. Levesque,
Yongmei Liu,
H. Levesque,
2005,
IJCAI.
Hector J. Levesque,
Vaishak Belle,
H. Levesque,
2016,
KR.
Hector J. Levesque,
H. Levesque,
1988,
Theoretical Aspects of Rationality and Knowledge.
Hector J. Levesque,
H. Levesque,
1991,
Artificial and Mathematical Theory of Computation.
Hector J. Levesque,
Yves Lespérance,
Shane J. Ruman,
1997,
International Conference on Autonomous Agents.
Hector J. Levesque,
H. Levesque,
1998,
International Conference on Principles of Knowledge Representation and Reasoning.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2006,
Correct Reasoning.
Hector J. Levesque,
Philip R. Cohen,
H. Levesque,
1990,
ACL.
Hector J. Levesque,
Michael Thielscher,
Maurice Pagnucco,
2014,
KR.
Hector J. Levesque,
Philip R. Cohen,
H. Levesque,
1997,
ICMAS.
Hector J. Levesque,
H. Levesque,
1989,
IJCAI.
Hector J. Levesque,
Yves Lespérance,
Hojjat Ghaderi,
2007,
AAMAS '07.
H. Levesque,
Vaishak Belle,
2016,
International Conference on Principles of Knowledge Representation and Reasoning.
H. Levesque,
B. Selman,
1990,
AAAI.
Hector J. Levesque,
Ronald J. Brachman,
H. Levesque,
1986,
On Knowledge Base Management Systems.
Y. Lesperance,
S. Shapiro,
H. J. Levesque,
2007,
J. Log. Comput..
H. Levesque,
Vaishak Belle,
2015,
Studia Logica.
Philip R. Cohen,
H. Levesque,
1987,
AAAI.
Hector J. Levesque,
Bart Selman,
H. Levesque,
1989,
IJCAI.
Hector J. Levesque,
Raymond Reiter,
Ronald J. Brachman,
1992
.
Joseph Y. Halpern,
F. Bacchus,
H. Levesque,
2022
.
Hector J. Levesque,
James P. Delgrande,
H. Levesque,
2018,
Stud Logica.
Hector J. Levesque,
James P. Delgrande,
H. Levesque,
2012,
KR.
G. Lakemeyer,
H. Levesque,
2008,
Handbook of Knowledge Representation.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2016,
KR.
Hector J. Levesque,
Sheila A. McIlraith,
Toryn Q. Klassen,
2015,
AAAI Spring Symposia.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2014,
KR.
Gerhard Lakemeyer,
Hector J. Levesque,
Yongmei Liu,
2004,
KR.
Kazuhiko Kawamura,
Will N. Browne,
G. Lakemeyer,
2022
.
Hector J. Levesque,
Yves Lespérance,
Steven Shapiro,
2005,
IJCAI.
H. Levesque,
2022
.
H. Levesque,
R. Brachman,
Raymond Reiter,
1991
.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2006,
AAAI.
Gerhard Lakemeyer,
Hector J. Levesque,
G. Lakemeyer,
2005,
AAAI.
Hector J. Levesque,
H. Levesque,
2012
.
Hector J. Levesque,
David G. Mitchell,
H. Levesque,
1996,
Artif. Intell..
John Mylopoulos,
John Mylopoulos,
H. Levesque,
1983,
On Conceptual Modelling.
H. Levesque,
R. Brachman,
2004
.