Login / Signup
Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard.
Sylvie Doutre
Andreas Herzig
Anthony Hunter
Published in:
J. Appl. Non Class. Logics (2023)
Keyphrases
</>
inconsistent knowledge
predicate logic
logic programming
logic based argumentation
multi valued
classical logic
logic programs
argumentation systems
automated reasoning
modal logic
dynamic logic
proof theory
knowledge base
neural network
logical framework
temporal knowledge
modal operators
asynchronous circuits