Negation on the Australian Plan.

Francesco Berto Greg Restall

Published in: J. Philos. Log. (2019)

Keyphrases

logic programming
deductive databases
logic programs
decision trees
real time
predicate logic
plan generation
decision theoretic
containment of conjunctive queries
database
planning process
plan execution
plan recognition
domain independent
domain specific
mobile robot
artificial intelligence
neural network