Cover Image

Logic programming and non-monotonic reasoning: proceedings of the first international workshop/

Corporate Author:	Association for Logic Programming
Other Authors:	Marek, Wiktor, Subrahmanian, V. S.
Format:	Book
Language:	English
Published:	Cambridge, Mass.: MIT Press, c1991
Subjects:	Logic programming > Congresses Reasoning > Congresses

Similar Items

Logic programming and non-monotonic reasoning : proceedings of the second international workshop /
Published: (1993)

Logic programming and nonmonotonic reasoning: 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings/
Published: (1999)

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

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 :proceedings /
Published: (1993)

Logic programming and automated reasoning : internationalconference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 :proceedings /
Published: (1992)

Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming /
Published: (1992)

Logic programming: proceedings of the 1996 joint international conference and symposium on logic programming/
Published: (1996)

Logic programming: proceedings of the eleventh International Conference on Logic Programming/
Published: (1994)

Logic programming: proceedings of the Joint International Conference and Symposium on Logic Programming/
Published: (1992)

Logic program synthesis and transformation : 6th InternationalWorkshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 :proceedings /
Published: (1997)

Algebraic and logic programming : international workshop, Gaussig,GDR, November 14-18, 1988 : proceedings /
Published: (1988)

Logic programming : proceedings of the 8th international conference /
Published: (1991)

Logic programming: proceedings of the eighth international conference/
Published: (1991)

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

Logic programming : proceedings of the 1995 International Symposium /
Published: (1995)

Logic programming: proceedings of the sixth international conference/
Published: (1989)

Logic programming: proceedings of the 1997 International Symposium/
Published: (1997)

Logic programming : proceedings of the 1993 international symposium /
Published: (1993)

Logic programming: proceedings of the 1994 international symposium/
Published: (1994)

Logic programming : proceedings of the North American Conference, 1989 /
Published: (1989)

Logic programming : proceedings of the 1990 North American Conference /
Published: (1990)

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

Logic programming: proceedings of the North American conference, 1989/
Published: (1989)

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

Algebraic and logic programming : third international conference,Volterra, Italy, September 2-4, 1992 : proceedings /
Published: (1992)

Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy,June 20-20, 1994 : proceedings /
Published: (1994)

Logic program synthesis and transformation : proceedings of LOPSTR93, International Workshop on Logic Program Synthesis andTransformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 /
Published: (1994)

Logic programming in action : Second international Logic ProgrammingSummer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 :proceedings /
Published: (1992)

Logic programming : proceedings of the 7th conference, Tokyo, Japan, April 11-14 1988 /
Published: (1989)

Logic programming '86 : proceedings of the 5th Conference, Tokyo,Japan, June 23-26, 1986 /
Published: (1987)

Logic based program synhesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 :selected papers /
Published: (2002)

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 :selected papers /
Published: (2001)

Meta-programmming in logic : Third International Workshop, META-92,Uppsala, Sweden, June 10-12, 1992 : proceedings /
Published: (1992)

Logic Programming '89 : proceedings of the 8th Conference, Tokyo,Japan, July 12-14, 1989 /
Published: (1991)

Programming languages implementation and logic programming : international workshop, PLILP '88, Orleans, France, May 16-18, 1988 :proceedings /
Published: (1989)

Programming language implementation and logic programming : international workshop PLILP '90, Linkoping, Sweden, August 20-22,1990 : proceedings /
Published: (1990)

Nonmonotonic reasoning: an overview/
by: Brewka, Gerhard
Published: (1997)

Nonmonotonic reasoning : an overview /
by: Brewka, Gerhard
Published: (1997)

Programming language implementation and logic programming : 3rdInternational Symposium, PLILP '91, Passau, Germany, August 26-28, 1991: proceedings /
Published: (1991)

Programming language implementation and logic programming : 4thInternational Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992: proceedings /
Published: (1992)

Cannot write session to /tmp/vufind_sessions/sess_13aa4mfrrq5fk5anovhkafgl24