Embedding formalisms: hypersequents and two-level systems of rule.

Agata Ciabattoni Francesco A. Genco

Published in: Advances in Modal Logic (2016)

Keyphrases

expert systems
computer systems
retrieval systems
databases
multi agent
association rules
management system
intelligent systems
building blocks
real time
computer vision
distributed systems
learning systems
information hiding
knowledge representation systems