swMATH1580MaRDI QIDQ14286FDOQ14286
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/074310669390039J
Cited In (58)
- 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
- Web Data Management
- Metamodeling and metaquerying in \texttt{OWL 2 QL}
- 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
- Title not available (Why is that?)
- Lolli
- Reflective programming in the relational algebra
- 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
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Title not available (Why is that?)
- HiLog: A foundation for higher-order logic programming
- DLV-EX
- Hiord
- The F-logic approach for description languages
- Logic and algebraic languages for interoperability in multidatabase systems
- Why untyped nonground metaprogramming is not (much of) a problem
- Title not available (Why is that?)
- Terminyzer
- FLORA
- swrl
- Logical foundations of object-oriented and frame-based languages
- MWeb
- KANREN
- miniKanren
- Kleisli
- PRIZ
- OntoDLV
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- Adding Metalogic Features to Knowledge Representation Languages*
- Title not available (Why is that?)
- MASTRO
- Title not available (Why is that?)
- Expressive capabilities description languages and query rewriting algorithms
- The complexity of higher-order queries
- Typed query languages for databases containing queries
- A practical analysis of non-termination in large logic programs
- Title not available (Why is that?)
- Equivalence of two fixed-point semantics for definitional higher-order logic programs
- Equivalence of two fixed-point semantics for definitional higher-order logic programs
- Extended RDF: computability and complexity issues
- 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
- Title not available (Why is that?)
This page was built for software: HiLog