Login / Signup
FAPR
1996
1996
1996
Keyphrases
Publications
1996
Joeri Engelfriet
,
Heinrich Herre
,
Jan Treur
Nonmonotonic Reasoning with Multiple Belief Sets.
FAPR
(1996)
Philippe Balbiani
Modal Logics with Relative Accessibility Relations.
FAPR
(1996)
Alessandro Cimatti
,
Luciano Serafini
Mechanizing Multi-Agent Reasoning with Belief Contexts.
FAPR
(1996)
Philippe Balbiani
,
Luis Fariñas del Cerro
,
Tinko Tinchev
,
Dimiter Vakarelov
Geometrical Structures and Modal Logic.
FAPR
(1996)
Hironobu Gotoda
,
Jianghong An
,
Yuzuru Fujiwara
Analogical Reasoning of Organic Reactions Based on the Structurized Compound-Reaction Diagram.
FAPR
(1996)
Carl Vogel
Human Reasoning with Negative Defaults.
FAPR
(1996)
Hector Geffner
A Formal Framework for Clausal Modeling and Argumentation.
FAPR
(1996)
John Fox
,
Subrata Kumar Das
A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications.
FAPR
(1996)
Emil Weydert
System J - Revision Entailment. Default Reasoning through Ranking Measure Updates.
FAPR
(1996)
Carine Van den Acker
,
Jan Vanthienen
Integrating Statistical Audit Evidence with Belief Function Theory.
FAPR
(1996)
Manfred Kerber
,
Erica Melis
Two Kinds of Non-Monotonic Analogical Inference.
FAPR
(1996)
John-Jules Ch. Meyer
,
J. C. van Leeuwen
Possible World Semantics for Analogous Reasoning.
FAPR
(1996)
Choong-Ho Yi
Towards the Assessment of Logics for Concurrent Actions.
FAPR
(1996)
Harm Kloosterhuis
The Normative Reconstruction of Analogy Argumentation in Judical Decisions: a Pragma-Dialectical Perspective.
FAPR
(1996)
Maurice A. Finocchiaro
Reasoning About Reasoning.
FAPR
(1996)
Ingrid Neumann
Graded Inheritance Nets for Knowledge Representation.
FAPR
(1996)
Simon Parsons
Defining Normative Systems for Qualitative Argumentation.
FAPR
(1996)
Claudia M. G. M. Oliveira
The Implementation of CondLP.
FAPR
(1996)
Luis Fariñas del Cerro
,
Antonio Frias Delgado
,
Andreas Herzig
Talkin'bout Consistency, or: When Logically Possible Becomes Possible.
FAPR
(1996)
Wolfgang Pohl
Combining Partitions and Modal Logic for User Modeling.
FAPR
(1996)
Patrick Doherty
,
Witold Lukaszewicz
,
Andrzej Szalas
General Domain Circumscription in its First-Order Reduction.
FAPR
(1996)
Bruno Errico
,
Luigia Carlucci Aiello
Intelligent Agents in the Situation Calculus: an Application to User Modelling.
FAPR
(1996)
Claudia M. G. M. Oliveira
The Implementation of LENA.
FAPR
(1996)
Christopher W. Tindale
From Syllogisms to Audiences: The Prospect for Logic in a Rhetorical Model of Argumentation.
FAPR
(1996)
Enrico Giunchiglia
,
Fausto Giunchiglia
Ideal and Real Belief about Belief.
FAPR
(1996)
Michael J. Wooldridge
Practical Reasoning with Procedural Knowledge.
FAPR
(1996)
Gerd Große
,
Christoph S. Herrmann
,
Enno Sandner
SEdit - Graphically Validating Technical Systems.
FAPR
(1996)
Wolfgang May
,
Peter H. Schmitt
A Tableau Calculus for First-Order Branching Time Logic.
FAPR
(1996)
Simon Parsons
,
John Fox
Argumentation and Decision Making: A Position Paper.
FAPR
(1996)
John Woods
Deep Disagreement and Public Demoralization.
FAPR
(1996)
John L. Pollock
Reason in a Changing World.
FAPR
(1996)
Anna Radzikowska
Formalization of Reasoning about Default Action (Preliminary Report).
FAPR
(1996)
Simon Shiu
,
Zhaohui Luo
,
Roberto Garigliano
Type Theoretic Semantics for SemNet.
FAPR
(1996)
Chris Reed
,
Derek Long
,
Maria Fox
An Architecture fro Argumentative Dialogue Planning.
FAPR
(1996)
Michael Fisher
,
Michael J. Wooldridge
,
Clare Dixon
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.
FAPR
(1996)
David W. Green
Arguments and Mental Models: A Position Paper.
FAPR
(1996)
Roderic A. Girle
Commands in Dialogue Logic.
FAPR
(1996)
Danilo Montesi
,
Chiara Renso
,
Franco Turini
Using Temporary Integrity Constraints to Optimize Databases.
FAPR
(1996)
Steffo Weber
On the Semantics of the Unknown.
FAPR
(1996)
Hans V. Hansen
Aristotle, Whately, and the Taxonomy of Fallacies.
FAPR
(1996)
Henry Prakken
,
Giovanni Sartor
A System for Defeasible Argumentation, with Defeasible Priorities.
FAPR
(1996)
Helmut Prendinger
Modal Logic for Modelling Actions and Agents.
FAPR
(1996)
Ho Ngoc Duc
Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract).
FAPR
(1996)
Laura Giordano
,
Alberto Martelli
,
Maria Luisa Sapino
An Abductive Proof Procedure for Conditional Logic Programming.
FAPR
(1996)
Ralph H. Johnson
The Need for a Dialectical Tier in Arguments.
FAPR
(1996)
José Plug
Complex Argumentation in Judicial Decisions. Analysing Conflicting Arguments.
FAPR
(1996)
Grigoris Antoniou
A Comparative Survey of Default Logic Variants.
FAPR
(1996)
Dov M. Gabbay
,
Odinaldo Rodrigues
A Methodology for Iterated Theory Change.
FAPR
(1996)
Marcello Guarini
Mind, Morals, and Reasons.
FAPR
(1996)
volume 1085, 1996
Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings
FAPR
1085 (1996)