Datalog vs first-order logic

Miklós Ajtai; Yuri Gurevich

doi:10.1016/s0022-0000(05)80071-6

ScienceGate Book Chapters

JOURNAL ARTICLE

Datalog vs first-order logic

Miklós Ajtai Yuri Gurevich

Year: 1994 Journal: Journal of Computer and System Sciences Vol: 49 (3)Pages: 562-588 Publisher: Elsevier BV

DOI: 10.1016/s0022-0000(05)80071-6

Get Full-Text PDF Get Analytical Report

Keywords:

Datalog Order (exchange) First-order logic Bounded function Second-order logic Mathematics First order Compact space Discrete mathematics Algebra over a field Computer science Pure mathematics Higher-order logic Programming language Description logic Applied mathematics Mathematical analysis

Metrics

Cited By

5.66

FWCI (Field Weighted Citation Impact)

Refs

0.97

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Advanced Database Systems and Queries

Physical Sciences → Computer Science → Computer Networks and Communications

Semantic Web and Ontologies

Physical Sciences → Computer Science → Artificial Intelligence

Datalog vs first-order logic

Metrics

Citation History

Topics

Related Documents

Datalog vs. first-order logic

Fixpoint extensions of first-order logic and datalog-like languages

Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework

First-Order Incremental Evaluation of Datalog Queries

First-Order Encodings for Modular Nonmonotonic Datalog Programs