Marek Sergot

Available identifiers

zbMath Open sergot.marek-jDBLPs/MarekJSergotWikidataQ102342670 ScholiaQ102342670MaRDI QIDQ514238

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marek Sergot