GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Marek Sergot
URI:
https://gptkb.org/entity/Marek_Sergot
GPTKB entity
Statements (19)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:affiliation
gptkb:Imperial_College_London
gptkbp:coauthor
gptkb:F._Sadri
gptkb:J._F._Allen
gptkb:Luis_Moniz_Pereira
gptkb:Robert_Kowalski
gptkbp:field
gptkb:artificial_intelligence
logic programming
computational logic
https://www.w3.org/2000/01/rdf-schema#label
Marek Sergot
gptkbp:knownFor
gptkb:event_calculus
gptkbp:nationality
British
gptkbp:notableWork
gptkb:A_Logic-Based_Calculus_of_Events_(1986)
gptkbp:occupation
gptkb:computer_scientist
gptkbp:position
gptkb:professor
gptkbp:publishedIn
gptkb:Artificial_Intelligence_Journal
gptkb:Journal_of_Logic_Programming
gptkbp:bfsParent
gptkb:event_calculus
gptkbp:bfsLayer
6