Alternate Semantics of the Guarded Conditional.

Nachum Dershowitz

Published in: LPAR Complementary Volume (2024)

Keyphrases

conditional logic
formal semantics
logic programming
default reasoning
epistemic states
cp nets
data sets
neural network
semantic information
fixed point
belief revision
query answering
operational semantics
argumentation semantics