| 2022 | IJCAI | Making Sense of Raw Input (Extended Abstract). | Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David Pfau, Pushmeet Kohli, Marek J. Sergot |
| 2007 | ICSOC | Verifying Temporal and Epistemic Properties of Web Service Compositions. | Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki |
| 2005 | ICAIL | Voting in Online Deliberative Assemblies. | Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis |
| 2005 | LPNMR | Inference of Gene Relations from Microarray Data by Abduction. | Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot |
| 2005 | LPNMR | Some Logical Properties of Nonmonotonic Causal Theories. | Marek J. Sergot, Robert Craven |
| 2003 | CPM | Distributed and Paged Suffix Trees for Large Genetic Databases. | Raphal Clifford, Marek J. Sergot |
| 2003 | ICAIL | An Executable Specification of an Argumentation Protocol. | Alexander Artikis, Marek J. Sergot, Jeremy Pitt |
| 1995 | ICAIL | A Constraint-Driven System for Contract Assembly. | Aspassia Daskalopulu, Marek J. Sergot |
| 1994 | ICLP | Recomputation-Free Lemmatization by Program Transformation. | Paulo Jorge de Sousa Azevedo, Marek J. Sergot |
| 1994 | ICLP | (title not yet received). | Marek J. Sergot |
| 1992 | ESORICS | Formal Specification of Security Requirements using the Theory of Normative Positions. | Andrew J. I. Jones, Marek J. Sergot |
| 1991 | ICAIL | Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations. | Marek J. Sergot, A. S. Kamble, K. K. Bajaj |
| 1988 | ICLP | Implicit Definition of Logic Programs. | Chor Sang Kwok, Marek J. Sergot |
| 1987 | ICAIL | Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. | Trevor J. M. Bench-Capon, G. O. Robinson, Tom Routen, Marek J. Sergot |
| 1985 | IJCAI | Computer Representation of the Law. | Robert A. Kowalski, Marek J. Sergot |