The following pages link to (Q4051550):
Displaying 18 items.
- Reactive computing as model generation (Q264957) (← links)
- A series of revisions of David Poole's specificity (Q524933) (← links)
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- Abductive logic programming agents with destructive databases (Q656819) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Grammar-related transformations of logic programs (Q756406) (← links)
- Grammatical unification (Q789185) (← links)
- Towards a programming language based on the notion of two-level grammar (Q795514) (← links)
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Subset-equational programming in intelligent decision systems (Q805225) (← links)
- Group cancellation and resolution (Q817703) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Completeness of resolution revisited (Q914411) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Immediate consequences operator on generalized quantifiers (Q6083146) (← links)
