Switch to: Citations

References in:

Temporal equilibrium logic: a survey

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal

Journal of Applied Non-Classical Logics 23 (1-2):2-24 (2013)

Add references

You must login to add references.

Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.details No categories Export citation Bookmark 301 citations
The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.details Logic and Philosophy of Logic Direct download Export citation Bookmark 57 citations
Tense Logic and the Theory of Linear Order.Hans Kamp - 1968 - Dissertation, Ucladetails Temporal Expressions in Philosophy of Language Temporal Logic in Logic and Philosophy of Logic Export citation Bookmark 33 citations
Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.details The Frame Problem in Philosophy of Cognitive Science Direct download (4 more) Export citation Bookmark 343 citations

1