Marek J. Sergot

87 papers A* 2A 6B 4C 5Journal 40Unranked 28

Year	Rank	Type	Title / Venue / Authors
2022	A*	`conf`	Making Sense of Raw Input (Extended Abstract). IJCAI Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David Pfau, Pushmeet Kohli, Marek J. Sergot
2021	J	`jnl`	Making sense of raw input. Artif. Intell. Richard Evans, Matko Bosnjak, Lars Buesing, Kevin Ellis, David P. Reichert, Pushmeet Kohli, Marek J. Sergot
2021	J	`jnl`	Making sense of sensory input. Artif. Intell. Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot
2021	J	`jnl`	Some Forms of Collectively Bringing About or 'Seeing to it that'. J. Philos. Log. Marek J. Sergot
2021	J	`jnl`	Who is obliged when many are involved? Labelled transition system modelling of how obligation arises. Artif. Intell. Law Piotr Kulicki, Robert Trypuz, Marek J. Sergot
2020	J	`jnl`	Evaluating the Apperception Engine. CoRR Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot
2020	J	`jnl`	Formalizing Kant's Rules. J. Philos. Log. Richard Evans, Marek J. Sergot, Andrew Stephenson
2019	J	`jnl`	Making sense of sensory input. CoRR Richard Evans, José Hernández-Orallo, Johannes Welbl, Pushmeet Kohli, Marek J. Sergot
2015	J	`jnl`	An Event Calculus for Event Recognition. IEEE Trans. Knowl. Data Eng. Alexander Artikis, Marek J. Sergot, Georgios Paliouras
2015	J	`jnl`	Reactive Reasoning with the Event Calculus. CoRR Alexander Artikis, Marek J. Sergot, Georgios Paliouras
2013	—	`ch.`	A Logic-Based Approach to Activity Recognition. Human Behavior Recognition Technologies Alexander Artikis, Marek J. Sergot, Georgios Paliouras
2012	J	`jnl`	A network-based maximum link approach towards MS identifies potentially important roles for undetected ARRB1/2 and ACTB in liver cancer progression. Int. J. Bioinform. Res. Appl. Wilson Wen Bin Goh, Yie Hou Lee, Zubaidah M. Ramdzan, Maxey C. M. Chung, Limsoon Wong, Marek J. Sergot
2012	—	`conf`	Run-time composite event recognition. DEBS Alexander Artikis, Marek J. Sergot, Georgios Paliouras
2012	J	`jnl`	The role of miRNAs in complex formation and control. Bioinform. Wilson Wen Bin Goh, Hirotaka Oikawa, Judy Chia Ghee Sng, Marek J. Sergot, Limsoon Wong
2010	—	`conf`	A logic programming approach to activity recognition. EIMM@MM Alexander Artikis, Marek J. Sergot, Georgios Paliouras
2010	J	`jnl`	Executable specification of open multi-agent systems. Log. J. IGPL Alexander Artikis, Marek J. Sergot
2010	—	`conf`	Norms, Action and Agency in Multi-agent Systems. DEON Marek J. Sergot
2009	J	`jnl`	Specifying norm-governed computational societies. ACM Trans. Comput. Log. Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt
2008	J	`jnl`	Agent strands in the action language nC+. J. Appl. Log. Robert Craven, Marek J. Sergot
2008	J	`jnl`	Status-Based Access Control. ACM Trans. Inf. Syst. Secur. Steve Barker, Marek J. Sergot, Duminda Wijesekera
2007	—	`conf`	Action and Agency in Norm-Governed Multi-agent Systems. ESAW Marek J. Sergot
2007	J	`jnl`	An executable specification of a formal argumentation protocol. Artif. Intell. Alexander Artikis, Marek J. Sergot, Jeremy Pitt
2007	A	`conf`	Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki
2006	J	`jnl`	Capturing expert knowledge with argumentation: a case study in bioinformatics. Bioinform. Benjamin R. Jefferys, Lawrence A. Kelley, Marek J. Sergot, John Fox, Michael J. E. Sternberg
2006	J	`jnl`	SEAN: SNP prediction and display program utilizing EST sequence clusters. Bioinform. Derek Huntley, Angela Baldo, Saurabh Johri, Marek J. Sergot
2006	—	`conf`	The Deontic Component of Action Language nC+. DEON Marek J. Sergot, Robert Craven
2006	J	`jnl`	Voting in Multi-Agent Systems. Comput. J. Jeremy Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis
2005	—	`ch.`	A Logic-based Calculus of Events. The Language of Time - A Reader Robert A. Kowalski, Marek J. Sergot
2005	J	`jnl`	Distant Causation in C+. Stud Logica Robert Craven, Marek J. Sergot
2005	A	`conf`	Formalization of a voting protocol for virtual organizations. AAMAS Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis
2005	B	`conf`	Inference of Gene Relations from Microarray Data by Abduction. LPNMR Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot
2005	B	`conf`	Some Logical Properties of Nonmonotonic Causal Theories. LPNMR Marek J. Sergot, Robert Craven
2005	—	`conf`	Towards Norm-Governed Self-Organising Networks. NORMAS Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot
2005	J	`jnl`	Using the event calculus for tracking the normative state of contracts. Int. J. Cooperative Inf. Syst. Andrew D. H. Farrell, Marek J. Sergot, Mathias Sallé, Claudio Bartolini
2005	C	`conf`	Voting in Online Deliberative Assemblies. ICAIL Jeremy V. Pitt, Lloyd Daniel Kamara, Marek J. Sergot, Alexander Artikis
2004	—	`conf`	A Framework for Contractual Resource Sharing in Coalitions. POLICY Babak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino
2004	—	`conf`	A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. DALT Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot
2004	J	`jnl`	A formalisation of violation, error recovery, and enforcement in the bit transmission problem. J. Appl. Log. Alessio Lomuscio, Marek J. Sergot
2004	—	`conf`	Discretionary Overriding of Access Control in the Privilege Calculus. Formal Aspects in Security and Trust Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot
2004	—	`conf`	Modelling Unreliable and Untrustworthy Agent Behaviour. MSRAS Marek J. Sergot
2004	—	`conf`	Towards a Mechanism for Discretionary Overriding of Access Control. Security Protocols Workshop Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot
2003	—	`conf`	A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence Guido Governatori, Alessio Lomuscio, Marek J. Sergot
2003	C	`conf`	An Executable Specification of an Argumentation Protocol. ICAIL Alexander Artikis, Marek J. Sergot, Jeremy Pitt
2003	J	`jnl`	Deontic Interpreted Systems. Stud Logica Alessio Lomuscio, Marek J. Sergot
2003	B	`conf`	Distributed and Paged Suffix Trees for Large Genetic Databases. CPM Raphaël Clifford, Marek J. Sergot
2003	A	`conf`	Towards model checking interpreted systems. AAMAS Alessio Lomuscio, Franco Raimondi, Marek J. Sergot
2002	A	`conf`	Animated specifications of computational societies. AAMAS Alexander Artikis, Jeremy Pitt, Marek J. Sergot
2002	—	`conf`	Bob Kowalski: A Portrait. Computational Logic: Logic Programming and Beyond Marek J. Sergot
2002	J	`jnl`	Computational aspects of the FLBC framework. Decis. Support Syst. Aspassia Daskalopulu, Marek J. Sergot
2002	—	`conf`	Contractual Access Control. Security Protocols Workshop Babak Sadighi Firozabadi, Marek J. Sergot
2002	—	`conf`	Revocation Schemes for Delegated Authorities. POLICY Babak Sadighi Firozabadi, Marek J. Sergot
2002	—	`conf`	Specifying Electronic Societies with the Causal Calculator. AOSE Alexander Artikis, Marek J. Sergot, Jeremy Pitt
2002	A	`conf`	The bit transmission problem revisited. AAMAS Alessio Lomuscio, Marek J. Sergot
2001	J	`jnl`	A Constraint-Driven System for Contract Assembly CoRR Aspassia Daskalopulu, Marek J. Sergot
2001	J	`jnl`	A computational theory of normative positions. ACM Trans. Comput. Log. Marek J. Sergot
2001	—	`conf`	On Multi-agent Systems Specification via Deontic Logic. ATAL Alessio Lomuscio, Marek J. Sergot
2001	J	`jnl`	On the Representation of Action and Agency in the Theory of Normative Positions. Fundam. Informaticae Marek J. Sergot, Fiona Richards
2001	J	`jnl`	The Representation of Legal Contracts CoRR Aspassia Daskalopulu, Marek J. Sergot
2001	—	`conf`	Using Authority Certificates to Create Management Structures. Security Protocols Workshop Babak Sadighi Firozabadi, Marek J. Sergot, Olav L. Bandmann
1999	—	`conf`	Power and Permission in Security Systems. Security Protocols Workshop Babak Sadighi Firozabadi, Marek J. Sergot
1998	J	`jnl`	An Abstract Framework for Globalising Interactive Systems. Interact. Comput. Kostas Stathis, Marek J. Sergot
1997	J	`jnl`	The Representation of Legal Contracts. AI Soc. Aspassia Daskalopulu, Marek J. Sergot
1996	J	`jnl`	A Formal Characterisation of Institutionalised Power. Log. J. IGPL Andrew J. I. Jones, Marek J. Sergot
1996	J	`jnl`	A Logic Programming Framework for Modeling Temporal Objects. IEEE Trans. Knowl. Data Eng. Fehime Nihan Kesim, Marek J. Sergot
1996	J	`jnl`	Computer Support for Protocol-Based Treatment of Cancer. J. Log. Program. Peter Hammond, Marek J. Sergot
1996	J	`jnl`	Contrary-to-Duty Obligations. Stud Logica Henry Prakken, Marek J. Sergot
1996	J	`jnl`	Foreword. Stud Logica Andrew J. I. Jones, Marek J. Sergot
1996	—	`conf`	Games as a Metaphor for Interactive Systems. BCS HCI Kostas Stathis, Marek J. Sergot
1995	C	`conf`	A Constraint-Driven System for Contract Assembly. ICAIL Aspassia Daskalopulu, Marek J. Sergot
1995	J	`jnl`	Contributions of FGCS technology to applications in legal reasoning. Future Gener. Comput. Syst. Marek J. Sergot
1995	—	`conf`	Schema Evolution in a Deductive Framework. KDOOD/TDOOD Fehime Nihan Kesim, Marek J. Sergot
1994	—	`conf`	(title not yet received). ICLP Workshop: Legal Application of Logic Programming Marek J. Sergot
1994	B	`conf`	Recomputation-Free Lemmatization by Program Transformation. ICLP Paulo Jorge de Sousa Azevedo, Marek J. Sergot
1993	—	`conf`	Versioning of Objects in Deductive Databases. DOOD Fehime Nihan Kesim, Marek J. Sergot
1992	J	`jnl`	Deontic logic in the representation of law: Towards a methodology. Artif. Intell. Law Andrew J. I. Jones, Marek J. Sergot
1992	A	`conf`	Formal Specification of Security Requirements using the Theory of Normative Positions. ESORICS Andrew J. I. Jones, Marek J. Sergot
1992	—	`conf`	On the Evolution of Objects in a Logic Programming Framework. FGCS Fehime Nihan Kesim, Marek J. Sergot
1991	—	`conf`	Data-driven Transformation of Meta-interpreters: A Sketch. PDK Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick
1991	C	`conf`	Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations. ICAIL Marek J. Sergot, A. S. Kamble, K. K. Bajaj
1988	—	`conf`	Implicit Definition of Logic Programs. ICLP/SLP Chor Sang Kwok, Marek J. Sergot
1987	C	`conf`	Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. ICAIL Trevor J. M. Bench-Capon, G. O. Robinson, Tom Routen, Marek J. Sergot
1986	J	`jnl`	A Logic-based Calculus of Events. New Gener. Comput. Robert A. Kowalski, Marek J. Sergot
1986	J	`jnl`	Negation as Inconsistency I. J. Log. Program. Dov M. Gabbay, Marek J. Sergot
1986	J	`jnl`	The British Nationality Act as a Logic Program. Commun. ACM Marek J. Sergot, Fariba Sadri, Robert A. Kowalski, F. Kriwaczek, Peter Hammond, H. T. Cory
1985	—	`conf`	A Logic-Based Calculus of Events. Foundations of Knowledge Base Management (Xania) Robert A. Kowalski, Marek J. Sergot
1985	A*	`conf`	Computer Representation of the Law. IJCAI Robert A. Kowalski, Marek J. Sergot
1982	—	`conf`	A Query-the-User Facility for Logic Programming. ECICS Marek J. Sergot