The following pages link to Negation as instantiation (Q1898466):
Displaying 11 items.
- Implementing constructive intensional negation (Q839831) (← links)
- The Prolog not-predicate and negation as failure rule (Q918193) (← links)
- Negation as failure as resolution (Q1277302) (← links)
- Autoepistemic logic programming (Q1344887) (← links)
- Negation as failure for disjunctive logic programming (Q1924818) (← links)
- Plug and Play Negations (Q3305346) (← links)
- Short note: procedural semantics and negative information of elementary formal system (Q3992228) (← links)
- Simulating without Negation (Q4351799) (← links)
- Logic Programming (Q5313181) (← links)
- Logics in Artificial Intelligence (Q5394131) (← links)
- (Q5687862) (← links)