Login / Signup
Towards a Formal Computation Model of Associative Logic Programming.
Arvind K. Bansal
Published in:
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs (1994)
Keyphrases
</>
logic programming
formal model
logic programs
high level
deductive databases
artificial intelligence
multi agent systems
answer set programming
finite state machines
computational logic