Almost structurally complete infinitary consequence operations extending S4.3.

Wojciech Dzik Piotr Wojtylak

Published in: Log. J. IGPL (2015)

Keyphrases

data sets
information systems
databases
search engine
metadata
case study
three dimensional
multi agent
expert systems
user interface