| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7659879 (Why is no real title available?)
| 2023-03-06 | Paper |
Runtime verification through forward chaining
| 2021-06-28 | Paper |
AGM contraction and revision of rules
Journal of Logic, Language and Information | 2018-02-15 | Paper |
On the input/output behavior of argumentation frameworks
Artificial Intelligence | 2014-10-27 | Paper |
Reasoning about delegation and revocation schemes in answer set programming
Journal Of Logic And Computation | 2014-04-01 | Paper |
Interaction in normative multi-agent systems
| 2013-12-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 |
Visualizing normative systems: an abstract approach
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Time and defeasibility in FIPA ACL semantics
Journal of Applied Logic | 2012-10-16 | 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 |
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 |
The role of goals in belief selection
Logic Journal of the IGPL | 2010-08-13 | Paper |
Normative Multiagent Systems: Guest Editors' Introduction
Logic Journal of the IGPL | 2010-04-08 | Paper |
Meta-argumentation modelling. I: Methodology and techniques
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 meta-model of access control in a fibred security language
Studia Logica | 2009-11-16 | Paper |
Fibred security language
Studia Logica | 2009-11-16 | 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 |
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 |
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 |
Substantive and procedural norms in normative multiagent systems
Journal of Applied Logic | 2008-06-26 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
scientific article; zbMATH DE number 2209425 (Why is no real title available?)
| 2005-09-28 | Paper |
scientific article; zbMATH DE number 1943841 (Why is no real title available?)
| 2003-07-01 | Paper |
scientific article; zbMATH DE number 1927233 (Why is no real title available?)
| 2003-06-12 | Paper |
scientific article; zbMATH DE number 1897882 (Why is no real title available?)
| 2003-04-21 | Paper |
scientific article; zbMATH DE number 1884361 (Why is no real title available?)
| 2003-03-18 | Paper |
scientific article; zbMATH DE number 1755788 (Why is no real title available?)
| 2002-06-16 | Paper |
scientific article; zbMATH DE number 1629882 (Why is no real title available?)
| 2001-10-23 | Paper |
