Login / Signup
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation.
Livio Robaldo
Xin Sun
Published in:
J. Log. Comput. (2017)
Keyphrases
</>
input output
modal logic
predicate logic
noise cancellation
internal states
normative systems
fuzzy neural network
fuzzy model
neural network
meta level
state transition
data envelopment analysis
temporal logic
fuzzy inference system
ibm zenterprise
logical framework
temporal reasoning
response time