Proof-Theoretic Semantic Values for Logical operators.

Nissim Francez Gilad Ben-Avi

Published in: Rev. Symb. Log. (2011)

Keyphrases

proof theoretic
model theoretic
default reasoning
linear logic
proof theory
deductive databases
attribute values
nonmonotonic reasoning
natural language
description logics
semantic web
fixpoint
high level
machine learning