Introducing Debugging Capabilities to Natural Semantics.

Alberto de la Encina Luis Llana Fernando Rubio

Published in: Ershov Memorial Conference (2006)

Keyphrases

logic programming
databases
information systems
conceptual model
computational power
man made
proof theory
real world
knowledge base
multi agent
software testing
formal semantics
programming environment
artificial systems
logical language