FAPR 1996:
Bonn,
Germany
Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.):
Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings.
Lecture Notes in Computer Science 1085 Springer 1996, ISBN 3-540-61313-7 
@proceedings{DBLP:conf/fapr/1996,
editor = {Dov M. Gabbay and
Hans J{\"u}rgen Ohlbach},
title = {Practical Reasoning, International Conference on Formal and Applied
Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996,
Proceedings},
booktitle = {FAPR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1085},
year = {1996},
isbn = {3-540-61313-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Carine Van den Acker, Jan Vanthienen:
Integrating Statistical Audit Evidence with Belief Function Theory.
1-14
- Grigoris Antoniou:
A Comparative Survey of Default Logic Variants.
15-28
- Philippe Balbiani:
Modal Logics with Relative Accessibility Relations.
29-42
- Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov:
Geometrical Structures and Modal Logic.
43-57
- Subrata Kumar Das, John Fox, Paul Krause:
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations.
58-72
- John Fox, Subrata Kumar Das:
A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications.
73-92
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
General Domain Circumscription in its First-Order Reduction.
93-109
- Ho Ngoc Duc:
Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract).
110
- Joeri Engelfriet, Jan Treur:
Specification of Nonmonotonic Reasonong.
111-125
- Bruno Errico, Luigia Carlucci Aiello:
Intelligent Agents in the Situation Calculus: an Application to User Modelling.
126-140
- Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig:
Talkin'bout Consistency, or: When Logically Possible Becomes Possible.
141-150
- Eveline T. Feteris:
The Analysis and Evaluation of Legal Argumentation from a Pragma-Dialectical Perspective.
151-166
- Maurice A. Finocchiaro:
Reasoning About Reasoning.
167-177
- Michael Fisher, Michael Wooldridge, Clare Dixon:
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.
178-192
- Dov M. Gabbay, Odinaldo Rodrigues:
A Methodology for Iterated Theory Change.
193-207
- Hector Geffner:
A Formal Framework for Clausal Modeling and Argumentation.
208-222
- Michael A. Gilbert:
Goals in Argumentation.
223-230
- Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
An Abductive Proof Procedure for Conditional Logic Programming.
231-245
- Roderic A. Girle:
Commands in Dialogue Logic.
246-260
- Enrico Giunchiglia, Fausto Giunchiglia:
Ideal and Real Belief about Belief.
261-275
- Hironobu Gotoda, Jianghong An, Yuzuru Fujiwara:
Analogical Reasoning of Organic Reactions Based on the Structurized Compound-Reaction Diagram.
276-290
- Guido Governatori:
Labelling Ideality and Subideality.
291-304
- Marcello Guarini:
Mind, Morals, and Reasons.
305-317
- Hans V. Hansen:
Aristotle, Whately, and the Taxonomy of Fallacies.
318-330
- Joeri Engelfriet, Heinrich Herre, Jan Treur:
Nonmonotonic Reasoning with Multiple Belief Sets.
331-344
- Gerd Große, Christoph S. Herrmann, Enno Sandner:
SEdit - Graphically Validating Technical Systems.
345-348
- Ralph H. Johnson:
The Need for a Dialectical Tier in Arguments.
349-360
- Manfred Kerber, Erica Melis:
Two Kinds of Non-Monotonic Analogical Inference.
361-374
- Harm Kloosterhuis:
The Normative Reconstruction of Analogy Argumentation in Judical Decisions: a Pragma-Dialectical Perspective.
375-383
- Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi:
Formal Reasoning about Modules, Reuse and their Correctness.
384-398
- Wolfgang May, Peter H. Schmitt:
A Tableau Calculus for First-Order Branching Time Logic.
399-413
- John-Jules Ch. Meyer, J. C. van Leeuwen:
Possible World Semantics for Analogous Reasoning.
414-429
- Danilo Montesi, Chiara Renso, Franco Turini:
Using Temporary Integrity Constraints to Optimize Databases.
430-435
- Ingrid Neumann:
Graded Inheritance Nets for Knowledge Representation.
436-448
- Simon Parsons:
Defining Normative Systems for Qualitative Argumentation.
449-463
- José Plug:
Complex Argumentation in Judicial Decisions. Analysing Conflicting Arguments.
464-479
- Wolfgang Pohl:
Combining Partitions and Modal Logic for User Modeling.
480-494
- John L. Pollock:
Reason in a Changing World.
495-509
- Henry Prakken, Giovanni Sartor:
A System for Defeasible Argumentation, with Defeasible Priorities.
510-524
- Helmut Prendinger:
Modal Logic for Modelling Actions and Agents.
525-539
- Anna Radzikowska:
Formalization of Reasoning about Default Action (Preliminary Report).
540-554
- Chris Reed, Derek Long, Maria Fox:
An Architecture fro Argumentative Dialogue Planning.
555-566
- Torsten Schaub, Michael Thielscher:
Skeptical Query-Answering in Constrained Default Logic.
567-581
- Simon Shiu, Zhaohui Luo, Roberto Garigliano:
Type Theoretic Semantics for SemNet.
582-595
- Christopher W. Tindale:
From Syllogisms to Audiences: The Prospect for Logic in a Rhetorical Model of Argumentation.
596-605
- Carl Vogel:
Human Reasoning with Negative Defaults.
606-621
- Steffo Weber:
On the Semantics of the Unknown.
622-636
- Emil Weydert:
System J - Revision Entailment. Default Reasoning through Ranking Measure Updates.
637-649
- John Woods:
Deep Disagreement and Public Demoralization.
650-662
- Michael Wooldridge:
Practical Reasoning with Procedural Knowledge.
663-678
- Choong-Ho Yi:
Towards the Assessment of Logics for Concurrent Actions.
679-690
Position Papers and System Descriptions
Copyright © Mon Nov 2 20:35:55 2009
by Michael Ley (ley@uni-trier.de)
