The following pages link to (Q4051550):
Displaying 50 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)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788) (← links)
- A new combination of input and unit deductions for Horn sentences (Q1057665) (← links)
- Automated theorem proving methods (Q1057850) (← links)
- Modeling production rules by means of predicate transition networks (Q1058869) (← links)
- Foundation of logic programming based on inductive definition (Q1075752) (← links)
- AND parallelism and nondeterminism in logic programs (Q1077925) (← links)
- Set abstraction - an extension of all solutions predicate in logic programming language (Q1094865) (← links)
- Logic programming with external procedures: Introducing S-unification (Q1097682) (← links)
- Unification in combinations of collapse-free regular theories (Q1099652) (← links)
- Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study (Q1100879) (← links)
- A fixpoint semantics of Horn sentences based on substitution sets (Q1100934) (← links)
- Mixed computation of Prolog programs (Q1108777) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Prolegomena to a theory of mechanized formal reasoning (Q1140436) (← links)
- Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks (Q1143818) (← links)
- Optimal parallel algorithms for forest and term matching (Q1186605) (← links)
- Una classe di schemi ricorsivi non-deterministici paralleli (Q1240551) (← links)
- Paramodulated connection graphs (Q1257912) (← links)
- Logical debugging (Q1322853) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Enumeration of success patterns in logic programs (Q1348532) (← links)
- Disjunctive logic and semantics of disjunctive logic programs (Q1368240) (← links)
- Non-Horn clause logic programming (Q1402738) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Approximate reasoning by similarity-based SLD resolution. (Q1607217) (← links)
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- Designing context-aware systems: a method for understanding and analysing context in practice (Q1734516) (← links)
- A computational framework for conceptual blending (Q1748468) (← links)
- A resolution-based system for symbolic approximate reasoning (Q1809351) (← links)
- Resolution deduction to detect satisfiability for another class including non-Horn sentences in propositional logic (Q1819946) (← links)
- Logic program forms (Q1822224) (← links)
- The verification and synthesis of data structures (Q1844075) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- The expressiveness of locally stratified programs (Q1924734) (← links)
