Symbolic Semantics and Program Reduction.
Vincenzo AmbriolaFosca GiannottiDino PedreschiFranco TuriniPublished in: IEEE Trans. Software Eng. (1985)
Keyphrases
- intended meaning
- semantically equivalent
- logic programming
- declarative semantics
- transformation rules
- control flow
- stable model semantics
- semantic representation
- programming language constructs
- semantics of logic programs
- model theoretic
- reduction method
- computer programs
- neural network
- owl ontologies
- intermediate level
- formal semantics
- program execution
- dynamic logic
- programming language
- knowledge representation
- search engine
- databases