๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Minimal refinements of specifications in model and termporal logics

โœ Scribed by Nikos Gorogiannis; Mark Ryan

Publisher
Springer
Year
2006
Tongue
English
Weight
569 KB
Volume
19
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Minimal model generation for refined ans
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases
โœ Adnan H. Yahya ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 331 KB

Generalized queries are deยฎned as sets of clauses in implication form. They cover several tasks of practical importance for database maintenance such as answering positive queries, computing database completions and integrity constraints checking. We address the issue of answering generalized querie