Defining LFIs and LFUs in extensions of infectious logics.

Damián Enrique Szmuc

Published in: J. Appl. Non Class. Logics (2016)

Keyphrases

default logic
knowledge representation formalisms
modal logic
expressive power
data structure
inference rules
classical logic
default theories
propositional calculus
database
information retrieval
search engine
information systems
decision procedures
nonmonotonic logics
propositional dynamic logic