From Input/Output Logics to Conditional Logics via Sequents - with Provers.
Björn LellmannPublished in: TABLEAUX (2021)
Keyphrases
- input output
- conditional logic
- modal logic
- sequent calculus
- linear logic
- inference rules
- theorem prover
- higher order logic
- default reasoning
- theorem proving
- nonmonotonic reasoning
- belief revision
- temporal logic
- logic programming
- natural deduction
- data envelopment analysis
- nonmonotonic inference
- knowledge representation and reasoning
- classical logic
- internal states
- sequent calculi
- fuzzy controller
- noise cancellation
- fuzzy model
- logical framework
- default logic
- higher order
- nonlinear functions
- first order logic
- general purpose
- ibm zenterprise
- software engineering
- expert systems