Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995 ; proceedings /

Nonmonotonic logic /
by: Strasser, Christian (Writer on defeasible reasoning)
Published: (2025)

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

Nonmonotonic reasoning : a unifying framework /
by: Berzati, Dritan
Published: (2007)

Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings /
Published: (2004)

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

Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
Published: (2001)

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

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

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

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

Explanatory nonmonotonic reasoning /
by: Bochman, Alexander, 1955-
Published: (2005)

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

The many valued and non-monotonic turn in logic /
Published: (2007)

Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /
Published: (2009)

Logic programming and nonmonotonic reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings /
Published: (2011)

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

Nonmonotonic logics : basic concepts, results, and techniques /
by: Schlechta, Karl
Published: (1997)

Nonmonotonic reasoning /
by: Antoniou, G. (Grigoris)
Published: (1997)

Change, choice and inference : a study of belief revision and nonmonotonic reasoning /
by: Rott, Hans, 1959-
Published: (2001)

Reasoning with logic programming /
by: Alferes, José Júlio
Published: (1996)

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

The many valued and non-monotonic turn in logic /
Published: (2007)

Field-programmable logic : architectures, synthesis and applications ; 4th International Workshop on Field-Programmable Logic and Applications, FPL '94, Prague, Czech Republic, September 7 - 9, 1994 ; proceedings /
Published: (1994)

Coherent systems /
by: Schlechta, Karl
Published: (2004)

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

Field-programmable logic : smart applications, new paradigms and compilers ; 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, 1996 ; proceedings /
Published: (1996)

Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
Published: (2011)

Modeling nonmonotonic dose-response curves /
by: Nottingham, Quinton J. (Quinton Jacob), 1966-
Published: (2001)

Nonmonotonic reasoning /
by: Antoniou, G. (Grigoris)
Published: (1997)

Strength and deformations of structural concrete subjected to in-plane shear and normal forces /
by: Kaufmann, Walter Hans Jakob

Efficient checking of polynomials and proofs and the hardness of approximation problems /
by: Sudan, Madhu
Published: (1995)

Cryptography : policy and algorithms ; international conference, Brisbane, Queensland, Australia, July 3 - 5, 1995 ; proceedings /
Published: (1996)

Interactive multi-objective programming as a framework for computer-aided control system design /
by: Ng, Wai-Yin
Published: (1989)

ECOOP '95 - object-oriented programming : 9th European conference, Åarhus, Denmark, August 7 - 11, 1995 ; proceedings /
Published: (1995)

Logics of organization theory : audiences, codes, and ecologies /
by: Hannan, Michael T.
Published: (2007)

Trace conserving purification for linear scaling [O(N)] methods : a first enhancement to CP2K /
by: Mullin, Jonathan
Published: (2014)