| Publication | Date of Publication | Type |
|---|
Permissive and regulative norms in deontic logic
Journal Of Logic And Computation | 2024-11-12 | Paper |
Rights and practical reasoning in deontic logic
| 2024-08-05 | Paper |
What should I do and why?
| 2024-08-05 | Paper |
Reason-based detachment
| 2024-08-05 | Paper |
A principle-based analysis of bipolar argumentation semantics
| 2024-05-29 | Paper |
Deontic equilibrium logic with explicit negation
| 2024-05-29 | Paper |
Advanced intelligent systems and reasoning: standardization, experimentation, explanation
| 2024-03-22 | Paper |
scientific article; zbMATH DE number 7823011 (Why is no real title available?)
| 2024-03-22 | Paper |
Weakest link in formal argumentation: lookahead and principle-based analysis
Lecture Notes in Computer Science | 2024-01-16 | Paper |
The Jiminy advisor: moral agreements among stakeholders based on norms and argumentation
The Journal of Artificial Intelligence Research (JAIR) | 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 |
scientific article; zbMATH DE number 7659876 (Why is no real title available?)
| 2023-03-06 | Paper |
scientific article; zbMATH DE number 7659875 (Why is no real title available?)
| 2023-03-06 | Paper |
scientific article; zbMATH DE number 7659881 (Why is no real title available?)
| 2023-03-06 | Paper |
scientific article; zbMATH DE number 7659878 (Why is no real title available?)
| 2023-03-06 | Paper |
scientific article; zbMATH DE number 7655699 (Why is no real title available?)
| 2023-02-21 | Paper |
Input/output logic with a consistency check -- the case of permission
| 2023-02-21 | Paper |
scientific article; zbMATH DE number 7594186 (Why is no real title available?)
| 2022-09-28 | Paper |
scientific article; zbMATH DE number 7593542 (Why is no real title available?)
| 2022-09-27 | Paper |
New-generation AIs: reasoning about norms and values
| 2022-03-03 | Paper |
Arguing coalitions in abstract argumentation
| 2022-03-03 | Paper |
Preface
| 2021-10-12 | Paper |
scientific article; zbMATH DE number 7409099 (Why is no real title available?)
| 2021-10-12 | Paper |
Handling norms in multiagent systems by means of formal argumentation
| 2021-10-12 | Paper |
Multiagent deontic logic and its challenges from a normative systems perspective
| 2021-10-12 | Paper |
Normative reasoning and consequence
| 2021-06-15 | Paper |
Argumentation as exogenous coordination
| 2021-06-03 | Paper |
Explanation semantics for abstract argumentation
| 2021-01-21 | Paper |
A Principle-Based Analysis of Weakly Admissible Semantics
| 2021-01-21 | Paper |
Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
Artificial Intelligence | 2020-11-16 | Paper |
Defense semantics of argumentation: encoding reasons for accepting arguments
| 2020-08-25 | Paper |
A Dynamic Approach for Combining Abstract Argumentation Semantics
Dynamics, Uncertainty and Reasoning | 2020-08-10 | Paper |
Intention as commitment toward time
Artificial Intelligence | 2020-04-21 | Paper |
Abstract and concrete decision graphs for choosing extensions of argumentation frameworks
| 2020-02-12 | Paper |
scientific article; zbMATH DE number 7166761 (Why is no real title available?)
| 2020-02-12 | Paper |
Preference in Abstract Argumentation
| 2020-02-12 | Paper |
From classical to non-monotonic deontic logic using \(mathrm{ASPIC}^+\)
| 2020-01-30 | Paper |
Introduction to deontic logic and normative systems
| 2019-09-04 | Paper |
Prioritized norms and defaults in formal argumentation
| 2019-07-24 | Paper |
Cumulative aggregation
| 2019-07-24 | Paper |
scientific article; zbMATH DE number 7085150 (Why is no real title available?)
| 2019-07-24 | Paper |
Prioritized norms in formal argumentation
Journal Of Logic And Computation | 2019-07-10 | Paper |
Algorithms for tractable compliance problems
Frontiers of Computer Science | 2018-12-19 | Paper |
Arguing about constitutive and regulative norms
Journal of Applied Non-Classical Logics | 2018-10-09 | Paper |
A deontic logic reasoning infrastructure
| 2018-09-06 | Paper |
AGM contraction and revision of rules
Journal of Logic, Language and Information | 2018-02-15 | Paper |
Abduction and dialogical proof in argumentation and logic programming
| 2017-07-18 | Paper |
scientific article; zbMATH DE number 6741901 (Why is no real title available?)
| 2017-07-11 | Paper |
A partial taxonomy of judgment aggregation rules and their properties
Social Choice and Welfare | 2017-05-23 | Paper |
Persistence and monotony properties of argumentation semantics
Theory and Applications of Formal Argumentation | 2016-03-10 | Paper |
Intuitionistic basis for input/output logic
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
On the input/output behavior of argumentation frameworks
Artificial Intelligence | 2014-10-27 | Paper |
``Sing and dance!. Input/output logics without weakening
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
Combining constitutive and regulative norms in input/output logic
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
Toward a linguistic interpretation of deontic paradoxes. Beth-Reichenbach semantics approach for a new analysis of the miners scenario
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
Interaction in normative multi-agent systems
| 2013-12-04 | Paper |
Rewriting rules for the computation of goal-oriented changes in an argumentation system
Lecture Notes in Computer Science | 2013-10-04 | Paper |
A socio-cognitive model of trust using argumentation theory
International Journal of Approximate Reasoning | 2013-06-04 | Paper |
A logic of argumentation for specification and verification of abstract argumentation frameworks
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Modelling defeasible and prioritized support in bipolar argumentation
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Discussion paper: Changing norms is changing obligation change
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Visualizing normative systems: an abstract approach
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Ten problems of deontic logic and normative reasoning in computer science
Lecture Notes in Computer Science | 2012-11-01 | Paper |
Time and defeasibility in FIPA ACL semantics
Journal of Applied Logic | 2012-10-16 | Paper |
Beyond maxi-consistent argumentation operators
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Contrary-To-Duties in Games
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Violation games: a new foundation for deontic logic
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Arguing about the trustworthiness of the information sources
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Higher-order coalition logic
| 2011-05-11 | Paper |
Modal access control logic. Axiomatization, semantics and FOL theorem proving
| 2011-04-12 | Paper |
The norm implementation problem in normative multi-agent systems
Specification and Verification of Multi-agent Systems | 2010-11-11 | Paper |
Deontic redundancy: a fundamental challenge for deontic logic
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Privacy policies with modal logic: the dynamic turn
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Analyzing cooperation in iterative social network design
| 2010-09-22 | Paper |
Preference Change Triggered by Belief Change: A Principled Approach
Lecture Notes in Computer Science | 2010-08-31 | Paper |
The role of goals in belief selection
Logic Journal of the IGPL | 2010-08-13 | Paper |
Preference-based argumentation: arguments supporting multiple values
International Journal of Approximate Reasoning | 2010-03-18 | Paper |
Meta-argumentation modelling. I: Methodology and techniques
Studia Logica | 2010-03-17 | Paper |
Preface for Studia Logica special issue (2)
Studia Logica | 2010-03-17 | Paper |
Obligations as social constructs
Lecture Notes in Computer Science | 2010-03-05 | Paper |
The interplay between relationships, roles and objects
Fundamentals of Software Engineering | 2010-01-28 | Paper |
A Complete Conclusion-Based Procedure for Judgment Aggregation
Algorithmic Decision Theory | 2009-11-17 | Paper |
Fibred security language
Studia Logica | 2009-11-16 | Paper |
Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms
Annals of Operations Research | 2009-08-04 | Paper |
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Algorithms for finding coalitions exploiting a new reciprocity condition
Logic Journal of the IGPL | 2009-06-29 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
A Logic of Abstract Argumentation
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Constitutive Norms in the Design of Normative Multiagent Systems
Lecture Notes in Computer Science | 2009-04-28 | Paper |
A Logical Architecture of a Normative System
Deontic Logic and Artificial Normative Systems | 2008-10-09 | Paper |
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms
Deontic Logic and Artificial Normative Systems | 2008-10-09 | Paper |
Delegation of Power in Normative Multiagent Systems
Deontic Logic and Artificial Normative Systems | 2008-10-09 | Paper |
An Attacker Model for Normative Multi-agent Systems
Multi-Agent Systems and Applications V | 2008-09-25 | Paper |
On the Acceptability of Incompatible Arguments
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Substantive and procedural norms in normative multiagent systems
Journal of Applied Logic | 2008-06-26 | Paper |
Programming Cognitive Agents in Defeasible Logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
scientific article; zbMATH DE number 2209425 (Why is no real title available?)
| 2005-09-28 | Paper |
Beliefs, obligations, intentions, and desires as components in an agent architecture
International Journal of Intelligent Systems | 2005-09-22 | Paper |
scientific article; zbMATH DE number 2131730 (Why is no real title available?)
| 2005-02-01 | Paper |
How to decide what to do?
European Journal of Operational Research | 2004-11-12 | Paper |
Realistic desires
Journal of Applied Non-Classical Logics | 2004-03-07 | Paper |
scientific article; zbMATH DE number 1932901 (Why is no real title available?)
| 2004-01-22 | Paper |
scientific article; zbMATH DE number 2019850 (Why is no real title available?)
| 2004-01-04 | Paper |
scientific article; zbMATH DE number 1983273 (Why is no real title available?)
| 2003-09-18 | Paper |
scientific article; zbMATH DE number 1983289 (Why is no real title available?)
| 2003-09-18 | Paper |
scientific article; zbMATH DE number 1980921 (Why is no real title available?)
| 2003-09-15 | Paper |
Permission from an input/output perspective
Journal of Philosophical Logic | 2003-08-28 | Paper |
Contextual deontic logic: Normative agents, violations and independence
Annals of Mathematics and Artificial Intelligence | 2003-03-10 | Paper |
scientific article; zbMATH DE number 1844498 (Why is no real title available?)
| 2002-12-12 | Paper |
scientific article; zbMATH DE number 1754693 (Why is no real title available?)
| 2002-07-02 | Paper |
Credulous reasoning about defaults
| 2002-04-24 | Paper |
scientific article; zbMATH DE number 1552268 (Why is no real title available?)
| 2001-10-21 | Paper |
The logic of reusable propositional output with the fulfilment constraint
| 2001-10-21 | Paper |
Input/output logics
Journal of Philosophical Logic | 2001-07-11 | Paper |
Constraints for input/output logics
Journal of Philosophical Logic | 2001-06-26 | Paper |
Parameters for utilitarian desires in a qualitative decision theory.
Applied Intelligence | 2001-01-01 | Paper |
scientific article; zbMATH DE number 1301748 (Why is no real title available?)
| 2000-09-27 | Paper |
scientific article; zbMATH DE number 1490027 (Why is no real title available?)
| 2000-08-13 | Paper |
Contrary-to-duty reasoning with preference-based dyadic obligations
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
scientific article; zbMATH DE number 1405875 (Why is no real title available?)
| 2000-03-29 | Paper |
scientific article; zbMATH DE number 1418382 (Why is no real title available?)
| 2000-03-19 | Paper |
scientific article; zbMATH DE number 1301747 (Why is no real title available?)
| 2000-03-13 | Paper |
scientific article; zbMATH DE number 1341464 (Why is no real title available?)
| 1999-09-22 | Paper |
scientific article; zbMATH DE number 1163369 (Why is no real title available?)
| 1999-06-07 | Paper |
scientific article; zbMATH DE number 1052534 (Why is no real title available?)
| 1997-08-26 | Paper |
