Marek Sergot

From MaRDI portal
Person:514238

Available identifiers

zbMath Open sergot.marek-jDBLPs/MarekJSergotWikidataQ102342670 ScholiaQ102342670MaRDI QIDQ514238

List of research outcomes





PublicationDate of PublicationType
Actual cause and chancy causation in \textit{stit}: a preliminary account2024-10-29Paper
A unified logical framework for reasoning about deontic properties of actions and states2023-12-12Paper
Some forms of collectively bringing about or `seeing to it that'2021-05-07Paper
Formal specification of security requirements using the theory of normative positions2021-04-07Paper
Specifying norm-governed computational societies2017-07-12Paper
https://portal.mardi4nfdi.de/entity/Q52713802017-07-11Paper
A computational theory of normative positions2017-06-13Paper
A logic-based calculus of events2017-02-28Paper
https://portal.mardi4nfdi.de/entity/Q54178062014-05-22Paper
Argumentation and Answer Set Programming2011-05-19Paper
Executable specification of open multi-agent systems2010-04-08Paper
Distributed and Paged Suffix Trees for Large Genetic Databases2010-04-06Paper
AI 2003: Advances in Artificial Intelligence2009-08-07Paper
An executable specification of a formal argumentation protocol2009-07-09Paper
The Deontic Component of Action Language $n{\mathcal{C}}+$2008-10-09Paper
Agent strands in the action language \(n\mathcal C +\)2008-06-26Paper
Logic Programming and Nonmonotonic Reasoning2006-06-23Paper
Logic Programming and Nonmonotonic Reasoning2006-06-23Paper
Distant causation in \(\mathcal C+\)2005-12-02Paper
https://portal.mardi4nfdi.de/entity/Q57015172005-11-03Paper
https://portal.mardi4nfdi.de/entity/Q47392872004-08-12Paper
A formalisation of violation, error recovery, and enforcement in the bit transmission problem2004-08-06Paper
Deontic interpreted systems2004-01-23Paper
https://portal.mardi4nfdi.de/entity/Q44133712003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q44115572003-07-09Paper
https://portal.mardi4nfdi.de/entity/Q47077322003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q43291912002-10-15Paper
https://portal.mardi4nfdi.de/entity/Q49388842000-02-23Paper
https://portal.mardi4nfdi.de/entity/Q43949011999-06-07Paper
Contrary-to-duty obligations1997-10-26Paper
https://portal.mardi4nfdi.de/entity/Q48936751997-02-09Paper
https://portal.mardi4nfdi.de/entity/Q43053111995-03-20Paper
Negation as inconsistency. I1986-01-01Paper

Research outcomes over time

This page was built for person: Marek Sergot