Login / Signup
Computing Disjunctive Ordered Logic.
Francesco Buccafurri
Nicola Leone
Pasquale Rullo
Published in:
APPIA-GULP-PRODE (1996)
Keyphrases
</>
predicate logic
modal logic
multi valued
multiscale
multi agent
temporal logic
answer sets
partially ordered
semantics of logic programs