An Acceptance Vector Semantics for Path Programs.
M. W. ShieldsPublished in: Fundam. Informaticae (1999)
Keyphrases
- dynamic logic
- stable model semantics
- fixpoint semantics
- stable models
- normal logic programs
- logic programs
- programming language constructs
- logic programming
- shortest path
- control flow
- feature vectors
- data sets
- formal semantics
- neural network
- answer sets
- vector space
- transformation rules
- semantic web
- programming language
- query language
- declarative semantics
- agent programming
- database