The following pages link to Algorithm = logic + control (Q4190095):
Displaying 37 items.
- A pearl on SAT and SMT solving in Prolog (Q428887) (← links)
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- AID: an alternative implementation of DCGs (Q1090468) (← links)
- Efficient backward execution in AND/OR process model (Q1114389) (← links)
- On the transformation of logic programs with instantiation based computation rules (Q1119029) (← links)
- A bridge between constructive logic and computer programming (Q1179711) (← links)
- Recursive query processing: The power of logic (Q1262144) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- Information-gain computation in the \textsc{Fifth} system (Q1726365) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Matrix Code (Q2441509) (← links)
- Epistemology and artificial intelligence (Q2565612) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Arithmetical interpretations of dynamic logic (Q3337454) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Implementation of an interpreter for abstract equations (Q3719790) (← links)
- Logic and functional programming by retractions (Q3817574) (← links)
- A deductive clustering approach (Q4297222) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- Backjumping is Exception Handling (Q4957217) (← links)
- (Q5020994) (← links)
- Verification of logic programs with delay declarations (Q5096380) (← links)
- The Prolog Debugger and Declarative Programming (Q5097636) (← links)
- FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS (Q5249253) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- \(\exists\)-Universal termination of logic programs (Q5940923) (← links)
- Fuzzy logic programming (Q5946475) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- The Maude strategy language (Q6113021) (← links)
