May I Borrow Your Logic?

Maura Cerioli José Meseguer

Published in: MFCS (1993)

Keyphrases

logic programming
multi valued
classical logic
modal logic
automated reasoning
defeasible logic
deontic logic
proof theory
data mining
multi agent
query language
computational properties
nonmonotonic logics
formal language
formal theory