-
39Formal Models of Scientific Inquiry in a Social Context: An IntroductionJournal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2): 211-217. 2020.Formal models of scientific inquiry, aimed at capturing socio-epistemic aspects underlying the process of scientific research, have become an important method in formal social epistemology and philosophy of science. In this introduction to the special issue we provide a historical overview of the development of formal models of this kind and analyze their methodological contributions to discussions in philosophy of science. In particular, we show that their significance consists in different for…Read more
-
37Preferential Semantics using Non-smooth Preference RelationsJournal of Philosophical Logic 43 (5): 903-942. 2014.This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation ≺. They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a …Read more
-
5Argumentative Approaches to Reasoning with Maximal ConsistencyIn Chitta Baral, James Delgrande & Frank Wolter (eds.), KR'16: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, . pp. 509--512. 2016.
-
17Dynamic Derivations for Sequent-Based Logical ArgumentationIn Simon Parsons, Nir Oren, Chris Reed & Federico Cerutti (eds.), Proceedings COMMA 2014, Ios Press. pp. 89--100. 2014.
-
6Prioritized sequent-based argumentationIn Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems, . pp. 1105--1113. 2018.
-
Tuning Logical Argumentation Frameworks: A Postulate-Derived ApproachIn Ofer Arieli, AnneMarie Borg & Christian Straßer (eds.), Proceedings of Flairs 2020, . forthcoming.
-
A critical assessment of Pollock’s work on logic-based argumentation with suppositionsIn Mathieu Beirlaen, Jesse Heyninck & Christian Straßer (eds.), Proceedings of the Nmr, . pp. 63--72. 2018.
-
14A structured argumentation framework for detaching conditional obligationsIn A. Tamminga O. Roy & M. Willer (eds.), Proceedings of Deon 2016, College Publications. pp. 32--48. 2016.
-
A Fully Rational Argumentation System for Preordered Defeasible RulesIn Elisabeth Andre & Sven Koening (eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. pp. 1704--1712. 2018.
-
13Relations between assumption-based approaches in nonmonotonic logic and formal argumentationIn Gabriele Kern-Isberner & Renata Wassermann (eds.), Proceedings of Nmr2016, . pp. 65--76. 2016.
-
Revisiting unrestricted rebut and preferences in structured argumentationIn Subbarao Kambhampati (ed.), Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Aaai Press / International Joint Conferences On Artificial Intelligence. pp. 1088--1092. 2016.
-
An Andersonian deontic logic with contextualized sanctionsIn Christian Straßer & Mathieu Beirlaen (eds.), International Conference on Deontic Logic in Computer Science, . pp. 151--169. 2012.
-
Quantifier Elimination For QueuesIn Jan Draisma & Hanspeter Kraft (eds.), Rhine Workshop on Computer Algebra. Proceedings of the Rwca 2006, Universitaet Basel. pp. 239--248. 2006.
-
Sequent-Based Argumentation for Normative ReasoningIn Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems, College Publications. pp. 224--240. 2016.
-
A critical assessment of Pollock’s work on logic-based argumentation with suppositionsIn Mathieu Beirlaen, Jesse Heyninck & Christian Straßer (eds.), Proceedings of Argumentation and Philosophy, . 2018.
-
3Argumentative Approaches to Reasoning with Consistent Subsets of PremisesLecture Notes in Computer Science. 2017.
-
6Deductive Argumentation by Enhanced Sequent Calculi and Dynamic DerivationsElectronic Notes in Theoretical Computer Science 323. 2016.
-
58Logical argumentation by dynamic proof systemsTheoretical Computer Science. forthcoming.In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the l…Read more
-
14Reasoning with maximal consistency by argumentative approachesJournal of Logic and Computation 28 (7): 1523--1563. 2018.Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentat…Read more
-
22A Paraconsistent Multi-agent Framework for Dealing with Normative ConflictsIn Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella & Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814, Springer. 2011.
-
16Reasoning by cases in structured argumentationIn Sung Y. Shin (ed.), Proceedings of the Symposium on Applied Computing - Sac ’17, . 2017.
-
12Structured argumentation with prioritized conditional obligations and permissionsJournal of Logic and Computation 29 (2): 187-214. 2018.We present a formal argumentation system for dealing with the detachment of prioritized conditional obligations and permissions. In the presence of facts and constraints, we answer the question whether an unconditional obligation or permission is detachable by considering arguments for and against its detachment. For the evaluation of arguments in favour of detachment, we use a Dung-style argumentation-theoretical semantics. We illustrate how violations and contrary-to-duty scenarios are dealt w…Read more
-
1An Argumentative Agent-Based Model of Scientific InquiryIn Salem Benferhat, Karim Tabia & Moonis Ali (eds.), Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, Iea/Aie 2017, Arras, France, June 27-30, 2017, Proceedings, Part I, Springer Verlag. pp. 507--510. 2017.
-
13A Generalized Proof-Theoretic Approach to Logical Argumentation Based on HypersequentsStudia Logica 109 (1): 167-238. 2020.In this paper we introduce hypersequent-based frameworks for the modelling of defeasible reasoning by means of logic-based argumentation and the induced entailment relations. These structures are an extension of sequent-based argumentation frameworks, in which arguments and the attack relations among them are expressed not only by Gentzen-style sequents, but by more general expressions, called hypersequents. This generalization allows us to overcome some of the known weaknesses of logical argume…Read more
-
Epistemic effects of scientific interaction: approaching the question with an argumentative agent-based modelHistorical Social Research 43 (1): 285-309. 2018.
-
Examining Network Effects in an Argumentative Agent-Based Model of Scientific InquiryIn Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan), Springer. pp. 391--406. 2017.
-
11Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RMIn E. Black, S. Modgil & N. Oren (eds.), Theory and Applications of Formal Argumentation. TAFA 2017. Lecture Notes in Computer Science, vol 10757, Springer. 2018.
-
1The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctionsPhilosophica 86 51--82. 2012.
Areas of Specialization
Logics |
Scientific Method, Misc |
Computer Science |
Areas of Interest
Logics |
Scientific Method, Misc |
Computer Science |