He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, ...
Marek's contributions to artificial intelligence and law are not limited to the le- gal applications of logic programming strictly understood. He has indeed ...
He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, ...
[PDF] The Technical Contribution of Marek Sergot - Department of Computing
www.doc.ic.ac.uk › MJS-SB+
Marek Sergot's work on logic applied to aspects of computer security reflects the wide-ranging nature of his contributions to other branches of computer science ...
Marek Sergot's technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different ...
The Scientific Contribution of Marek Sergot ... Authors: Steve Barker; Andrew J. I. Jones; Antonis Kakas; Robert A. Kowalski; Alessio Lomuscio; Rob Miller ...
Marek Sergot has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, ...
The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience ...
Marek Sergot is Professor of Computational Logic and Head of the Logic and Artificial Intelligence Section in the Department of Computing.
Missing: Contribution | Show results with:Contribution
The scientific contribution of marek sergot, 156. Total Visits Per Month. May 2024, June 2024, July 2024, August 2024, September 2024, October 2024, November ...