Marek Sergot

Available identifiers

zbMath Open sergot.marek-jDBLPs/MarekJSergotWikidataQ102342670 ScholiaQ102342670MaRDI QIDQ514238

List of research outcomes

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	2023-12-12	Paper
Some forms of collectively bringing about or `seeing to it that'	2021-05-07	Paper
Formal specification of security requirements using the theory of normative positions	2021-04-07	Paper
Specifying norm-governed computational societies	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q5271380	2017-07-11	Paper
A computational theory of normative positions	2017-06-13	Paper
A logic-based calculus of events	2017-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q5417806	2014-05-22	Paper
Argumentation and Answer Set Programming	2011-05-19	Paper
Executable specification of open multi-agent systems	2010-04-08	Paper
Distributed and Paged Suffix Trees for Large Genetic Databases	2010-04-06	Paper
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
An executable specification of a formal argumentation protocol	2009-07-09	Paper
The Deontic Component of Action Language $n{\mathcal{C}}+$	2008-10-09	Paper
Agent strands in the action language \(n\mathcal C +\)	2008-06-26	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Distant causation in \(\mathcal C+\)	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q5701517	2005-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4739287	2004-08-12	Paper
A formalisation of violation, error recovery, and enforcement in the bit transmission problem	2004-08-06	Paper
Deontic interpreted systems	2004-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4413371	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4411557	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4707732	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4329191	2002-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4938884	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4394901	1999-06-07	Paper
Contrary-to-duty obligations	1997-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4893675	1997-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4305311	1995-03-20	Paper
Negation as inconsistency. I	1986-01-01	Paper

Research outcomes over time

This page was built for person: Marek Sergot