Coding Plan Logic in a Dependency Net: The PLANET System.
JaidevN. ParameswaranPublished in: SCAI (1991)
Keyphrases
- programming language
- logic programming
- coding scheme
- logical operations
- modal logic
- coding method
- classical logic
- automated reasoning
- predicate logic
- neural network
- multi valued
- logical framework
- inter frame
- defeasible logic
- digital circuits
- relational databases
- coding efficiency
- decision theoretic
- planning process
- plan generation
- multiresolution
- deontic logic