Login / Signup
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