319 search results - page 52 / 64 » Improved Model Checking of Hierarchical Systems |
137
click to vote
ICLP
2001
Springer
15 years 6 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
140
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
147
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
114
Voted
WSC
1998
15 years 3 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
111
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...