Using automata theory for characterizing the semantics of terminological cycles

This publication has 17 references indexed in Scilit:

• Terminological reasoning is inherently intractable
  Artificial Intelligence, 1990
• Expressiveness and tractability in knowledge representation and reasoning1
  Computational Intelligence, 1987
• On the complementation of Büchi automata
  Theoretical Computer Science, 1986
• Fixed-point extensions of first-order logic
  Annals of Pure and Applied Logic, 1986
• Relational queries computable in polynomial time
  Information and Control, 1986
• An Overview of the KL‐ONE Knowledge Representation System*
  Cognitive Science, 1985
• Fixed-point extensions of first-order logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• On recursive axioms in deductive databases
  Information Systems, 1983
• Fixed point theorems and semantics: a folk tale
  Information Processing Letters, 1982
• Naive Set Theory
  Published by Springer Nature ,1974