2291 search results - page 100 / 459 » Logic Programming and Model Checking |
130
Voted
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
218
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
133
click to vote
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
111
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
163
click to vote
RV
2010
Springer
15 years 6 days ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...