A two-valued semantics for infectious logics.

Yang Song Hitoshi Omori Satoshi Tojo

Published in: ISMVL (2021)

Keyphrases

valued semantics
consistent query answering
default logic
dl lite
description logics
logical implication
integrity constraints
default reasoning
logic programming
nonmonotonic reasoning
database
knowledge representation