The scientific contribution of marek sergot

Authors:
Steve Barker;Andrew J. I. Jones;Antonis Kakas;Robert A. Kowalski;Alessio Lomuscio;Rob Miller;Stephen Muggleton;Giovanni Sartor
Affiliations:
Department of Informatics, King's College London, UK;Department of Informatics, King's College London, UK;Department of Computer Science, University of Cyprus, Cyprus;Department of Computing, Imperial College London, UK;Department of Computing, Imperial College London, UK;Department of Information Studies, University College London, UK;Department of Computing, Imperial College London, UK;CIRSFID, University of Bologna, Italy
Venue:
Logic Programs, Norms and Action
Year:
2012

Citing 25
Cited 0

A query-the-user facility for logic programming

New horizons in educational computing
The British Nationality Act as a logic program

Communications of the ACM
A logic-based calculus of events

New Generation Computing
Negation as inconsistency .I

Journal of Logic Programming
Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation

ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Indian central civil service pension rules: a case study in logic programming applied to regulations

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
On the characterization of law and computer systems: the normative systems perspective

Deontic logic in computer science
A constraint-driven system for contract assembly

ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
A computational theory of normative positions

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
A Logic Programming Framework for Modeling Temporal Objects

IEEE Transactions on Knowledge and Data Engineering
Formal Specification of Security Requirements using the Theory of Normative Positions

ESORICS '92 Proceedings of the Second European Symposium on Research in Computer Security
Games as a Metaphor for Interactive Systems

HCI '96 Proceedings of HCI on People and Computers XI
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Capturing expert knowledge with argumentation: a case study in bioinformatics

Bioinformatics
SEAN: SNP prediction and display program utilizing EST sequence clusters

Bioinformatics
An executable specification of a formal argumentation protocol

Artificial Intelligence
Status-Based Access Control

ACM Transactions on Information and System Security (TISSEC)
Action and Agency in Norm-Governed Multi-agent Systems

Engineering Societies in the Agents World VIII
Specifying norm-governed computational societies

ACM Transactions on Computational Logic (TOCL)
Expressive policy analysis with enhanced system dynamicity

Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
GLIMPSE: a statistical adventure

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A logic programming approach to activity recognition

Proceedings of the 2nd ACM international workshop on Events in multimedia
Argumentation and answer set programming

Logic programming, knowledge representation, and nonmonotonic reasoning
Inference of gene relations from microarray data by abduction

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
The deontic component of action language n C+

DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Marek Sergot's technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, philosophical logic, legal theory, artificial intelligence and law, multi-agent systems and bioinformatics. By combining his background in logic and computing with his interest in the law, deontic logic, action, and related areas, and applying to all his capacity to understand the subtleties of social interactions and normative reasoning, Marek has been able to open new directions of research, and has been a reference, an inspiration, and a model for many researchers in the many fields in which he has worked.