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

The complexity of model checking for circumscriptive formulae

โœ Scribed by Marco Cadoli

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
556 KB
Volume
44
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Belief Revision and Update: Complexity o
Belief Revision and Update: Complexity of Model Checking
โœ Paolo Liberatore; Marco Schaerf ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 228 KB

One of the main challenges in the formal modeling of common-sense reasoning is the ability to cope with the dynamic nature of the world. Among the approaches put forward to address this problem are belief revision and update. Given a knowledge base T, representing our knowledge of the ``state of aff

The complexity of bisimilarity-checking
The complexity of bisimilarity-checking for one-counter processes
โœ Antonฤฑ́n Kuฤera ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 376 KB

We study the problem of bisimilarity-checking between processes of one-counter automata and รฟnite-state processes. We show that deciding weak bisimilarity between processes of one-counter nets (which are 'restricted' one-counter automata where the counter cannot be tested for zero) and รฟnite-state p

Laboratory experimental check of a conce
Laboratory experimental check of a conceptual model for infiltration under complex rainfall patterns
โœ Florisa Melone; Corrado Corradini; Renato Morbidelli; Carla Saltalippi ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 434 KB

## Abstract Experimental evidence of the accuracy of the model proposed by Corradini __et al.__ (1997, __Journal of Hydrology__ **192**: 104โ€“124) for local infiltrationโ€“redistributionโ€“reinfiltration in homogeneous soils is given. The model provides infiltration through the time evolution of the soi