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