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