A New Semantics for Systems of Logic of Essence.

Alessandro Giordani

Published in: Stud Logica (2014)

Keyphrases

logic programming
rewrite systems
expert systems
nonmonotonic logics
sound and complete with respect
programming language
distributed systems
complex systems
active rules
model theoretic