Publication | Date of Publication | Type |
---|
https://portal.mardi4nfdi.de/entity/Q6119641 | 2024-03-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q6119647 | 2024-03-22 | Paper |
Weakest link in formal argumentation: lookahead and principle-based analysis | 2024-01-16 | Paper |
The Jiminy advisor: moral agreements among stakeholders based on norms and argumentation | 2023-10-23 | Paper |
New weak admissibility semantics for abstract argumentation | 2023-03-31 | Paper |
Base argumentation as an abstraction of deductive argumentation | 2023-03-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q5880828 | 2023-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5880829 | 2023-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5880831 | 2023-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5880838 | 2023-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5878363 | 2023-02-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5878382 | 2023-02-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5869625 | 2022-09-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q5869212 | 2022-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5037683 | 2022-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q5037685 | 2022-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q5157008 | 2021-10-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5157021 | 2021-10-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5157022 | 2021-10-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5157025 | 2021-10-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4993609 | 2021-06-15 | Paper |
Argumentation as exogenous coordination | 2021-06-03 | Paper |
A Principle-Based Analysis of Weakly Admissible Semantics | 2021-01-21 | Paper |
Explanation Semantics for Abstract Argumentation | 2021-01-21 | Paper |
Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support | 2020-11-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5116407 | 2020-08-25 | Paper |
A Dynamic Approach for Combining Abstract Argumentation Semantics | 2020-08-10 | Paper |
Intention as commitment toward time | 2020-04-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5215670 | 2020-02-12 | Paper |
Preference in Abstract Argumentation | 2020-02-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5215693 | 2020-02-12 | Paper |
From classical to non-monotonic deontic logic using \(mathrm{ASPIC}^+\) | 2020-01-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q5231878 | 2019-09-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224794 | 2019-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224803 | 2019-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224917 | 2019-07-24 | Paper |
Prioritized norms in formal argumentation | 2019-07-10 | Paper |
Algorithms for tractable compliance problems | 2018-12-19 | Paper |
Arguing about constitutive and regulative norms | 2018-10-09 | Paper |
A deontic logic reasoning infrastructure | 2018-09-06 | Paper |
AGM contraction and revision of rules | 2018-02-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5282962 | 2017-07-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q5271383 | 2017-07-11 | Paper |
A partial taxonomy of judgment aggregation rules and their properties | 2017-05-23 | Paper |
Persistence and Monotony Properties of Argumentation Semantics | 2016-03-10 | Paper |
Intuitionistic Basis for Input/Output Logic | 2015-05-19 | Paper |
On the input/output behavior of argumentation frameworks | 2014-10-27 | Paper |
Toward a Linguistic Interpretation of Deontic Paradoxes | 2014-09-08 | Paper |
“Sing and Dance!” | 2014-09-08 | Paper |
Combining Constitutive and Regulative Norms in Input/Output Logic | 2014-09-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q2863850 | 2013-12-04 | Paper |
Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System | 2013-10-04 | Paper |
A socio-cognitive model of trust using argumentation theory | 2013-06-04 | Paper |
A logic of argumentation for specification and verification of abstract argumentation frameworks | 2013-02-18 | Paper |
Modelling defeasible and prioritized support in bipolar argumentation | 2013-02-18 | Paper |
Visualizing Normative Systems: An Abstract Approach | 2012-11-02 | Paper |
Discussion Paper: Changing Norms Is Changing Obligation Change | 2012-11-02 | Paper |
Ten Problems of Deontic Logic and Normative Reasoning in Computer Science | 2012-11-01 | Paper |
Time and defeasibility in FIPA ACL semantics | 2012-10-16 | Paper |
Beyond Maxi-Consistent Argumentation Operators | 2012-09-21 | Paper |
Contrary-To-Duties in Games | 2012-07-23 | Paper |
Violation games: a new foundation for deontic logic ★ | 2012-07-17 | Paper |
Arguing about the Trustworthiness of the Information Sources | 2011-06-29 | Paper |
Higher-Order Coalition Logic | 2011-05-11 | Paper |
Modal Access Control LogicAxiomatization, Semantics and FOL Theorem Proving | 2011-04-12 | Paper |
The Norm Implementation Problem in Normative Multi-Agent Systems | 2010-11-11 | Paper |
Deontic Redundancy: A Fundamental Challenge for Deontic Logic | 2010-09-29 | Paper |
Privacy Policies with Modal Logic: The Dynamic Turn | 2010-09-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4929330 | 2010-09-22 | Paper |
Preference Change Triggered by Belief Change: A Principled Approach | 2010-08-31 | Paper |
The role of goals in belief selection | 2010-08-13 | Paper |
Preference-based argumentation: arguments supporting multiple values | 2010-03-18 | Paper |
Preface for Studia Logica special issue (2) | 2010-03-17 | Paper |
Meta-argumentation modelling. I: Methodology and techniques | 2010-03-17 | Paper |
AI*IA 2003: Advances in Artificial Intelligence | 2010-03-05 | Paper |
The Interplay between Relationships, Roles and Objects | 2010-01-28 | Paper |
A Complete Conclusion-Based Procedure for Judgment Aggregation | 2009-11-17 | Paper |
Fibred security language | 2009-11-16 | Paper |
Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms | 2009-08-04 | Paper |
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension | 2009-07-02 | Paper |
Algorithms for finding coalitions exploiting a new reciprocity condition | 2009-06-29 | Paper |
Deontic Logic in Computer Science | 2009-04-30 | Paper |
Deontic Logic in Computer Science | 2009-04-30 | Paper |
A Logic of Abstract Argumentation | 2009-04-28 | Paper |
Constitutive Norms in the Design of Normative Multiagent Systems | 2009-04-28 | Paper |
A Logical Architecture of a Normative System | 2008-10-09 | Paper |
Delegation of Power in Normative Multiagent Systems | 2008-10-09 | Paper |
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms | 2008-10-09 | Paper |
An Attacker Model for Normative Multi-agent Systems | 2008-09-25 | Paper |
On the Acceptability of Incompatible Arguments | 2008-09-16 | Paper |
Substantive and procedural norms in normative multiagent systems | 2008-06-26 | Paper |
Programming Cognitive Agents in Defeasible Logic | 2008-05-27 | Paper |
AI 2005: Advances in Artificial Intelligence | 2006-11-14 | Paper |
Logics in Artificial Intelligence | 2006-10-25 | Paper |
AI*IA 2005: Advances in Artificial Intelligence | 2006-06-27 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q5692402 | 2005-09-28 | Paper |
Beliefs, obligations, intentions, and desires as components in an agent architecture | 2005-09-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q3158980 | 2005-02-01 | Paper |
How to decide what to do? | 2004-11-12 | Paper |
Realistic desires | 2004-03-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4709819 | 2004-01-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4440545 | 2004-01-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4427243 | 2003-09-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4427275 | 2003-09-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4428295 | 2003-09-15 | Paper |
Permission from an input/output perspective | 2003-08-28 | Paper |
Contextual deontic logic: Normative agents, violations and independence | 2003-03-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4784864 | 2002-12-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4535121 | 2002-07-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q2784791 | 2002-04-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q2701987 | 2001-10-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4524507 | 2001-10-21 | Paper |
Input/output logics | 2001-07-11 | Paper |
Constraints for input/output logics | 2001-06-26 | Paper |
Parameters for utilitarian desires in a qualitative decision theory. | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4246962 | 2000-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4496273 | 2000-08-13 | Paper |
Contrary-to-duty reasoning with preference-based dyadic obligations | 2000-06-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4938868 | 2000-03-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4941946 | 2000-03-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4246961 | 2000-03-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4263003 | 1999-09-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4394895 | 1999-06-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4349945 | 1997-08-26 | Paper |