Foundations of Logic Programming in Hybridised Logics

DOI10.1007/978-3-319-28114-8_5MaRDI QIDQ2787338zbMATH OpenOpenAlexFDO

Authors Daniel Găină

Publication date 25 February 2016

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-28114-8_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Foundations of logic programming in hybrid logics with user-defined sharing
• scientific article; zbMATH DE number 841929
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 3872640
• Theoretical Foundations and Semantics of Logic Programming
• Hybrid logic and its proof-theory
• Hybrid logics and ontology languages
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• scientific article; zbMATH DE number 4128792
• Foundations of inductive logic programming

Cited in

(9)

• Multi-dimensional logic programming: theoretical foundations
• Birkhoff style calculi for hybrid logics
• Foundations of logic programming in hybrid logics with user-defined sharing
• Herbrand theorems in arbitrary institutions
• Quasi-varieties and initial semantics for hybridized institutions
• From conventional to institution-independent logic programming
• Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• scientific article; zbMATH DE number 1500647 (Why is no real title available?)

This page was built for publication: Foundations of Logic Programming in Hybridised Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2787338)