A Debugging System Based on Natural Semantics.

Alberto de la Encina Luis Llana Fernando Rubio

Published in: J. Univers. Comput. Sci. (2009)

Keyphrases

logic programming
semantic information
semantic representation
real time
real world
domain knowledge
nonmonotonic logics
formal semantics
databases
website
relational databases
man made
model theoretic
update semantics