Pages that link to "Item:Q3696485"
From MaRDI portal
The following pages link to N-Prolog: An extension of Prolog with hypothetical implications. I. (Q3696485):
Displayed 23 items.
- Semantics of structured normal logic programs (Q444364) (← links)
- Foundations of semantic web databases (Q532369) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Hypothetical datalog: Complexity and expressibility (Q915436) (← links)
- Hypothetical reasoning in logic programming: A semantic approach (Q918664) (← links)
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Relevant logic programming (Q1181715) (← links)
- Extending Horn clause logic with implication goals (Q1186427) (← links)
- The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics (Q1329742) (← links)
- TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic (Q1332639) (← links)
- An overview of transaction logic (Q1341707) (← links)
- Near-Horn Prolog and the ancestry family of procedures (Q1924724) (← links)
- On the effectiveness of higher-order logic programming in language-oriented programming (Q2039939) (← links)
- Logical modes of attack in argumentation networks (Q2269513) (← links)
- Uniform proofs as a foundation for logic programming (Q2640596) (← links)
- CWA Extensions to Multi-Valued Logics (Q3647206) (← links)
- Computation with run time skolemisation (N-Prolog part 3) (Q4275698) (← links)
- Direct deductive computation on discourse representation structures (Q4312345) (← links)
- An abductive proof procedure for conditional logic programming (Q4632300) (← links)
- Hypothetical updates, priority and inconsistency in a logic programming language (Q5101451) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)