Some Applications of Topology to Program Semantics.
Rohit ParikhPublished in: Logic of Programs (1981)
Keyphrases
- semantically equivalent
- logic programming
- formal semantics
- neural network
- test cases
- stable model semantics
- artificial intelligence
- programming language constructs
- semantics of logic programs
- computer programs
- semantic representation
- active rules
- program execution
- small world
- declarative semantics
- argumentation semantics
- default reasoning
- answer set programming