Hector J. Levesque

Available identifiers

zbMath Open levesque.hector-jMaRDI QIDQ310091

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6122850	2024-03-01	Paper
Generating hard satisfiability problems	2022-09-22	Paper
Some pitfalls for experimenters with random SAT	2022-09-22	Paper
Support set selection for abductive and default reasoning	2022-09-22	Paper
Indexical knowledge and robot action -- a logical account	2022-09-21	Paper
Regression and progression in stochastic domains	2020-03-04	Paper
An epistemic approach to nondeterminism: believing in the simplest course of events	2019-11-29	Paper
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems	2019-01-18	Paper
Incremental execution of guarded theories	2017-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2967800	2017-03-02	Paper
A logical theory of localization	2016-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q5740435	2016-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q5740443	2016-07-26	Paper
Robot location estimation in the situation calculus	2015-12-23	Paper
Incorporating Action Models into the Situation Calculus	2015-05-11	Paper
On our best behaviour	2014-06-10	Paper
How to progress a database. III	2013-08-26	Paper
The Truth about Defaults	2012-07-23	Paper
A semantic characterization of a useful fragment of the situation calculus with knowledge	2011-06-17	Paper
Iterated belief change in the situation calculus	2011-06-17	Paper
The Cognitive Agents Specification Language and Verification Environment	2010-11-11	Paper
A Semantical Account of Progression in the Presence of Defaults	2009-07-09	Paper
Goal Change in the Situation Calculus	2007-12-10	Paper
Knowledge, action, and the frame problem	2006-02-07	Paper
On the semantics of deliberation in IndiGolog -- from theory to implementation	2004-08-10	Paper
Reasoning about noisy sensors and effectors in the situation calculus	2002-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4530467	2002-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q2734931	2002-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q2756788	2001-11-19	Paper
Ability and knowing how in the situation calculus	2001-02-11	Paper
ConGolog, a concurrent programming language based on the situation calculus	2000-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4934644	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4252264	1999-09-23	Paper
What robots can do: robot programs and effective achievability	1999-01-12	Paper
GOLOG: A logic programming language for dynamic domains	1997-10-23	Paper
The complexity of path-based defeasible inheritance	1994-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4016554	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4013791	1992-09-27	Paper
All I know: A study in autoepistemic logic	1990-01-01	Paper
Intention is choice with commitment	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3198885	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3200595	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5203716	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5203721	1988-01-01	Paper
Foundations of a functional approach to knowledge representation	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343472	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hector J. Levesque