default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFAPR 1996: Bonn, Germany
- Dov M. Gabbay, Hans Jürgen Ohlbach:
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 - 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 J. 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 - Joeri Engelfriet, Jan Treur:
Specification of Nonmonotonic Reasonong. 111-125 - 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 J. Wooldridge, Clare Dixon:
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. 178-192 - Dov M. Gabbay, Odinaldo Rodrigues:
A Methodology for Iterated Theory Change. 193-207 - 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 - Enrico Giunchiglia, Fausto Giunchiglia:
Ideal and Real Belief about Belief. 261-275 - 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 - Manfred Kerber, Erica Melis:
Two Kinds of Non-Monotonic Analogical Inference. 361-374 - 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 - Wolfgang May, Peter H. Schmitt:
A Tableau Calculus for First-Order Branching Time Logic. 399-413 - John-Jules Ch. Meyer, J. C. van Leeuwen:
Possible World Semantics for Analogous Reasoning. 414-429 - 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 - Chris Reed, Derek Long, Maria Fox:
An Architecture fro Argumentative Dialogue Planning. 555-566 - Torsten Schaub, Michael Thielscher:
Skeptical Query-Answering in Constrained Default Logic. 567-581 - Simon Shiu, Zhaohui Luo, Roberto Garigliano:
Type Theoretic Semantics for SemNet. 582-595 - 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 J. 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 - Simon Parsons, John Fox:
Argumentation and Decision Making: A Position Paper. 705-709 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-28 22:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
