Evoluzioni di Ontologie in Frame Logic.

Francesco Mele Antonio Sorgente Giuseppe Vettigli

Published in: CILC (2010)

Keyphrases

logic programming
modal logic
multi valued
proof theory
real time
automated reasoning
classical logic
epistemic logic
database
artificial intelligence
predicate logic
delay insensitive
propositional dynamic logic