Volume II: New advances in Logics of Formal Inconsistency.

Eduardo Alejandro Barrio Walter Carnielli

Published in: Log. J. IGPL (2020)

Keyphrases

classical logic
recent advances
expressive power
artificial intelligence
volume data
higher order
recent developments
formal specification
integrity checking
data sets
formal language
conditional logic
operational semantics
formal analysis
formal methods
inference rules
expert systems
case study
search engine