Imagen de Portada

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /

Guardado en:

Autor Corporativo:	LPNMR '97 Dagstuhl, Wadern, Germany)
Otros Autores:	Dix, J. 1961-, Fuhrbach, Ulrich., Nerode, Anil, 1932-
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer, c1997.
Series:	Lecture notes in computer science ; 1265. Lecture notes in computer science. Lecture notes in artificial intelligence.
Materias:	Logic programming > Congresses. Nonmonotonic reasoning > Congresses.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings /
Publicado: (2007)

Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings /
Publicado: (2005)

Nonmonotonic reasoning : an overview /
por: Brewka, Gerhard.
Publicado: (1997)

Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers /
Publicado: (1997)

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents /
por: Kern-Isberner, Gabriele, 1956-
Publicado: (2001)

Nonmonotonic logic : context-dependent reasoning /
por: Marek, V. W. 1943- )
Publicado: (1993)

Non-monotonic reasoning and partial semantics /
Publicado: (1992)

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning /
por: Levi, Isaac, 1930-
Publicado: (1996)

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

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Publicado: (1994)

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Publicado: (1996)

Logic programming : proceedings of the 1990 North American conference /
Publicado: (1990)

1987 Symposium on Logic Programming : proceedings, August 31-September 4, 1987, Hyatt on Union square, San Francisco, California /
Publicado: (1987)

Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings /
Publicado: (2004)

Logic programming : proceedings of the 1991 international symposium /
Publicado: (1991)

Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings /
Publicado: (1993)

Principles of knowledge representation and reasoning : proceedings of the fourth international conference (KR'94), Bonn, Germany, May 24-27, 1994 /
Publicado: (1994)

Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers /
Publicado: (1998)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /
por: Baral, Chitta.
Publicado: (2005)

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
por: Baral, Chitta.
Publicado: (2007)

Logic programming : proceedings of the ... international conference.
Publicado: (1987)

The phenomenon of commonsense reasoning : nonmonotonicity, action, and information /
por: Thanassas, Dimitrios, 1964-
Publicado: (1992)

Principles of knowledge representation and reasoning : proceedings of the ninth international conference (KR2004) /
Publicado: (2004)

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 : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /
Publicado: (2005)

Partiality, modality, and nonmonotonicity /
Publicado: (1996)

Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning /
Publicado: (2008)

Functional and logic programming : proceedings of the Second Fuji Interntational Workshop : Shonan Village Center, Japan, November 1-4, 1996 /
Publicado: (1997)

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

Automated practical reasoning : algebraic approaches /
Publicado: (1995)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Publicado: (1995)

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

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

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996)

Proof and computation /
Publicado: (1995)

Handbook of practical logic and automated reasoning /
por: Harrison, J. 1966-
Publicado: (2009)

Argumentation in multi-agent systems : 4th international workshop, ArgMAS 2007, Honolulu, Hawaii, May 15, 2007 : revised selected and invited papers /
Publicado: (2008)

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)

Argumentation in multi-agent systems : second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised selected and invited papers /
Publicado: (2006)