| Publication | Date of Publication | Type |
|---|
| OSCAR | 2023-04-28 | Paper |
How do you Maximize Expectation Value?
Nôus | 2017-07-14 | Paper |
A Solution to the Problem of Induction
Nôus | 2017-07-14 | Paper |
Reasoning about Change and Persistence: A Solution to the Frame Problem
Nôus | 2017-07-14 | Paper |
Reasoning defeasibly about probabilities
Synthese | 2012-04-05 | Paper |
Plans and decisions
Theory and Decision | 2006-01-30 | Paper |
Causal probability
Synthese | 2003-04-27 | Paper |
Defeasible reasoning with variable degrees of justification
Artificial Intelligence | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1629864 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1629866 (Why is no real title available?) | 2001-10-23 | Paper |
OSCAR
Journal of Applied Non-Classical Logics | 2001-05-17 | Paper |
Belief revision and epistemology
Synthese | 2000-12-26 | Paper |
| scientific article; zbMATH DE number 1305377 (Why is no real title available?) | 1999-11-29 | Paper |
The logical foundations of goal-regression planning in autonomous agents
Artificial Intelligence | 1999-03-02 | Paper |
Justification and defeat
Artificial Intelligence | 1994-07-04 | Paper |
How to reason defeasibly
Artificial Intelligence | 1993-01-17 | Paper |
The theory of nomic probability
Synthese | 1992-06-28 | Paper |
Interest driven suppositional reasoning
Journal of Automated Reasoning | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4164854 (Why is no real title available?) | 1988-01-01 | Paper |
Foundations for direct inference
Theory and Decision | 1984-01-01 | Paper |
A theory of direct inference
Theory and Decision | 1983-01-01 | Paper |
A refined theory of counterfactuals
Journal of Philosophical Logic | 1981-01-01 | Paper |
The Tracking Problem for Distributed Systems with Unbounded Control Action
IMA Journal of Applied Mathematics | 1980-01-01 | Paper |
The Infinite Time Quadratic Cost Control Problem for Distributed Systems with Unbounded Control Action
IMA Journal of Applied Mathematics | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3537647 (Why is no real title available?) | 1976-01-01 | Paper |
Subjunctive generalizations
Synthese | 1974-01-01 | Paper |
Henkin style completeness proofs in theories lacking negation
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3366925 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3266578 (Why is no real title available?) | 1967-01-01 | Paper |
Basic modal logic
Journal of Symbolic Logic | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3247142 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3304918 (Why is no real title available?) | 1966-01-01 | Paper |
