×

Levesque, Hector J.

Author ID: levesque.hector-j Recent zbMATH articles by "Levesque, Hector J."
Published as: Levesque, Hector J.; Levesque, H. J.; Levesque, Hector; Levesque, H.
Documents Indexed: 45 Publications since 1983, including 2 Books
3 Contributions as Editor · 1 Further Contribution
Biographic References: 1 Publication
Co-Authors: 22 Co-Authors with 42 Joint Publications
443 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

42 Publications have been cited 568 times in 379 Documents Cited by Year
All I know: A study in autoepistemic logic. Zbl 0724.03019
Levesque, Hector J.
73
1990
Intention is choice with commitment. Zbl 0721.03017
Cohen, Philip R.; Levesque, Hector J.
70
1990
GOLOG: A logic programming language for dynamic domains. Zbl 0880.68008
Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
67
1997
Knowledge, action, and the frame problem. Zbl 1079.68625
Scherl, Richard B.; Levesque, Hector J.
41
2003
Foundations of a functional approach to knowledge representation. Zbl 0548.68090
Levesque, Hector J.
37
1984
Generating hard satisfiability problems. Zbl 1508.68347
Selman, Bart; Mitchell, David G.; Levesque, Hector J.
34
1996
Readings in knowledge representation. Zbl 0609.68007
31
1985
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
31
1999
Expressiveness and tractability in knowledge representation and reasoning. Zbl 1341.68228
Levesque, Hector J.; Brachman, Ronald J.
20
2011
ConGolog, a concurrent programming language based on the situation calculus. Zbl 0948.68175
De Giacomo, G.; Lespérance, Y.; Levesque, H. J.
17
2000
The logic of knowledge bases. Zbl 0998.68044
Levesque, Hector J.; Lakemeyer, Gerhard
13
2001
Iterated belief change in the situation calculus. Zbl 1216.68275
Shapiro, Steven; Pagnucco, Maurice; Lespérance, Yves; Levesque, Hector J.
12
2011
Associative networks. Representation and use of knowledge by computers. Zbl 0473.68088
11
1979
On the semantics of deliberation in IndiGolog – from theory to implementation. Zbl 1048.68100
Sardina, Sebastian; De Giacomo, Giuseppe; Lespérance, Yves; Levesque, Hector J.
10
2004
Ability and knowing how in the situation calculus. Zbl 0968.68151
Lespérance, Yves; Levesque, Hector J.; Lin, Fangzhen; Scherl, Richard B.
10
2000
A semantic characterization of a useful fragment of the situation calculus with knowledge. Zbl 1216.68269
Lakemeyer, Gerhard; Levesque, Hector J.
8
2011
An incremental interpreter for high-level programs with sensing. Zbl 0944.68170
De Giacomo, Giuseppe; Levesque, Hector J.
7
1999
A semantical account of progression in the presence of defaults. Zbl 1248.68477
Lakemeyer, Gerhard; Levesque, Hector J.
7
2009
A knowledge-level account of abduction (preliminary version). Zbl 0713.68059
Levesque, Hector J.
7
1989
The tractability of path-based inheritance. Zbl 0714.68094
Selman, Bart; Levesque, Hector J.
7
1989
A tractable knowledge representation service with full introspection. Zbl 0725.68101
Lakemeyer, Gerhard; Levesque, Hector J.
6
1988
Robot location estimation in the situation calculus. Zbl 1388.68274
Belle, Vaishak; Levesque, Hector J.
6
2015
Support set selection for abductive and default reasoning. Zbl 1506.68144
Selman, Bart; Levesque, Hector J.
6
1996
The cognitive agents specification language and verification environment. Zbl 1201.68127
Shapiro, S.; Lespérance, Y.; Levesque, H. J.
5
2010
The complexity of path-based defeasible inheritance. Zbl 0779.68080
Selman, Bart; Levesque, Hector J.
5
1993
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Zbl 1451.68254
Belle, Vaishak; Levesque, Hector J.
5
2018
What robots can do: robot programs and effective achievability. Zbl 0909.68176
Lin, Fangzhen; Levesque, Hector J.
4
1998
Some pitfalls for experimenters with random SAT. Zbl 1508.68340
Mitchell, David G.; Levesque, Hector J.
4
1996
How to progress a database. III. Zbl 1270.68291
Vassos, Stavros; Levesque, Hector J.
3
2013
Goal change in the situation calculus. Zbl 1132.68054
Shapiro, Steven; Lespérance, Yves; Levesque, Hector J.
3
2007
A logical theory of coordination and joint ability. Zbl 1341.68283
Ghaderi, Hojjat; Levesque, Hector J.; Lespérance, Yves
3
2011
A situation calculus approach to modeling and programming agents. Zbl 0968.68152
Lespérance, Y.; Levesque, H. J.; Reiter, R.
2
1999
Querying AOL knowledge bases. Preliminary report. Zbl 1008.68127
Lakemeyer, Gerhard; Levesque, Hector J.
2
2000
A logical theory of localization. Zbl 1371.03040
Belle, Vaishak; Levesque, Hector J.
2
2016
Indexical knowledge and robot action – a logical account. Zbl 1507.68308
Lespérance, Yves; Levesque, Hector J.
2
1995
Regression and progression in stochastic domains. Zbl 1435.68311
Belle, Vaishak; Levesque, Hector J.
2
2020
Proceedings of the first international conference on principles of knowledge representation and reasoning (KR ’89), held in Toronto, Ontario, Canada, May 15-18, 1989. Zbl 0699.00013
1
1989
Two approaches to efficient open-world reasoning. Zbl 0979.68097
De Giacomo, Giuseppe; Levesque, Hector
1
2000
An overview of knowledge representation. Zbl 0551.68077
Mylopoulos, John; Levesque, Hector
1
1983
Common sense, the Turing test, and the quest for real AI. Zbl 1364.68002
Levesque, Hector J.
1
2017
On our best behaviour. Zbl 1405.68274
Levesque, Hector J.
1
2014
Incorporating action models into the situation calculus. Zbl 1344.03018
Liu, Yongmei; Levesque, Hector J.
1
2014
Regression and progression in stochastic domains. Zbl 1435.68311
Belle, Vaishak; Levesque, Hector J.
2
2020
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Zbl 1451.68254
Belle, Vaishak; Levesque, Hector J.
5
2018
Common sense, the Turing test, and the quest for real AI. Zbl 1364.68002
Levesque, Hector J.
1
2017
A logical theory of localization. Zbl 1371.03040
Belle, Vaishak; Levesque, Hector J.
2
2016
Robot location estimation in the situation calculus. Zbl 1388.68274
Belle, Vaishak; Levesque, Hector J.
6
2015
On our best behaviour. Zbl 1405.68274
Levesque, Hector J.
1
2014
Incorporating action models into the situation calculus. Zbl 1344.03018
Liu, Yongmei; Levesque, Hector J.
1
2014
How to progress a database. III. Zbl 1270.68291
Vassos, Stavros; Levesque, Hector J.
3
2013
Expressiveness and tractability in knowledge representation and reasoning. Zbl 1341.68228
Levesque, Hector J.; Brachman, Ronald J.
20
2011
Iterated belief change in the situation calculus. Zbl 1216.68275
Shapiro, Steven; Pagnucco, Maurice; Lespérance, Yves; Levesque, Hector J.
12
2011
A semantic characterization of a useful fragment of the situation calculus with knowledge. Zbl 1216.68269
Lakemeyer, Gerhard; Levesque, Hector J.
8
2011
A logical theory of coordination and joint ability. Zbl 1341.68283
Ghaderi, Hojjat; Levesque, Hector J.; Lespérance, Yves
3
2011
The cognitive agents specification language and verification environment. Zbl 1201.68127
Shapiro, S.; Lespérance, Y.; Levesque, H. J.
5
2010
A semantical account of progression in the presence of defaults. Zbl 1248.68477
Lakemeyer, Gerhard; Levesque, Hector J.
7
2009
Goal change in the situation calculus. Zbl 1132.68054
Shapiro, Steven; Lespérance, Yves; Levesque, Hector J.
3
2007
On the semantics of deliberation in IndiGolog – from theory to implementation. Zbl 1048.68100
Sardina, Sebastian; De Giacomo, Giuseppe; Lespérance, Yves; Levesque, Hector J.
10
2004
Knowledge, action, and the frame problem. Zbl 1079.68625
Scherl, Richard B.; Levesque, Hector J.
41
2003
The logic of knowledge bases. Zbl 0998.68044
Levesque, Hector J.; Lakemeyer, Gerhard
13
2001
ConGolog, a concurrent programming language based on the situation calculus. Zbl 0948.68175
De Giacomo, G.; Lespérance, Y.; Levesque, H. J.
17
2000
Ability and knowing how in the situation calculus. Zbl 0968.68151
Lespérance, Yves; Levesque, Hector J.; Lin, Fangzhen; Scherl, Richard B.
10
2000
Querying AOL knowledge bases. Preliminary report. Zbl 1008.68127
Lakemeyer, Gerhard; Levesque, Hector J.
2
2000
Two approaches to efficient open-world reasoning. Zbl 0979.68097
De Giacomo, Giuseppe; Levesque, Hector
1
2000
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
31
1999
An incremental interpreter for high-level programs with sensing. Zbl 0944.68170
De Giacomo, Giuseppe; Levesque, Hector J.
7
1999
A situation calculus approach to modeling and programming agents. Zbl 0968.68152
Lespérance, Y.; Levesque, H. J.; Reiter, R.
2
1999
What robots can do: robot programs and effective achievability. Zbl 0909.68176
Lin, Fangzhen; Levesque, Hector J.
4
1998
GOLOG: A logic programming language for dynamic domains. Zbl 0880.68008
Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
67
1997
Generating hard satisfiability problems. Zbl 1508.68347
Selman, Bart; Mitchell, David G.; Levesque, Hector J.
34
1996
Support set selection for abductive and default reasoning. Zbl 1506.68144
Selman, Bart; Levesque, Hector J.
6
1996
Some pitfalls for experimenters with random SAT. Zbl 1508.68340
Mitchell, David G.; Levesque, Hector J.
4
1996
Indexical knowledge and robot action – a logical account. Zbl 1507.68308
Lespérance, Yves; Levesque, Hector J.
2
1995
The complexity of path-based defeasible inheritance. Zbl 0779.68080
Selman, Bart; Levesque, Hector J.
5
1993
All I know: A study in autoepistemic logic. Zbl 0724.03019
Levesque, Hector J.
73
1990
Intention is choice with commitment. Zbl 0721.03017
Cohen, Philip R.; Levesque, Hector J.
70
1990
A knowledge-level account of abduction (preliminary version). Zbl 0713.68059
Levesque, Hector J.
7
1989
The tractability of path-based inheritance. Zbl 0714.68094
Selman, Bart; Levesque, Hector J.
7
1989
Proceedings of the first international conference on principles of knowledge representation and reasoning (KR ’89), held in Toronto, Ontario, Canada, May 15-18, 1989. Zbl 0699.00013
1
1989
A tractable knowledge representation service with full introspection. Zbl 0725.68101
Lakemeyer, Gerhard; Levesque, Hector J.
6
1988
Readings in knowledge representation. Zbl 0609.68007
31
1985
Foundations of a functional approach to knowledge representation. Zbl 0548.68090
Levesque, Hector J.
37
1984
An overview of knowledge representation. Zbl 0551.68077
Mylopoulos, John; Levesque, Hector
1
1983
Associative networks. Representation and use of knowledge by computers. Zbl 0473.68088
11
1979
all top 5

