HiLog
From MaRDI portal
Cited in
(66)- scientific article; zbMATH DE number 1947735 (Why is no real title available?)
- Knowledge representation analysis of graph mining
- Kripke semantics for higher-order type theory applied to constraint logic programming languages
- On the Properties of Metamodeling in OWL
- Answer Set Programming: A Primer
- Intensional First-Order Logic for P2P Database Systems
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
- Logic programming in the context of multiparadigm programming: the Oz experience
- Functional-logic integration via minimal reciprocal extensions
- In praise of impredicativity: a contribution to the formalization of meta-programming
- Metamodeling and metaquerying in \texttt{OWL 2 QL}
- Web Data Management
- OntoDLV: An ASP-based System for Enterprise Ontologies
- The intricacies of three-valued extensional semantics for higher-order logic programs
- A compositional typed higher-order logic with definitions
- Reflective programming in the relational algebra
- scientific article; zbMATH DE number 5251111 (Why is no real title available?)
- Compositional Semantics for the Procedural Interpretation of Logic
- On the algebraic structure of declarative programming languages
- Verifying termination and reduction properties about higher-order logic programs
- Semantics of templates in a compositional framework for building logics
- Logic Programming with Defaults and Argumentation Theories
- TALP
- lolliCoP
- PowerForms
- N3Logic
- DAML+OIL
- TRIPLE
- CCSL
- KLIC
- DLV-EX
- Hiord
- Terminyzer
- FLORA
- swrl
- MWeb
- KANREN
- miniKanren
- Kleisli
- PRIZ
- OntoDLV
- MASTRO
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- scientific article; zbMATH DE number 7455734 (Why is no real title available?)
- HiLog: A foundation for higher-order logic programming
- Lolli
- The F-logic approach for description languages
- scientific article; zbMATH DE number 1696855 (Why is no real title available?)
- Logic and algebraic languages for interoperability in multidatabase systems
- Why untyped nonground metaprogramming is not (much of) a problem
- Logical foundations of object-oriented and frame-based languages
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- Adding Metalogic Features to Knowledge Representation Languages*
- scientific article; zbMATH DE number 750847 (Why is no real title available?)
- scientific article; zbMATH DE number 1547708 (Why is no real title available?)
- Expressive capabilities description languages and query rewriting algorithms
- The complexity of higher-order queries
- Typed query languages for databases containing queries
- scientific article; zbMATH DE number 1696583 (Why is no real title available?)
- A practical analysis of non-termination in large logic programs
- Equivalence of two fixed-point semantics for definitional higher-order logic programs
- Extended RDF: computability and complexity issues
- Equivalence of two fixed-point semantics for definitional higher-order logic programs
- Logic Based Program Synthesis and Transformation
- The expressive power of higher-order Datalog
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
This page was built for software: HiLog
