Modelling of Submarine Navigation by Nonmonotonic Logic.

Isabelle Toulgoat Pierre Siegel Andrei Doncescu

Published in: BWCCA (2011)

Keyphrases

nonmonotonic logics
nonmonotonic reasoning
propositional logic
default logic
modal logic
default theories
control system
knowledge base
machine learning
decision making
high level
database systems
general purpose