×

zbMATH — the first resource for mathematics

Sergot, Marek J.

Compute Distance To:
Author ID: sergot.marek-j Recent zbMATH articles by "Sergot, Marek J."
Published as: Sergot, M.; Sergot, M. J.; Sergot, Marek; Sergot, Marek J.
External Links: MGP · Wikidata
Documents Indexed: 32 Publications since 1986, including 2 Books
Biographic References: 3 Publications

Publications by Year

Citations contained in zbMATH

25 Publications have been cited 227 times in 178 Documents Cited by Year
A logic-based calculus of events. Zbl 1356.68221
Kowalski, Robert; Sergot, Marek
86
1986
Contrary-to-duty obligations. Zbl 0873.03025
Prakken, Henry; Sergot, Marek
25
1996
A formal characterisation of institutionalised power. Zbl 0855.03014
Jones, Andrew J. I.; Sergot, Marek
19
1996
Deontic interpreted systems. Zbl 1033.03012
Lomuscio, Alessio; Sergot, Marek
15
2003
Dyadic deontic logic and contrary-to-duty obligations. Zbl 0913.03009
Prakken, Henry; Sergot, Marek
12
1997
Argumentation and answer set programming. Zbl 1326.68279
Toni, Francesca; Sergot, Marek
8
2011
The deontic component of action language \(n{\mathcal{C}}+\). Zbl 1148.68489
Sergot, Marek; Craven, Robert
8
2006
An executable specification of a formal argumentation protocol. Zbl 1168.68557
Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
7
2007
Negation as inconsistency. I. Zbl 0606.68086
Gabbay, D. M.; Sergot, M. J.
7
1986
Specifying norm-governed computational societies. Zbl 1367.68320
Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
5
2009
Specifying electronic societies with the causal calculator. Zbl 1018.68529
Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
5
2003
Inference of gene relations from microarray data by abduction. Zbl 1152.68417
Papatheodorou, Irene; Kakas, Antonis; Sergot, Marek
4
2005
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Zbl 1076.68074
Lomuscio, Alessio; Sergot, Marek
4
2004
Agent strands in the action language \(n\mathcal C +\). Zbl 1149.68419
Craven, Robert; Sergot, Marek
3
2008
Modelling unreliable and untrustworthy agent behaviour. Zbl 1090.68091
Sergot, Marek
3
2005
A computational theory of normative positions. Zbl 1365.03020
Sergot, Marek
3
2001
Normative positions. Zbl 0939.03036
Sergot, Marek
3
1999
Distant causation in \(\mathcal C+\). Zbl 1079.03018
Craven, Robert; Sergot, Marek
2
2005
Distributed and paged suffix trees for large genetic databases. Zbl 1279.68066
Clifford, Raphaël; Sergot, Marek
2
2003
Some examples formulated in a ‘seeing to it that’ logic: illustrations, observations, problems. Zbl 1287.03064
Sergot, Marek
1
2014
Normative positions. Zbl 1367.03046
Sergot, Marek
1
2013
Executable specification of open multi-agent systems. Zbl 1197.68081
Artikis, Alexander; Sergot, Marek
1
2010
On multi-agent systems specification via deontic logic. Zbl 1050.68131
Lomuscio, Alessio; Sergot, Marek
1
2002
Using authority certificates to create management structures. Zbl 1017.68674
Firozabadi, Babak Sadighi; Sergot, Marek; Bandmann, Olav
1
2002
On the representation of action and agency in the theory of normative positions. Zbl 0995.03020
Sergot, Marek; Richards, Fiona
1
2001
Some examples formulated in a ‘seeing to it that’ logic: illustrations, observations, problems. Zbl 1287.03064
Sergot, Marek
1
2014
Normative positions. Zbl 1367.03046
Sergot, Marek
1
2013
Argumentation and answer set programming. Zbl 1326.68279
Toni, Francesca; Sergot, Marek
8
2011
Executable specification of open multi-agent systems. Zbl 1197.68081
Artikis, Alexander; Sergot, Marek
1
2010
Specifying norm-governed computational societies. Zbl 1367.68320
Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
5
2009
Agent strands in the action language \(n\mathcal C +\). Zbl 1149.68419
Craven, Robert; Sergot, Marek
3
2008
An executable specification of a formal argumentation protocol. Zbl 1168.68557
Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
7
2007
The deontic component of action language \(n{\mathcal{C}}+\). Zbl 1148.68489
Sergot, Marek; Craven, Robert
8
2006
Inference of gene relations from microarray data by abduction. Zbl 1152.68417
Papatheodorou, Irene; Kakas, Antonis; Sergot, Marek
4
2005
Modelling unreliable and untrustworthy agent behaviour. Zbl 1090.68091
Sergot, Marek
3
2005
Distant causation in \(\mathcal C+\). Zbl 1079.03018
Craven, Robert; Sergot, Marek
2
2005
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Zbl 1076.68074
Lomuscio, Alessio; Sergot, Marek
4
2004
Deontic interpreted systems. Zbl 1033.03012
Lomuscio, Alessio; Sergot, Marek
15
2003
Specifying electronic societies with the causal calculator. Zbl 1018.68529
Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
5
2003
Distributed and paged suffix trees for large genetic databases. Zbl 1279.68066
Clifford, Raphaël; Sergot, Marek
2
2003
On multi-agent systems specification via deontic logic. Zbl 1050.68131
Lomuscio, Alessio; Sergot, Marek
1
2002
Using authority certificates to create management structures. Zbl 1017.68674
Firozabadi, Babak Sadighi; Sergot, Marek; Bandmann, Olav
1
2002
A computational theory of normative positions. Zbl 1365.03020
Sergot, Marek
3
2001
On the representation of action and agency in the theory of normative positions. Zbl 0995.03020
Sergot, Marek; Richards, Fiona
1
2001
Normative positions. Zbl 0939.03036
Sergot, Marek
3
1999
Dyadic deontic logic and contrary-to-duty obligations. Zbl 0913.03009
Prakken, Henry; Sergot, Marek
12
1997
Contrary-to-duty obligations. Zbl 0873.03025
Prakken, Henry; Sergot, Marek
25
1996
A formal characterisation of institutionalised power. Zbl 0855.03014
Jones, Andrew J. I.; Sergot, Marek
19
1996
A logic-based calculus of events. Zbl 1356.68221
Kowalski, Robert; Sergot, Marek
86
1986
Negation as inconsistency. I. Zbl 0606.68086
Gabbay, D. M.; Sergot, M. J.
7
1986
all top 5

