Streamlining Input/Output Logics with Sequent Calculi.

Agata Ciabattoni Dmitry Rozplokhas

Published 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