An interactive logic activity modelling program.
Harriett B. RigasH. B. JacobyV. Bruce HuntPublished in: ACM Annual Conference (2) (1972)
Keyphrases
- declarative semantics
- virtual reality
- search based software testing
- program execution
- logic programming
- modelling language
- user interaction
- neural network
- user friendly
- modal logic
- computational properties
- control program
- asynchronous circuits
- recursive programs
- multi valued
- activity patterns
- predicate logic
- computer graphics
- logic programs
- data sets
- logical framework
- database
- operational semantics
- graphical interface
- deductive databases
- human activities
- website
- knowledge base
- artificial intelligence
- logical representation
- genetic algorithm
- sound and complete axiomatization