Login / Signup
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