-
16Which style of reasoning to choose in the face of conflicting information?Journal of Logic and Computation 26 (1). 2013.
-
16Adaptive strategies and finite-conditional premise setsJournal of Logic and Computation 26 (5). 2014.
-
15Reasoning by cases in structured argumentationIn Sung Y. Shin (ed.), Proceedings of the Symposium on Applied Computing - Sac ’17, . 2017.
-
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.
-
13Reasoning 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
-
13Normative reasoning by sequent-based argumentationJournal of Logic and Computation 29 (3): 387-415. 2015.In this article, we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contrary-to-duty and specificity cases, which are modelled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic of Argument & Computation ), and use standard deontic logic as our base logic. Argumentative attacks are realized by elimination…Read more
-
13Relations between assumption-based approaches in nonmonotonic logic and formal argumentationIn Gabriele Kern-Isberner & Renata Wassermann (eds.), Proceedings of Nmr2016, . pp. 65--76. 2016.
-
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
-
12Adaptively applying modus ponens in conditional logics of normalityJournal of Applied Non-Classical Logics 22 (1-2): 125-148. 2012.
-
11Structured 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
-
10Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic ApproachJournal of Logic and Computation 21 (2). 2010.
-
10An adaptive logic framework for conditional obligations and deontic dilemmasLogic and Logical Philosophy 19 (1-2): 95-128. 2010.
-
9Hypersequent-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.
-
8This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptive logics. The author first familiarizes readers with defeasible reasoning, the adaptive logics framework, combinations of adaptive logics, and a range of useful meta-theoretic properties. He then offers a systematic study of adaptive logics based on various applications. The …Read more
-
8Non-monotonic reasoning with normative conflicts in multi-agent deontic logicJournal of Logic and Computation 24 (6). 2013.
-
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.
-
6Adaptive Logic Characterizations of Defeasible Reasoning With Applicationsin Argumentation, Normative Reasoning and Default ReasoningDissertation, Ghent University. 2010.
-
5Deductive Argumentation by Enhanced Sequent Calculi and Dynamic DerivationsElectronic Notes in Theoretical Computer Science 323. 2016.
-
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.
-
2Argumentative Approaches to Reasoning with Consistent Subsets of PremisesLecture Notes in Computer Science. 2017.
-
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.
-
1The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctionsPhilosophica 86 51--82. 2012.
-
A comparative study of assumption-based approaches to reasoning with prioritiesJournal of Applied Logic. forthcoming.
Areas of Specialization
Logics |
Scientific Method, Misc |
Computer Science |
Areas of Interest
Logics |
Scientific Method, Misc |
Computer Science |