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. Springer 1996 Lecture Notes in Computer Science ISBN 3-540-61313-7- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Grigoris Antoniou, Mary-Anne Williams: Default Reasoning and Belief Revision in the CIN Project. 691-693
- Alessandro Cimatti, Luciano Serafini: Mechanizing Multi-Agent Reasoning with Belief Contexts. 694-696
- David W. Green: Arguments and Mental Models: A Position Paper. 697-704
- Claudia M. G. M. Oliveira: The Implementation of LENA. 710-712
- Claudia M. G. M. Oliveira: The Implementation of CondLP. 713-715
- Valentyn Omelyanchyk: How To Reason About Akratic Action Practically? 716-719
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team