Cited by 539 Authors

18 Levesque, Hector J.
12 Lakemeyer, Gerhard
10 Herzig, Andreas
9 Belle, Vaishak
8 De Giacomo, Giuseppe
8 Delgrande, James P.
8 Lorini, Emiliano
8 Meyer, John-Jules Charles
7 Dastani, Mehdi M.
7 van der Hoek, Wiebe
5 Boutilier, Craig
5 Halpern, Joseph Yehuda
5 Kraus, Sarit
5 Lespérance, Yves
5 McIlraith, Sheila A.
5 Patrizi, Fabio
4 Baader, Franz
4 Bonatti, Piero Andrea
4 Cadoli, Marco
4 Denecker, Marc
4 Donini, Francesco M.
4 Koubarakis, Manolis
4 Lang, Jérôme
4 Lin, Fangzhen
4 Schaerf, Marco
4 Schockaert, Steven
4 Truszczyński, Mirosław
4 Wooldridge, Michael J.
3 Amir, Eyal
3 Bogaerts, Bart
3 Bonanno, Giacomo
3 de Boer, Frank S.
3 De Cock, Martine
3 Dovier, Agostino
3 Eiter, Thomas
3 Fan, Xiaocong
3 Fariñas del Cerro, Luis
3 Hindriks, Koen V.
3 Lenzerini, Maurizio
3 Logan, Brian
3 Lukasiewicz, Thomas
3 Morgenstern, Leora
3 Perlis, Donald R.
3 Pontelli, Enrico
3 Shoham, Yoav
3 Su, Ezgi Iraz
3 van der Torre, Leendert W. N.
3 van Ditmarsch, Hans Pieter
3 Vennekens, Joost
3 Yen, John
2 Achlioptas, Dimitris
2 Alechina, Natasha
2 Artikis, Alexander
2 Aucher, Guillaume
2 Baier, Jorge A.
2 Baral, Chitta R.
2 Bhatt, Mehul
2 Blondeel, Marjon
2 Brafman, Ronen I.
2 Broersen, Jan M.
2 Campo, Marcelo R.
2 Carlucci Aiello, Luigia
2 Chen, Jianhua
2 Davis, Ernest
2 de Lima, Tiago
2 del Val, Alvaro
2 Demolombe, Robert
2 Dix, Jurgen
2 Dubois, Didier
2 Dunne, Paul E.
2 Eppe, Manfred
2 Fisher, Michael
2 Fleming, Noah
2 Formisano, Andrea
2 Fromherz, Markus P. J.
2 Gabaldon, Alfredo
2 Godo, Lluís
2 Grant, John R.
2 Hunter, Anthony
2 Inoue, Katsumi
2 Jamroga, Wojciech
2 Kelly, Ryan F.
2 Kooi, Barteld Pieter
2 Leitgeb, Hannes
2 Liu, Tian
2 Marquis, Pierre
2 Marra, Alessandra
2 Martelli, Alberto
2 Massacci, Fabio
2 Mitchell, David G. M.
2 Moses, Yoram
2 Nardi, Daniele
2 Pacuit, Eric
2 Pagnucco, Maurice
2 Paliouras, Georgios
2 Pass, Rafael
2 Pearce, Adrian R.
2 Peppas, Pavlos
2 Phan Minh Dung
2 Pinto, Javier A.
...and 439 more Authors
all top 5

