Min-max Computation Tree Logic

, , &
Artificial Intelligence 127 (1):137-162 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(01)00059-5

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Game tree searching by min/max approximation.Ronald L. Rivest - 1987 - Artificial Intelligence 34 (1):77-96.
Review of The dynamics of judicial proof, computation, logic, and common sense, by M. MacCrimmon and P. Tillers (eds.), Physica-Verlag, Heidelberg, 2002. [REVIEW]Bart Reviewer-Verheij - 2003 - Artificial Intelligence and Law 11 (4):299-303.
Conspiracy numbers for min-max search.David Allen McAllester - 1988 - Artificial Intelligence 35 (3):287-310.
Kisor Kumar Chakrabarti.Change Time & Joseph Wayne Smith Contradiction - 1989 - International Philosophical Quarterly 29 (2).
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings.Jaques Calmet & Jochen Pfalzgraf - 1996 - Springer Verlag.
Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation.Peter Bosch, David Gabelaia & Jérôme Lang (eds.) - 2009 - Springer.
Effective logic computation, Klaus truemper.Lex Hendriks - 1999 - Journal of Logic, Language and Information 8 (4):481-484.
An variation for one souslin tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81-98.
Review of Classical Indian Philosophy of Mind: The Nyāya Dualist Tradition by Kisor Kumar Chakrabarti. [REVIEW]Roy W. Perrett - 2002 - Philosophy East and West 52 (1):145-149.
Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642.L. Beklemishev & R. de Queiroz (eds.) - 2011 - Springer.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,320,757)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references