The following pages link to (Q3992706):
Displaying 16 items.
- Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities (Q688819) (← links)
- How to control unfolding when specializing interpreters (Q918195) (← links)
- Parsing and generation with static discontinuity grammars (Q922717) (← links)
- Modeling generalized implicatures using non-monotonic logics (Q1006457) (← links)
- Interleaving natural language parsing and generation through uniform processing (Q1128613) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- Mixtus: An automatic partial evaluator for full Prolog (Q1313369) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- SWI-Prolog (Q2893092) (← links)
- (Q4039759) (← links)
- (Q4437937) (← links)
- Specifying and Verbalising Answer Set Programs in Controlled Natural Language (Q4559823) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424892) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)