Streamlining Input/Output Logics with Sequent Calculi.
Agata CiabattoniDmitry RozplokhasPublished in: KR (2023)
Keyphrases
- input output
- sequent calculi
- conditional logic
- modal logic
- cut elimination
- internal states
- sequent calculus
- fuzzy neural network
- default reasoning
- ibm zenterprise
- noise cancellation
- linear logic
- data envelopment analysis
- state transition
- decision procedures
- fuzzy controller
- fuzzy model
- nonlinear functions
- artificial intelligence
- fuzzy inference system
- inference rules
- belief revision
- random variables
- logic programming