The Undecidability of Iterated Modal Relativization.

Joseph S. Miller Lawrence S. Moss

Published in: Stud Logica (2005)

Keyphrases

description logics
modal logic
database
probabilistic planning
databases
information retrieval
learning algorithm
information systems
case study
natural language
answering queries
nonmonotonic logics