Search results for "FAPR"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "FAPR"( http://dblp.L3S.de/Venues/FAPR )