Positive Fragments of Coalgebraic Logics.

Adriana Balan Alexander Kurz Jiri Velebil

Published in: CALCO (2013)

Keyphrases

expressive power
positive and negative
modal logic
inference rules
database
multi agent
positive or negative
horizontal fragmentation
neural network
genetic algorithm
web pages
database systems
proof theory