An axiomatic semantics for iocos_ conformance relation.

Carlos Gregorio-Rodríguez Luis Llana Rafael Martínez-Torres

Published in: J. Log. Algebraic Methods Program. (2018)

Keyphrases

abstract argumentation
binary relations
logic programming
formal semantics
database
speech acts
operational semantics
data sets
genetic algorithm
artificial intelligence
information systems
decision trees
business process
conceptual model
default reasoning
neural network
databases