The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marek J. Sergot: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert A. Kowalski, Marek J. Sergot
    A Logic-based Calculus of Events. [Citation Graph (11, 0)][DBLP]
    New Generation Comput., 1986, v:4, n:1, pp:67-95 [Journal]
  2. F. Nihan Kesim, Marek J. Sergot
    Versioning of Objects in Deductive Databases. [Citation Graph (1, 0)][DBLP]
    DOOD, 1993, pp:459-472 [Conf]
  3. F. Nihan Kesim, Marek J. Sergot
    On the Evolution of Objects in a Logic Programming Framework. [Citation Graph (1, 0)][DBLP]
    FGCS, 1992, pp:1052-1060 [Conf]
  4. Chor Sang Kwok, Marek J. Sergot
    Implicit Definition of Logic Programs. [Citation Graph (1, 0)][DBLP]
    ICLP/SLP, 1988, pp:374-385 [Conf]
  5. Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory
    The British Nationality Act as a Logic Program. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1986, v:29, n:5, pp:370-386 [Journal]
  6. Dov M. Gabbay, Marek J. Sergot
    Negation as Inconsistency I. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1986, v:3, n:1, pp:1-35 [Journal]
  7. Alexander Artikis, Marek J. Sergot, Jeremy Pitt
    Specifying Electronic Societies with the Causal Calculator. [Citation Graph (0, 0)][DBLP]
    AOSE, 2002, pp:1-15 [Conf]
  8. Alexander Artikis, Jeremy Pitt, Marek J. Sergot
    Animated specifications of computational societies. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:1053-1061 [Conf]
  9. Alessio Lomuscio, Franco Raimondi, Marek J. Sergot
    Towards model checking interpreted systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1054-1055 [Conf]
  10. Alessio Lomuscio, Marek J. Sergot
    On Multi-agent Systems Specification via Deontic Logic. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:86-99 [Conf]
  11. Alessio Lomuscio, Marek J. Sergot
    The bit transmission problem revisited. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:946-947 [Conf]
  12. Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis
    Formalization of a voting protocol for virtual organizations. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:373-380 [Conf]
  13. Guido Governatori, Alessio Lomuscio, Marek J. Sergot
    A Tableaux System for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:339-351 [Conf]
  14. Kostas Stathis, Marek J. Sergot
    Games as a Metaphor for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    BCS HCI, 1996, pp:19-33 [Conf]
  15. Marek J. Sergot
    Bob Kowalski: A Portrait. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:5-25 [Conf]
  16. Raphaël Clifford, Marek J. Sergot
    Distributed and Paged Suffix Trees for Large Genetic Databases. [Citation Graph (0, 0)][DBLP]
    CPM, 2003, pp:70-82 [Conf]
  17. Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek J. Sergot
    A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:221-238 [Conf]
  18. Robert A. Kowalski, Marek J. Sergot
    A Logic-Based Calculus of Events. [Citation Graph (0, 0)][DBLP]
    Foundations of Knowledge Base Management (Xania), 1985, pp:23-55 [Conf]
  19. Marek J. Sergot, Robert Craven
    The Deontic Component of Action Language nC+. [Citation Graph (0, 0)][DBLP]
    DEON, 2006, pp:222-237 [Conf]
  20. F. Nihan Kesim, Marek J. Sergot
    Schema Evolution in a Deductive Framework. [Citation Graph (0, 0)][DBLP]
    KDOOD/TDOOD, 1995, pp:69-74 [Conf]
  21. Andrew J. I. Jones, Marek J. Sergot
    Formal Specification of Security Requirements using the Theory of Normative Positions. [Citation Graph (0, 0)][DBLP]
    ESORICS, 1992, pp:103-121 [Conf]
  22. Alexander Artikis, Marek J. Sergot, Jeremy Pitt
    An Executable Specification of an Argumentation Protocol. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2003, pp:1-11 [Conf]
  23. Aspassia Daskalopulu, Marek J. Sergot
    A Constraint-Driven System for Contract Assembly. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1995, pp:62-70 [Conf]
  24. Trevor J. M. Bench-Capon, G. O. Robinson, Tom Routen, Marek J. Sergot
    Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1987, pp:190-198 [Conf]
  25. Jeremy V. Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis
    Voting in Online Deliberative Assemblies. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2005, pp:195-204 [Conf]
  26. Marek J. Sergot, A. S. Kamble, K. K. Bajaj
    Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1991, pp:118-127 [Conf]
  27. Paulo Jorge de Sousa Azevedo, Marek J. Sergot
    Recomputation-Free Lemmatization by Program Transformation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:739-740 [Conf]
  28. Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot
    Discretionary Overriding of Access Control in the Privilege Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:219-232 [Conf]
  29. Robert A. Kowalski, Marek J. Sergot
    Computer Representation of the Law. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1269-1270 [Conf]
  30. Marek J. Sergot, Robert Craven
    Some Logical Properties of Nonmonotonic Causal Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:198-210 [Conf]
  31. Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot
    Inference of Gene Relations from Microarray Data by Abduction. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:389-393 [Conf]
  32. Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick
    Data-driven Transformation of Meta-interpreters: A Sketch. [Citation Graph (0, 0)][DBLP]
    PDK, 1991, pp:301-308 [Conf]
  33. Babak Sadighi Firozabadi, Marek J. Sergot
    Revocation Schemes for Delegated Authorities. [Citation Graph (0, 0)][DBLP]
    POLICY, 2002, pp:210-213 [Conf]
  34. Babak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino
    A Framework for Contractual Resource Sharing in Coalitions. [Citation Graph (0, 0)][DBLP]
    POLICY, 2004, pp:117-126 [Conf]
  35. Babak Sadighi Firozabadi, Marek J. Sergot
    Contractual Access Control. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2002, pp:96-103 [Conf]
  36. Babak Sadighi Firozabadi, Marek J. Sergot
    Power and Permission in Security Systems. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 1999, pp:48-59 [Conf]
  37. Babak Sadighi Firozabadi, Marek J. Sergot, Olav L. Bandmann
    Using Authority Certificates to Create Management Structures. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2001, pp:134-145 [Conf]
  38. Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot
    Towards a Mechanism for Discretionary Overriding of Access Control. [Citation Graph (0, 0)][DBLP]
    Security Protocols Workshop, 2004, pp:312-319 [Conf]
  39. Aspassia Daskalopulu, Marek J. Sergot
    The Representation of Legal Contracts. [Citation Graph (0, 0)][DBLP]
    AI Soc., 1997, v:11, n:1, pp:6-17 [Journal]
  40. Derek Huntley, Angela Baldo, Saurabh Johri, Marek J. Sergot
    SEAN: SNP prediction and display program utilizing EST sequence clusters. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2006, v:22, n:4, pp:495-496 [Journal]
  41. Benjamin R. Jefferys, Lawrence A. Kelley, Marek J. Sergot, John Fox, Michael J. E. Sternberg
    Capturing expert knowledge with argumentation: a case study in bioinformatics. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2006, v:22, n:8, pp:924-933 [Journal]
  42. Jeremy Pitt, Lloyd Kamara, Marek J. Sergot, Alexander Artikis
    Voting in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:2, pp:156-170 [Journal]
  43. Aspassia Daskalopulu, Marek J. Sergot
    The Representation of Legal Contracts [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  44. Aspassia Daskalopulu, Marek J. Sergot
    A Constraint-Driven System for Contract Assembly [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  45. Aspassia Daskalopulu, Marek J. Sergot
    Computational aspects of the FLBC framework. [Citation Graph (0, 0)][DBLP]
    Decision Support Systems, 2002, v:33, n:3, pp:267-290 [Journal]
  46. Marek J. Sergot, Fiona Richards
    On the Representation of Action and Agency in the Theory of Normative Positions. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:48, n:2-3, pp:273-293 [Journal]
  47. Andrew D. H. Farrell, Marek J. Sergot, Mathias Sallé, Claudio Bartolini
    Using the event calculus for tracking the normative state of contracts. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2005, v:14, n:2-3, pp:99-129 [Journal]
  48. Kostas Stathis, Marek J. Sergot
    An Abstract Framework for Globalising Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 1998, v:9, n:4, pp:401-416 [Journal]
  49. Alessio Lomuscio, Marek J. Sergot
    A formalisation of violation, error recovery, and enforcement in the bit transmission problem. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2004, v:2, n:1, pp:93-116 [Journal]
  50. Peter Hammond, Marek J. Sergot
    Computer Support for Protocol-Based Treatment of Cancer. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:26, n:2, pp:93-111 [Journal]
  51. Robert Craven, Marek J. Sergot
    Distant Causation in C+. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:79, n:1, pp:73-96 [Journal]
  52. Andrew J. I. Jones, Marek J. Sergot
    Foreword. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:1, pp:3-4 [Journal]
  53. Alessio Lomuscio, Marek J. Sergot
    Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:1, pp:63-92 [Journal]
  54. Henry Prakken, Marek J. Sergot
    Contrary-to-Duty Obligations. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:1, pp:91-115 [Journal]
  55. F. Nihan Kesim, Marek J. Sergot
    A Logic Programming Framework for Modeling Temporal Objects. [Citation Graph (0, 31)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1996, v:8, n:5, pp:724-741 [Journal]
  56. Marek J. Sergot
    A computational theory of normative positions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:4, pp:581-622 [Journal]
  57. Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki
    Verifying Temporal and Epistemic Properties of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:456-461 [Conf]
  58. Alexander Artikis, Marek J. Sergot, Jeremy Pitt
    An executable specification of a formal argumentation protocol. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2007, v:171, n:10-15, pp:776-804 [Journal]

  59. Norms, Action and Agency in Multi-agent Systems. [Citation Graph (, )][DBLP]


  60. Action and Agency in Norm-Governed Multi-agent Systems. [Citation Graph (, )][DBLP]


  61. Towards Norm-Governed Self-Organising Networks. [Citation Graph (, )][DBLP]


Search in 0.047secs, Finished in 0.051secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002