Intensional First-Order Logic for P2P Database Systems

DOI10.1007/978-3-642-00685-2_5zbMath1246.68112OpenAlexW90767008MaRDI QIDQ3638228

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)

Uses Software

• HiLog

Cites Work

• Unnamed Item
• HiLog: A foundation for higher-order logic programming
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Database Programming Languages
• Universal grammar
• Intensional Semantics for P2P Data Integration
• Local Models Semantics, or contextual reasoning = locality + compatibility

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