| Publication | Date of Publication | Type |
|---|
| Actual cause and chancy causation in \textit{stit}: a preliminary account | 2024-10-29 | Paper |
A unified logical framework for reasoning about deontic properties of actions and states
Logic and Logical Philosophy | 2023-12-12 | Paper |
Some forms of collectively bringing about or `seeing to it that'
Journal of Philosophical Logic | 2021-05-07 | Paper |
Formal specification of security requirements using the theory of normative positions
Computer Security — ESORICS 92 | 2021-04-07 | Paper |
Specifying norm-governed computational societies
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Normative positions | 2017-07-11 | Paper |
A computational theory of normative positions
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
A logic-based calculus of events
New Generation Computing | 2017-02-28 | Paper |
| scientific article; zbMATH DE number 6297880 (Why is no real title available?) | 2014-05-22 | Paper |
Argumentation and answer set programming
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Executable specification of open multi-agent systems
Logic Journal of the IGPL | 2010-04-08 | Paper |
Distributed and paged suffix trees for large genetic databases
Combinatorial Pattern Matching | 2010-04-06 | Paper |
AI 2003: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2009-08-07 | Paper |
An executable specification of a formal argumentation protocol
Artificial Intelligence | 2009-07-09 | Paper |
The Deontic Component of Action Language $n{\mathcal{C}}+$
Deontic Logic and Artificial Normative Systems | 2008-10-09 | Paper |
Agent strands in the action language \(n\mathcal C +\)
Journal of Applied Logic | 2008-06-26 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Distant causation in \(\mathcal C+\)
Studia Logica | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2222698 (Why is no real title available?) | 2005-11-03 | Paper |
| scientific article; zbMATH DE number 2088151 (Why is no real title available?) | 2004-08-12 | Paper |
A formalisation of violation, error recovery, and enforcement in the bit transmission problem
Journal of Applied Logic | 2004-08-06 | Paper |
Deontic interpreted systems
Studia Logica | 2004-01-23 | Paper |
| scientific article; zbMATH DE number 1950647 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1947526 (Why is no real title available?) | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1926600 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1735836 (Why is no real title available?) | 2002-10-15 | Paper |
| scientific article; zbMATH DE number 1405888 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1163374 (Why is no real title available?) | 1999-06-07 | Paper |
Contrary-to-duty obligations
Studia Logica | 1997-10-26 | Paper |
| scientific article; zbMATH DE number 928022 (Why is no real title available?) | 1997-02-09 | Paper |
| scientific article; zbMATH DE number 638309 (Why is no real title available?) | 1995-03-20 | Paper |
Negation as inconsistency. I
The Journal of Logic Programming | 1986-01-01 | Paper |
