JOURNAL ARTICLE
Games and total Datalog¬ queries
Jörg FlumMax KubierschkyBertram Ludäscher
Year: 2000 Journal: Theoretical Computer Science Vol: 239 (2)Pages: 257-276 Publisher: Elsevier BV
Keywords:
Datalog Semantics (computer science) Expressive power Deductive database Quantifier (linguistics) Computer science Programming language Game semantics Decidability Mathematics Theoretical computer science Operational semantics Artificial intelligence Denotational semantics
Metrics
4
Cited By
0.00
FWCI (Field Weighted Citation Impact)
11
Refs
0.16
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Optimizing existential datalog queries
Raghu RamakrishnanCatriel BeeriRavi Krishnamurthy
Year: 1988 Pages: 89-102
JOURNAL ARTICLE
Functional queries in Datalog
Stefano BastaSergio FlescaSergio Greco
Journal: New Generation Computing Year: 2002 Vol: 20 (4)Pages: 339-371
BOOK-CHAPTER
Bash Datalog: Answering Datalog Queries with Unix Shell Commands
Thomas RebeleThomas Pellissier TanonFabian M. Suchanek
Lecture notes in computer science Year: 2018 Pages: 566-582