318 search results - page 46 / 64 » Temporal Disjunctive Logic Programming |
123
click to vote
SEW
2003
IEEE
15 years 6 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
109
click to vote
ESOP
2003
Springer
15 years 6 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
124
click to vote
ASP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, HÄ...
130
click to vote
CCE
2005
15 years 1 months ago
2005
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...
120
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...