| Publication | Date of Publication | Type |
|---|
| Possible world semantics for analogous reasoning | 2019-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619829 | 2019-02-07 | Paper |
| Programming norm change | 2018-08-28 | Paper |
| Regulating competing coalitions: a logic for socially optimal group choices | 2018-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576223 | 2018-07-12 | Paper |
| General directionality and the local behavior of argumentation semantics | 2017-11-07 | Paper |
| A two-phase method for extracting explanatory arguments from Bayesian networks | 2016-12-15 | Paper |
| Explaining Bayesian Networks Using Argumentation | 2015-11-10 | Paper |
| Dynamic Deontic Logic, Segerberg-Style | 2015-04-10 | Paper |
| Forbidding undesirable agreements | 2015-02-26 | Paper |
| Reasoning about Dynamic Normative Systems | 2015-01-14 | Paper |
| A formal model of emotion triggers: an approach for BDI agents | 2013-10-29 | Paper |
| Toward reasoning about security protocols: a semantic approach | 2013-09-25 | Paper |
| Dialogue games for inconsistent and biased information | 2013-08-27 | Paper |
| A logic for normative multi-agent programs | 2013-05-06 | Paper |
| Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation | 2012-09-21 | Paper |
| GOAL Agents Instantiate Intention Logic | 2012-07-23 | Paper |
| Reasoning about plan revision in BDI agent programs | 2012-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999191 | 2011-05-11 | Paper |
| Agents with emotions | 2011-01-05 | Paper |
| Correctness of Multi-Agent Programs: A Hybrid Approach | 2010-11-11 | Paper |
| Model Checking Normative Agent Organisations | 2010-11-09 | Paper |
| Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems | 2010-09-29 | Paper |
| Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games | 2010-02-02 | Paper |
| Intentions and Assignments | 2010-01-07 | Paper |
| An Update Operator for Strategic Ability | 2010-01-07 | Paper |
| Normative Multi-agent Programs and Their Logics | 2009-11-12 | Paper |
| Determining the environment: a modal logic for closed interaction | 2009-11-04 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| Deontic Logic in Computer Science | 2009-04-30 | Paper |
| A Compositional Semantics of Plan Revision in Intelligent Agents | 2009-04-28 | Paper |
| Contextual Terminologies | 2009-04-28 | Paper |
| Mental State Abduction of BDI-Based Agents | 2009-02-12 | Paper |
| Strategic Agent Communication: An Argumentation-Driven Approach | 2009-02-12 | Paper |
| A New Logical Semantics for Agent Communication | 2009-01-20 | Paper |
| Prototyping 3APL in the Maude Term Rewriting Language | 2009-01-20 | Paper |
| A Logic for Closed-World Interaction | 2008-10-27 | Paper |
| Counts-as: Classification or Constitution? An Answer Using Modal Logic | 2008-10-09 | Paper |
| A Deontic Logic for Socially Optimal Norms | 2008-08-28 | Paper |
| The many faces of counts-as: A formal analysis of constitutive rules | 2008-06-26 | Paper |
| Our Quest for the Holy Grail of Agent Verification | 2008-01-04 | Paper |
| A verification framework for agent programming with declarative goals | 2007-07-25 | Paper |
| Classificatory Aspects of Counts-as: An Analysis in Modal Logic | 2007-04-13 | Paper |
| Dynamic Logic for Plan Revision in Agent Programming | 2007-04-05 | Paper |
| Reasoning about emotional agents | 2007-02-09 | Paper |
| Semantics of plan revision in intelligent agents | 2006-04-06 | Paper |
| Process algebra and constraint programming for modeling interactions in MAS | 2006-02-08 | Paper |
| Objects, Agents, and Features | 2005-12-27 | Paper |
| Objects, Agents, and Features | 2005-12-27 | Paper |
| Agents and Computational Autonomy | 2005-12-27 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| Argumentation in Multi-Agent Systems | 2005-09-14 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Update semantics of security protocols | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681370 | 2005-06-23 | Paper |
| Formal semantics of meta-level architectures: Temporal epistemic reflection | 2005-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739281 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738161 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473082 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473080 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460679 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4423027 | 2003-08-24 | Paper |
| A fully abstract model for the exchange of information in multi-agent systems. | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532195 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414255 | 2003-07-23 | Paper |
| Iterated Belief Change in Multi-Agent Systems | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536331 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535115 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535109 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535117 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329182 | 2002-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536751 | 2002-07-15 | Paper |
| Dynamic logic for reasoning about actions and agents | 2002-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536604 | 2002-06-25 | Paper |
| Linear time and branching time semantics for recursion with merge | 2002-05-13 | Paper |
| Modal logic with bounded quantification over worlds | 2002-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767116 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952303 | 2001-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757826 | 2001-12-04 | Paper |
| On agents that have the ability to choose | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2728930 | 2001-10-23 | Paper |
| On dynamically generated ontology translators in agent communication | 2001-09-09 | Paper |
| Regular database update logics | 2001-08-20 | Paper |
| On programming KARO agents | 2001-05-16 | Paper |
| Formalizing potential of agents. The KARO framework revisited | 2001-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395140 | 2001-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535111 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955425 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501165 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4496270 | 2000-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4496260 | 2000-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938888 | 2000-07-24 | Paper |
| A logical approach to the dynamics of commitments | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247689 | 1999-12-07 | Paper |
| Temporalizing epistemic default logic | 1999-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4236374 | 1999-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4252258 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400801 | 1999-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4221352 | 1999-01-03 | Paper |
| Group knowledge is not always distributed (neither is it always implicit) | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842793 | 1998-08-20 | Paper |
| A modal contrastive logic: The logic of ``but | 1998-05-17 | Paper |
| Informational independence: Models and normal forms | 1998-01-01 | Paper |
| The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? | 1997-10-09 | Paper |
| Seeing is believing. And so are hearing and jumping | 1997-08-19 | Paper |
| Actors, actions, and initiative in normative system specification | 1997-05-13 | Paper |
| Counterfactual reasoning by (means of) defaults | 1997-05-11 | Paper |
| Free choice and contextually permitted actions | 1997-04-21 | Paper |
| The dynamics of default reasoning | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867029 | 1996-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858037 | 1995-12-11 | Paper |
| Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases | 1995-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835902 | 1995-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287509 | 1994-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4697032 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027733 | 1993-02-21 | Paper |
| MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005185 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975160 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713374 | 1992-06-25 | Paper |
| Hiding in stream semantics of uniform concurrency | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5753567 | 1989-01-01 | Paper |
| Step semantics for ``true concurrency with recursion | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3203001 | 1989-01-01 | Paper |
| A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic | 1988-01-01 | Paper |
| Metric semantics for concurrency | 1988-01-01 | Paper |
| Transition systems, metric spaces and ready sets in the semantics of uniform concurrency | 1988-01-01 | Paper |
| Applications of compactness in the Smyth powerdomain of streams | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811699 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811700 | 1987-01-01 | Paper |
| Infinite streams and finite observations in the semantics of uniform concurrency | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721635 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783262 | 1987-01-01 | Paper |
| Order and metric in the stream semantics of elemental concurrency | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745260 | 1986-01-01 | Paper |
| Merging regular processes by means of fixed-point theory | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681902 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3217583 | 1984-01-01 | Paper |
| Corrigendum: On infinite computations in denotational semantics | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3042376 | 1983-01-01 | Paper |
| On infinite computations in denotational semantics | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666247 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3935454 | 1982-01-01 | Paper |
| A simple transfer lemma for algebraic specifications | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939205 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340122 | 1982-01-01 | Paper |
| A simple transfer lemma for algebraic specifications | 1982-01-01 | Paper |
| On the elimination of iteration quantifiers in a fragment of algorithmic logic | 1982-01-01 | Paper |
| Small specifications for large finite data structures | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914409 | 1981-01-01 | Paper |
