Marek J. Sergot
发表
Alexander Artikis,
Georgios Paliouras,
Marek J. Sergot,
2009,
EiMM '10.
Marek J. Sergot,
Babak Sadighi Firozabadi,
2002,
Proceedings Third International Workshop on Policies for Distributed Systems and Networks.
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2002,
AOSE.
Alessio Lomuscio,
Marek J. Sergot,
M. Sergot,
2001,
ATAL.
Alexander Artikis,
Georgios Paliouras,
Marek J. Sergot,
2012,
DEBS.
Marek J. Sergot,
Derek Huntley,
Angela Baldo,
2006,
Bioinform..
Marek J. Sergot,
Robert A. Kowalski,
R. Kowalski,
1989,
New Generation Computing.
Marek J. Sergot,
Fehime Nihan Kesim,
M. Sergot,
1992,
Fifth Generation Computer Systems.
Marek J. Sergot,
2002,
Computational Logic: Logic Programming and Beyond.
Irene Papatheodorou,
Marek J. Sergot,
Antonis C. Kakas,
2005,
LPNMR.
Marek J. Sergot,
Paulo Jorge de Sousa Azevedo,
M. Sergot,
1994,
International Conference on Logic Programming.
Marek J. Sergot,
Babak Sadighi Firozabadi,
Erik Rissanen,
2004,
Security Protocols Workshop.
Marek J. Sergot,
Andrew J. I. Jones,
M. Sergot,
1996,
Studia Logica: An International Journal for Symbolic Logic.
Marek J. Sergot,
Fehime Nihan Kesim,
M. Sergot,
1993,
DOOD.
Alessio Lomuscio,
Marek J. Sergot,
Hongyang Qu,
2007,
ICSOC.
Marek J. Sergot,
Aspassia Daskalopulu,
2002,
Decis. Support Syst..
Indian central civil service pension rules: a case study in logic programming applied to regulations
Marek J. Sergot,
K. K. Bajaj,
A. S. Kamble,
1991,
ICAIL '91.
Alexander Artikis,
Georgios Paliouras,
Marek J. Sergot,
2015,
IEEE Transactions on Knowledge and Data Engineering.
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2003,
ICAIL.
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2002,
AAMAS '02.
Marek J. Sergot,
Kostas Stathis,
1998,
Interact. Comput..
Marek J. Sergot,
Peter Hammond,
Robert A. Kowalski,
1986,
CACM.
John Fox,
Marek J. Sergot,
Michael J. E. Sternberg,
2006,
Bioinform..
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2004,
DALT.
Alexander Artikis,
Marek J. Sergot,
2010,
Log. J. IGPL.
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2005,
ICAIL '05.
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2007,
Artif. Intell..
Marek J. Sergot,
Andrew J. I. Jones,
2004,
Artificial Intelligence and Law.
Guido Governatori,
Alessio Lomuscio,
Marek J. Sergot,
2003,
Australian Conference on Artificial Intelligence.
Keith L. Clark,
Marek J. Sergot,
Dorian Gaertner,
2006,
COIN@AAMAS/ECAI.
Marek J. Sergot,
Robert Craven,
2005,
LPNMR.
Limsoon Wong,
Marek J. Sergot,
Wilson Wen Bin Goh,
2012,
Bioinform..
Marek J. Sergot,
Kostas Stathis,
M. Sergot,
1996,
BCS HCI.
Elisa Bertino,
Anna Cinzia Squicciarini,
Marek J. Sergot,
2004,
Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..
Marek J. Sergot,
Chor Sang Kwok,
M. Sergot,
1988,
ICLP/SLP.
Alessio Lomuscio,
Marek J. Sergot,
M. Sergot,
2004,
Journal of Applied Logic.
Dov M. Gabbay,
Marek J. Sergot,
D. Gabbay,
1986,
The Journal of Logic Programming.
Marek J. Sergot,
Robert Craven,
M. Sergot,
2006,
DEON.
Marek J. Sergot,
M. Sergot,
2008,
ESAW.
Alessio Lomuscio,
Marek J. Sergot,
M. Sergot,
2002,
AAMAS '02.
Marek J. Sergot,
Babak Sadighi Firozabadi,
1999,
Security Protocols Workshop.
Marek J. Sergot,
M. Sergot,
2004,
MSRAS.
Marek J. Sergot,
Babak Sadighi Firozabadi,
Erik Rissanen,
2004,
Formal Aspects in Security and Trust.
Marek J. Sergot,
M. Sergot,
1994,
ICLP Workshop: Legal Application of Logic Programming.
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2006,
Comput. J..
Trevor J. M. Bench-Capon,
Marek J. Sergot,
Tom Routen,
1987,
ICAIL '87.
Marek J. Sergot,
Fehime Nihan Kesim,
M. Sergot,
1996,
IEEE Trans. Knowl. Data Eng..
Marek J. Sergot,
Fiona Richards,
2001,
Fundam. Informaticae.
Marek J. Sergot,
Richard W. Southwick,
Yannis Cosmadopoulos,
1991,
PDK.
Marek J. Sergot,
Andrew J. I. Jones,
M. Sergot,
1996,
Log. J. IGPL.
Henry Prakken,
Marek J. Sergot,
M. Sergot,
1996,
Stud Logica.
Marek J. Sergot,
Peter Hammond,
M. Sergot,
1996,
J. Log. Program..
José Hernández-Orallo,
Pushmeet Kohli,
Marek J. Sergot,
2019,
Artif. Intell..
Marek J. Sergot,
Babak Sadighi Firozabadi,
B. S. Firozabadi,
2002,
Security Protocols Workshop.
Marek J. Sergot,
Robert Craven,
M. Sergot,
2008,
J. Appl. Log..
Marek J. Sergot,
Aspassia Daskalopulu,
2008,
AI & SOCIETY.
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2009,
TOCL.
Alessio Lomuscio,
Marek J. Sergot,
M. Sergot,
2003,
Stud Logica.
Alexander Artikis,
Georgios Paliouras,
Marek J. Sergot,
2015,
ArXiv.
Marek J. Sergot,
Robert Craven,
2005,
Stud Logica.
Marek J. Sergot,
Claudio Bartolini,
Andrew D. H. Farrell,
2005,
Int. J. Cooperative Inf. Syst..
Alexander Artikis,
Marek J. Sergot,
Jeremy V. Pitt,
2005,
AAMAS '05.
Marek J. Sergot,
Richard Evans,
Andrew Stephenson,
2019,
Journal of Philosophical Logic.
Marek J. Sergot,
M. Sergot,
1995,
Future Gener. Comput. Syst..
Duminda Wijesekera,
Marek J. Sergot,
Steve Barker,
2008,
TSEC.
Marek J. Sergot,
Fehime Nihan Kesim,
M. Sergot,
1995,
KDOOD/TDOOD.
Marek J. Sergot,
Raphaël Clifford,
M. Sergot,
2003,
CPM.
Limsoon Wong,
Marek J. Sergot,
Wilson Wen Bin Goh,
2012,
Int. J. Bioinform. Res. Appl..
Marek J. Sergot,
Babak Sadighi Firozabadi,
Olav L. Bandmann,
2001,
Security Protocols Workshop.
Marek J. Sergot,
Aspassia Daskalopulu,
1995,
ICAIL '95.
Marek J. Sergot,
2010,
DEON.
Marek J. Sergot,
Robert A. Kowalski,
1985,
IJCAI.
Alessio Lomuscio,
Marek J. Sergot,
Franco Raimondi,
2003,
AAMAS '03.
José Hernández-Orallo,
Pushmeet Kohli,
Marek J. Sergot,
2019,
Artificial Intelligence.
Who is obliged when many are involved? Labelled transition system modelling of how obligation arises
Marek J. Sergot,
Piotr Kulicki,
Robert Trypuz,
2021,
Artif. Intell. Law.
Pushmeet Kohli,
Marek J. Sergot,
Lars Buesing,
2021,
Artif. Intell..
Marek J. Sergot,
2021,
J. Philos. Log..