Intensional First-Order Logic for P2P Database Systems

DOI10.1007/978-3-642-00685-2_5MaRDI QIDQ3638228zbMATH OpenOpenAlexFDO

Authors Zoran Majkić

Publication date 2 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00685-2_5

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Distributed systems (68M14)

Recommendations

• A logic framework for P2P deductive databases
• On first-order-logic databases
• Distributed first order logics
• Distributed first order logic
• Deductive databases and P systems
• Logic and algebraic languages for interoperability in multidatabase systems
• Publication:4489062
• Intuitionistic deductive databases and the polynomial time hierarchy
• Intensional First-Order Logic

Cites work

• scientific article; zbMATH DE number 2085288 (Why is no real title available?)
• Database Programming Languages
• HiLog: A foundation for higher-order logic programming
• Intensional Semantics for P2P Data Integration
• Local Models Semantics, or contextual reasoning = locality + compatibility
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Universal grammar

Cited in

(2)

• Intensional First-Order Logic
• Intensional Semantics for P2P Data Integration

Describes a project that uses

Uses Software

• HiLog

This page was built for publication: Intensional First-Order Logic for P2P Database Systems

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