Cargando…

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores Corporativos:	International Business Machines Corporation, American Association for Artificial Intelligence, United States. Office of Naval Research, Association for Computing Machinery
Otros Autores:	Halpern, Joseph Y., 1953-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Los Altos, Calif. : M. Kaufmann Publishers, �1986.
Temas:	Artificial intelligence > Congresses. Knowledge, Theory of > Congresses. Logic, Symbolic and mathematical > Congresses. Reasoning > Congresses. Intelligence artificielle > Congr�es. Th�eorie de la connaissance > Congr�es. Logique symbolique et math�ematique > Congr�es. Raisonnement > Congr�es. COMPUTERS > General. Artificial intelligence Knowledge, Theory of Logic, Symbolic and mathematical Reasoning Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congr�es.
Acceso en línea:	Texto completo

Ejemplares similares

Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence /
Publicado: (1988)

Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994) /
Publicado: (1994)

The Frame problem in artificial intelligence : proceedings of the 1987 workshop, April 12-15, 1987, Lawrence, Kansas /
Publicado: (1987)

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 /
Publicado: (1982)

The axiomatic method /
Publicado: (1959)

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
Publicado: (1973)

Pattern recognition in practice IV : multiple paradigms, comparative studies, and hybrid systems : proceedings of an international workshop held on Vlieland, the Netherlands, 1-3 June 1994 /
Publicado: (1994)

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. /
Publicado: (1970)

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Publicado: (1986)

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Publicado: (1967)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Publicado: (1984)

The theory of models proceedings.
Publicado: (1965)

Artificial intelligence V : methodology, systems, applications : proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92) Sofia, Bulgaria, 21-24 September, 1992 /
Publicado: (1992)

Formal systems and recursive functions /
Publicado: (1965)

Artificial intelligence planning systems : proceedings of the first international conference, June 15-17, 1992, College Park, Maryland /
Publicado: (1992)

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Publicado: (1973)

Artificial intelligence in real-time control 1992 : selected papers from the IFAC/IFIP/IMACS symposium, Delft, the Netherlands, 16-18 June 1992 /
Publicado: (1993)

Innovation for energy efficiency : proceedings of the European conference, Newcastle upon Tyne, UK, 15-17 September 1987 /
Publicado: (1988)

Artificial intelligence IV : methodology, systems, applications : proceedings of the Fourth International Conference on Artificial Intelligence--Methodology, Systems, Applications (AIMSA '90) Albena, Bulgaria, 19-22 September, 1990 /
Publicado: (1990)

Economics and cognitive science /
Publicado: (1992)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Publicado: (1982)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Publicado: (1968)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Publicado: (1970)

Modern information processing : from theory to applications /
Publicado: (2006)

Reasoning about actions and plans : proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon /
Publicado: (1987)

Logic, methodology and philosophy of science : proceedings of the 1960 international congress /
Publicado: (1966)

Contributions to non-standard analysis
Publicado: (1972)

Systems and human science, for safety, security, and dependability : seleced papers of the 1st International Symposium SSR2003, Osaka, Japan, November 2003 /
Publicado: (2005)

Molecular sieves : from basic research to industrial applications : proceedings of the 3rd International Zeolite Symposium (3rd FEZA), Prague, Czech Republic, August 23-26, 2005 /
Publicado: (2005)

Learning and study strategies : issues in assessment, instruction, and evaluation /
Publicado: (1988)

Biomaterials, organic and intelligent materials : proceedings of the Symposia N: biomaterials, O: catalytic materials, Q: ordered polymers, R: photo- and electro-responsive materials, T: biosensors, EE: construction and functions of organic thin films, FF: intelligent materials of the 3rd IUMRS International Conference on Advanced Materials, Sunshine City, Ikebukura, Tokyo, Japan, August 31 - September 4, 1993 /
Publicado: (1994)

Hypersaline brines and evaporitic environments : proceedings of the Bat Sheva Seminar on Saline Lakes and Natural Brines /
Publicado: (1980)

Nutrition in the lower Metazoa : proceedings of a meeting held at the University of Caen, France, 11-13 September 1979 /
Publicado: (1980)

Machine learning : proceedings of the Eighth International Workshop (ML91) /
Publicado: (1991)

33rd European Symposium on Computer Aided Process Engineering : ESCAPE-33 /
Publicado: (2023)

Human settlements and energy : an account of the Seminar on the Impact of Energy Considerations on the Planning and Development of Human Settlements, Ottawa, Canada, 3-14 October 1977 /
Publicado: (1978)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987)

Biohydrometallurgy and the environment toward the mining of the 21st century : proceedings of the International Biohydrometallurgy Symposium, IBS'99, held in San Lorenzo de El Escorial, Madrid, Spain, June 20-23, 1999 /
Publicado: (1999)

Information control problems in manufacturing technology 1992 : selected papers from the 7th IFAC/IFIP/IFORS/IMACS/ISPE symposium, Toronto, Ontario, Canada, 25-28 May 1992 /
Publicado: (1993)

Metallurgical coatings and thin films, 1991 : proceedings of the 18th International Conference on Metallurgical Coatings and Thin Films, San Diego, CA, U.S.A., April 22-26, 1991.
Publicado: (1991)

Cannot write session to /tmp/vufind_sessions/sess_5bcf6ve14em6sobrs9367jbg8u