Login / Signup
Lambek-Calculus with General Elimination Rules and Continuation Semantics.
Nissim Francez
Published in:
LACL (2005)
Keyphrases
</>
transformation rules
special case
logic programming
closely related
formal semantics
condition action rules
deduction rules
neural network
association rules
decision rules
provably correct
logical rules
conceptual model
business rules
formal language
default rules