A Semantics for Eshghi and Kowalski's Procedure.

Laura Giordano Alberto Martelli Maria Luisa Sapino

Published in: ICLP (1993)

Keyphrases

formal semantics
logic programming
event calculus
information systems
reasoning tasks
information retrieval
expert systems
semantic information
search procedure
real time
domain knowledge
deductive databases
semantic representation
iterative procedure