Cited in 54 Serials

132 Artificial Intelligence
25 Annals of Mathematics and Artificial Intelligence
15 Journal of Applied Non-Classical Logics
14 Synthese
13 Journal of Applied Logic
12 International Journal of Approximate Reasoning
10 Studia Logica
10 Theoretical Computer Science
8 Journal of Philosophical Logic
7 Theory and Practice of Logic Programming
6 Computers & Mathematics with Applications
5 Discrete Applied Mathematics
4 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
3 European Journal of Operational Research
3 Journal of Logic, Language and Information
2 Fuzzy Sets and Systems
2 New Generation Computing
2 Information and Computation
2 International Journal of Intelligent Systems
2 Applicable Algebra in Engineering, Communication and Computing
2 Cybernetics and Systems Analysis
2 Journal of Combinatorial Optimization
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 The Journal of Logic and Algebraic Programming
2 Computer Languages, Systems & Structures
2 ACM Transactions on Computational Logic
2 Logica Universalis
2 Frontiers of Computer Science
1 International Journal of General Systems
1 Journal of Mathematical Analysis and Applications
1 Information Sciences
1 Journal of Computer and System Sciences
1 Theory and Decision
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Computers & Operations Research
1 Neural Networks
1 Machine Learning
1 Artificial Intelligence Review
1 Games and Economic Behavior
1 The Journal of Artificial Intelligence Research (JAIR)
1 International Transactions in Operational Research
1 Constraints
1 Topoi
1 Journal of the ACM
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Fundamenta Informaticae
1 Logic and Logical Philosophy
1 Computational Intelligence
1 Journal of Algebra and its Applications
1 ACM Journal of Experimental Algorithmics
1 Journal of Discrete Algorithms
1 The Review of Symbolic Logic
1 Science China. Information Sciences

Citations by Year