Clausal resolution in a logic of rational agency

@article{Dixon2002ClausalRI,
  title={Clausal resolution in a logic of rational agency},
  author={Clare Dixon and Michael Fisher and Alexander Bolotov},
  journal={Artif. Intell.},
  year={2002},
  volume={139},
  pages={47-89}
}
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-9 OF 9 CITATIONS

Special issue on practical aspects of automated reasoning

VIEW 22 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A resolution calculus for the branching-time temporal logic CTL

  • ACM Trans. Comput. Log.
  • 2014
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Clausal reasoning for branching-time logics

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

First-order resolution for CTL Lan

VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

On and On the Temporal Way

VIEW 1 EXCERPT
CITES BACKGROUND

Time in Liverpool - an overview of temporal research in the logic and computation group

  • 12th International Symposium on Temporal Representation and Reasoning (TIME'05)
  • 2005
VIEW 1 EXCERPT
CITES METHODS

Una forma normal temporal independiente del método de deducción

  • Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial
  • 2004
VIEW 2 EXCERPTS
CITES BACKGROUND