Login / Signup
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.
Thomas Ågotnes
Natasha Alechina
Rustam Galimullin
Published in:
J. Log. Lang. Inf. (2022)
Keyphrases
</>
expressive power
first order logic
query language
data complexity
computational properties
transitive closure
relational algebra
knowledge representation
distributed systems
artificial intelligence
knowledge base
expert systems
knowledge discovery
relational calculus
recursive queries