Imagen de Portada

Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings /

Guardado en:

Autor Corporativo:	European Workshop JELIA'98 Dagstuhl, Germany)
Otros Autores:	Dix, J. 1961-, Fariñas del Cerro, Luis., Furbach, Ulrich.
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer, c1998.
Series:	Lecture notes in computer science ; 1489. Lecture notes in computer science. Lecture notes in artificial intelligence.
Materias:	Artificial intelligence > Congresses. Logic, Symbolic and mathematical > Congresses.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Progress in artificial intelligence : IBERAMIA 98 : 6th Ibero-American Conference on AI, Lisbon, Portugual, October 5-9, 1998, proceedings /
Publicado: (1998)

Artificial intelligence and its applications /
Publicado: (1986)

ECAI 98 Brighton : 13th European Conference on Artificial Intelligence, August 23-28, 1998, Brighton, UK : proceedings /
Publicado: (1998)

Progresso em inteligência artificial : actas do 6o. Congresso Iberoamericano : IBERAMIA '98, Lisboa, Portugal, 6 a 9 de Outubro, 1998 = Progress in artificial intelligence : proceedings of the 6th Iberoamerican Conference /
Publicado: (1998)

Logic-based artificial intelligence /
Publicado: (2000)

Handbook of logic in artificial intelligence and logic programming /
Publicado: (1993)

Intelligent planning : a decomposition and abstraction based approach /
por: Yang, Qiang, 1961-
Publicado: (1997)

Symbolic and quantitative approaches to reasoning with uncertainty : 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31-November 2, 2007 : proceedings /
Publicado: (2007)

Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings /
Publicado: (2001)

Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /
Publicado: (2005)

Computational intelligence, I : proceedings of the International Conference "Computational Intelligence 88", Milan, Italy, 26-30 September 1988 /
Publicado: (1989)

Logic, action, and information : essays on logic in philosophy and artificial intelligence /
Publicado: (1996)

Computational models of argument : Proceeding of COMMA 2008 /
por: Besnard, Philippe, 1958.
Publicado: (2008)

Computational models of argument : proceedings of COMMA 2006 /
Publicado: (2006)

Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings /
por: Fisher, Michael.
Publicado: (2006)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Publicado: (1980)

Proceedings of the IX Latin American Symposium on Mathematical Logic.
Publicado: (1993)

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings /
Publicado: (1993)

Inteligencia artificial
por: Henao, David.
Publicado: (2009)

Proceedings of the Conference "Algebra and Logic," Zagreb, 1984 /
Publicado: (1985)

Proceedings of the Conference "Algebra and Logic", Cetinje, 1986 /
Publicado: (1987)

Proceedings of the Conference "Algebra and Logic," Sarajevo 1987 /
Publicado: (1989)

Logic : a foundation for computer science /
por: Sperschneider, V.
Publicado: (1991)

Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings /
Publicado: (1996)

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Publicado: (1994)

Epistemic logic for AI and computer science /
por: Meyer, John-Jules Ch.
Publicado: (1995)

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

Proof and computation /
Publicado: (1995)

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 /
Publicado: (1977)

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
por: Dershowitz, Nachum.
Publicado: (2007)

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

Logical foundations of artificial intelligence /
por: Genesereth, Michael R., 1948-
Publicado: (1987)

Symbolic logic and mechanical theorem proving /
por: Chang, Chin-Liang, 1937-
Publicado: (1973)

Applied logic /
por: Hansen, Kaj Børge.
Publicado: (1996)

Temporal logic : from ancient ideas to artificial intelligence /
por: Øhrstrøm, Peter.
Publicado: (1995)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
por: Ésik, Zoltán.
Publicado: (2006)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
por: Duparc, Jacques.
Publicado: (2007)

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
por: Sutcliffe, Geoff.
Publicado: (2005)

La Ley de la Inteligencia Artificial.
por: López-Amo Sainz, Álvaro Pablo,
Publicado: (2024)

Meta-logics and logic programming /
Publicado: (1995)