Vicious circles in contracts and in logic.

Massimo Bartoletti Tiziana Cimoli Paolo Di Giamberardino Roberto Zunino

Published in: Sci. Comput. Program. (2015)

Keyphrases

supply chain
asynchronous circuits
hough transform
automated reasoning
epistemic logic
modal logic
classical logic
multi valued
proof theory
database
predicate logic
computational properties
logic programming
knowledge representation
e learning
decision making
data mining