Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ralph H. Johnson |
The Need for a Dialectical Tier in Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 349-360, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Henry Prakken, Giovanni Sartor |
A System for Defeasible Argumentation, with Defeasible Priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 510-524, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | José Plug |
Complex Argumentation in Judicial Decisions. Analysing Conflicting Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 464-479, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Anna Radzikowska |
Formalization of Reasoning about Default Action (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 540-554, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Claudia M. G. M. Oliveira |
The Implementation of CondLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 713-715, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Errico, Luigia Carlucci Aiello |
Intelligent Agents in the Situation Calculus: an Application to User Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 126-140, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou |
A Comparative Survey of Default Logic Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 15-28, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Simon Parsons, John Fox 0001 |
Argumentation and Decision Making: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 705-709, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Harm Kloosterhuis |
The Normative Reconstruction of Analogy Argumentation in Judical Decisions: a Pragma-Dialectical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 375-383, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Roderic A. Girle |
Commands in Dialogue Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 246-260, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hector Geffner |
A Formal Framework for Clausal Modeling and Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 208-222, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino |
An Abductive Proof Procedure for Conditional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 231-245, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 73-92, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Claudia M. G. M. Oliveira |
The Implementation of LENA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 710-712, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay, Odinaldo Rodrigues |
A Methodology for Iterated Theory Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 193-207, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Große, Christoph S. Herrmann, Enno Sandner |
SEdit - Graphically Validating Technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 345-348, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John-Jules Ch. Meyer, J. C. van Leeuwen |
Possible World Semantics for Analogous Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 414-429, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John L. Pollock |
Reason in a Changing World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 495-509, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hironobu Gotoda, Jianghong An, Yuzuru Fujiwara |
Analogical Reasoning of Organic Reactions Based on the Structurized Compound-Reaction Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 276-290, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 178-192, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ingrid Neumann |
Graded Inheritance Nets for Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 436-448, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Steffo Weber |
On the Semantics of the Unknown. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 622-636, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Joeri Engelfriet, Heinrich Herre, Jan Treur |
Nonmonotonic Reasoning with Multiple Belief Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 331-344, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ho Ngoc Duc |
Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 110, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Pohl |
Combining Partitions and Modal Logic for User Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 480-494, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
General Domain Circumscription in its First-Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 93-109, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carine Van den Acker, Jan Vanthienen |
Integrating Statistical Audit Evidence with Belief Function Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 1-14, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Tindale |
From Syllogisms to Audiences: The Prospect for Logic in a Rhetorical Model of Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 596-605, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Fausto Giunchiglia |
Ideal and Real Belief about Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 261-275, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Simon Shiu, Zhaohui Luo, Roberto Garigliano |
Type Theoretic Semantics for SemNet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 582-595, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Guarini |
Mind, Morals, and Reasons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 305-317, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Wooldridge |
Practical Reasoning with Procedural Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 663-678, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Kerber, Erica Melis |
Two Kinds of Non-Monotonic Analogical Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 361-374, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang May, Peter H. Schmitt |
A Tableau Calculus for First-Order Branching Time Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 399-413, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov |
Geometrical Structures and Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 43-57, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John Woods 0001 |
Deep Disagreement and Public Demoralization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 650-662, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Choong-Ho Yi |
Towards the Assessment of Logics for Concurrent Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 679-690, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani |
Modal Logics with Relative Accessibility Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 29-42, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![Springer, 3-540-61313-7 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chris Reed 0001, Derek Long, Maria Fox 0001 |
An Architecture fro Argumentative Dialogue Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 555-566, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Maurice A. Finocchiaro |
Reasoning About Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 167-177, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | David W. Green |
Arguments and Mental Models: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 697-704, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carl Vogel |
Human Reasoning with Negative Defaults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 606-621, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Danilo Montesi, Chiara Renso, Franco Turini |
Using Temporary Integrity Constraints to Optimize Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 430-435, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Simon Parsons |
Defining Normative Systems for Qualitative Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 449-463, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hans V. Hansen |
Aristotle, Whately, and the Taxonomy of Fallacies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 318-330, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Luciano Serafini |
Mechanizing Multi-Agent Reasoning with Belief Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 694-696, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Prendinger |
Modal Logic for Modelling Actions and Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 525-539, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 141-150, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Emil Weydert |
System J - Revision Entailment. Default Reasoning through Ranking Measure Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 637-649, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 58-72, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Valentyn Omelyanchyk |
How To Reason About Akratic Action Practically? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 716-719, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eveline T. Feteris |
The Analysis and Evaluation of Legal Argumentation from a Pragma-Dialectical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 151-166, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Gilbert |
Goals in Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 223-230, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou, Mary-Anne Williams |
Default Reasoning and Belief Revision in the CIN Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 691-693, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Joeri Engelfriet, Jan Treur |
Specification of Nonmonotonic Reasonong. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 111-125, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi |
Formal Reasoning about Modules, Reuse and their Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 384-398, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Schaub, Michael Thielscher |
Skeptical Query-Answering in Constrained Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 567-581, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori |
Labelling Ideality and Subideality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 291-304, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|