Cited by 330 Authors

6 Artikis, Alexander
6 Sadri, Fariba
5 Kowalski, Robert A.
5 Lomuscio, Alessio
5 Paliouras, Georgios
5 Schneider, Gerardo
4 Castro, Pablo F.
4 Lee, Joohyung
4 Levesque, Hector J.
4 Lifschitz, Vladimir
4 Maibaum, Thomas Stephen Edward
4 van der Torre, Leendert W. N.
3 Baral, Chitta R.
3 Cabalar, Pedro
3 Gabbay, Dov M.
3 Governatori, Guido
3 Grossi, Davide
3 Inoue, Katsumi
3 Lindahl, Lars-Ake
3 Odelstad, Jan
3 Parent, Xavier
3 Prisacariu, Cristian
3 Rotolo, Antonino
3 Russo, Alessandra M.
3 Sartor, Giovanni
3 Schaub, Torsten H.
3 Sergot, Marek J.
3 Thielscher, Michael
3 Toni, Francesca
3 Torroni, Paolo
2 Alferes, José Júlio
2 Belle, Vaishak
2 Bidoit, Nicole
2 Boella, Guido
2 Bradley, Elizabeth
2 Dignum, F. P. M.
2 Gabaldon, Alfredo
2 Galton, Antony P.
2 Katzouris, Nikos
2 Lakemeyer, Gerhard
2 Lin, Fangzhen
2 Mancarella, Paolo
2 Mello, Paola
2 Meyer, John-Jules Charles
2 Morgenstern, Leora
2 Norman, Timothy J.
2 Pace, Gordon J.
2 Pinto, Javier A.
2 Prakken, Henry
2 Ray, Oliver
2 Reed, Chris
2 Santos, Paulo Eduardo
2 Satoh, Ken
2 Skarlatidis, Anastasios
2 Stolle, Reinhard
2 Strass, Hannes
2 Tran, Nam-Van
2 Turner, Hudson
2 van der Hoek, Wiebe
2 Wooldridge, Michael J.
2 Yang, Fangkai
2 Zbrzezny, Andrzej
1 Abadi, Martín
1 Abraham, Michael
1 Ågotnes, Thomas
1 Ahrendt, Wolfgang
1 Akman, Varol
1 Alberti, Marco
1 Aldewereld, Huib
1 Alpkocak, Adil
1 Alrajeh, Dalal
1 Alves, Sandra
1 Amirat, Yacine
1 Arieli, Ofer
1 Augusto, Juan Carlos
1 Baier, Jorge A.
1 Balbiani, Philippe
1 Banti, Federico
1 Bartocci, Ezio
1 Beetz, Michael
1 Bench-Capon, Trevor J. M.
1 Bennett, Brandon
1 Bentzen, Martin Mose
1 Bertolino, Bruno
1 Bhatt, Mehul
1 Bhattacharjee, G. P.
1 Białek, Łukasz
1 Bianculli, Domenico
1 Bikakis, Antonis
1 Bochman, Alexander
1 Bogaerts, Bart
1 Böhlen, Michael H.
1 Bonner, Anthony J.
1 Bourguiba, Imen
1 Broda, Krysia B.
1 Broda, Sabine
1 Broersen, Jan M.
1 Brogi, Antonio
1 Brown, Mark A.
1 Bruynooghe, Maurice
...and 230 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.