Pages that link to "Item:Q4036287"
From MaRDI portal
The following pages link to HiLog: A foundation for higher-order logic programming (Q4036287):
Displayed 26 items.
- The complexity of higher-order queries (Q498405) (← links)
- Equivalence of two fixed-point semantics for definitional higher-order logic programs (Q512650) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Verifying termination and reduction properties about higher-order logic programs (Q850496) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Functional-logic integration via minimal reciprocal extensions (Q1275622) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- Metamodeling and metaquerying in \texttt{OWL 2 QL} (Q2238670) (← links)
- Knowledge representation analysis of graph mining (Q2317967) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Extensional Semantics for Higher-Order Logic Programs with Negation (Q2835890) (← links)
- Intensional First-Order Logic for P2P Database Systems (Q3638228) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- The intricacies of three-valued extensional semantics for higher-order logic programs (Q4592720) (← links)
- Semantics of templates in a compositional framework for building logics (Q4593008) (← links)
- (Q5014440) (← links)
- (Q5020994) (← links)
- The Expressive Power of Higher-Order Datalog (Q5108510) (← links)
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)
- Logic Programming with Defaults and Argumentation Theories (Q5325769) (← links)
- A practical analysis of non-termination in large logic programs (Q5398306) (← links)
- The limits of fixed-order computation (Q5940930) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)