Cover Image

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /

"This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at...

Full description

Bibliographic Details
Corporate Authors:	International Conference on Formal and Applied Practical Reasoning Bonn, Germany, SpringerLink (Online service)
Other Authors:	Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1085. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Practical reason > Congresses. Reasoning > Congresses. Artificial intelligence > Congresses. raisonnement par défaut. raisonnement formel. raisonnement temporel. analogie. logique. argumentation. modélisation utilisateur. système intelligent. raisonnement. Intelligence artificielle > Congrès. Raisonnement > Congrès. Théorèmes > Démonstration automatique > Congrès. Artificial intelligence. Automatic theorem proving. Practical reason. Reasoning. Kunstmatige intelligentie. Wiskundige logica. Argumentation (logique) > Congrès. Logique > Congrès. Kongre€. Künstliche Intelligenz. Logischer Schluss. Electronic books. Conference proceedings. Bonn (1996)
Online Access:	Connect to the full text of this electronic book

Similar Items

Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October, 1989 : proceedings /
Published: (1989)

KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings /
Published: (1996)

Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings /
Published: (1997)

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

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
Published: (1994)

Handbook of automated reasoning /
Published: (2001)

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '95, Fribourg, Switzerland, July 1995 : proceedings /
Published: (1995)

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

Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994 : proceedings /
Published: (1994)

The automation of reasoning with incomplete information : from semantic foundations to efficient computation /
by: Schaub, Torsten
Published: (1997)

Foundations of knowledge representation and reasoning /
Published: (1994)

Analogical and inductive inference : proceedings /
Published: (1987)

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

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

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

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings /
Published: (1997)

The new dialectic : conversational contexts of argument /
by: Walton, Douglas N.
Published: (1998)

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /
Published: (1996)

The art of reasoning : an introduction to logic and critical thinking /
by: Kelley, David, 1949-
Published: (2014)

Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published: (1996)

Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings /
Published: (1999)

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

Knowledge representation and reasoning under uncertainty : logic at work /
Published: (1994)

Theory reasoning in connection calculi /
by: Baumgartner, Peter, 1962-
Published: (1998)

Tractable reasoning in artificial intelligence /
by: Cadoli, Marco, 1965-
Published: (1995)

Principles of knowledge representation and reasoning : proceedings of the Seventh International Conference (KR2000), Breckenridge, Colorado USA, April 12-15 2000 /
Published: (2000)

Reasoning with uncertainty in robotics : international workshop, RUR '95, Amsterdam, the Netherlands, December 4-6, 1995 : proceedings /
Published: (1996)

Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings /
Published: (1998)

Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
Published: (1995)

Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /
Published: (1999)

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday /
Published: (2004)

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

Distributed reason maintenance for multiagent systems /
by: Kraetzschmar, Gerhard K.
Published: (1997)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Readings in qualitative reasoning about physical systems /
Published: (1990)

A perspective of constraint-based reasoning : an introductory tutorial /
by: Güsgen, Hans Werner, 1959-
Published: (1992)

Principles of knowledge representation and reasoning : proceedings of the fourth international conference (KR'94) /
Published: (1994)

Representations of commonsense knowledge /
by: Davis, Ernest
Published: (1990)

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
Published: (2001)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings /
Published: (2005)