Pages that link to "Item:Q3787973"

The following pages link to Clausal intuitionistic logic I. fixed-point semantics (Q3787973):

Displaying 20 items.

• Semantics of structured normal logic programs (Q444364) (← links)
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
• Programming in three-valued logic (Q753474) (← links)
• Equilibrium logic (Q854969) (← links)
• Hypothetical datalog: Complexity and expressibility (Q915436) (← links)
• Hypothetical reasoning in logic programming: A semantic approach (Q918664) (← links)
• Programming in metric temporal logic (Q1128978) (← links)
• Extending Horn clause logic with implication goals (Q1186427) (← links)
• The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic (Q1209339) (← links)
• The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742) (← links)
• Intuitionistic interpretation of deductive databases with incomplete information (Q1341709) (← links)
• An abstract interpretation framework for optimizing dynamic modular logic languages (Q1352002) (← links)
• Fixpoint semantics for logic programming a survey (Q1605173) (← links)
• Agenda control for heterogeneous reasoners (Q1764797) (← links)
• Clausal relations and {C}-clones (Q3099264) (← links)
• (Q4263007) (← links)
• Hypothetical updates, priority and inconsistency in a logic programming language (Q5101451) (← links)
• Logic Programming (Q5191486) (← links)
• Reasoning about nonlinear system identification (Q5958395) (← links)
• A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)