The following pages link to (Q3983044):
Displaying 17 items.
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- Resolving contradictions: A plausible semantics for inconsistent systems (Q1332637) (← links)
- A semantics for a class of non-deterministic and causal production system programs (Q1340964) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Syntax and semantics of multi-adjoint normal logic programming (Q1795198) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)
- Handling Exceptions in Logic Programming without Negation as Failure (Q3011970) (← links)
- Linear Logic and Exceptions (Q4323006) (← links)
- (Q4560265) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- Escape from Zurg: an exercise in logic programming (Q4669642) (← links)
- An operator for composing deductive data bases with theories of constraints (Q5101441) (← links)
- Update rules in datalog programs (Q5101442) (← links)
- Loop checking and the well-founded semantics (Q5101446) (← links)
- Super logic programs (Q5277693) (← links)
- Logics in Artificial Intelligence (Q5394132) (← links)
