The following pages link to HiLog (Q14286):
Displaying 46 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)
- Reflective programming in the relational algebra (Q1924387) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- Typed query languages for databases containing queries (Q1969759) (← 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)
- (Q2766766) (← links)
- (Q2767130) (← links)
- Extensional Semantics for Higher-Order Logic Programs with Negation (Q2835890) (← links)
- OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265) (← links)
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (Q3434630) (← links)
- Intensional First-Order Logic for P2P Database Systems (Q3638228) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- HiLog: A foundation for higher-order logic programming (Q4036287) (← links)
- Why untyped nonground metaprogramming is not (much of) a problem (Q4327412) (← links)
- Logical foundations of object-oriented and frame-based languages (Q4369882) (← links)
- Logic and algebraic languages for interoperability in multidatabase systems (Q4371990) (← links)
- (Q4411720) (← links)
- Web Data Management (Q4458555) (← links)
- (Q4521811) (← 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)
- (Q4764422) (← links)
- Logic programming in the context of multiparadigm programming: the Oz experience (Q4819002) (← links)
- Expressive capabilities description languages and query rewriting algorithms (Q4948027) (← 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)
- On the Properties of Metamodeling in OWL (Q5427250) (← links)
- Compositional Semantics for the Procedural Interpretation of Logic (Q5449610) (← links)
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (Q5449615) (← links)
- (Q5450120) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463965) (← links)
- Logic Based Program Synthesis and Transformation (Q5713938) (← links)
