Multiple-conclusion Rules, Hypersequents Syntax and Step Frames.

Nick Bezhanishvili Silvio Ghilardi

Published in: Advances in Modal Logic (2014)

Keyphrases

data sets
case based reasoning
post processing
rule sets
database
information retrieval
artificial intelligence
natural language
rough sets
rule extraction
operational semantics