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