2958 search results - page 262 / 592 » Extending and Implementing RASP |
115
Voted
CORR
2008
Springer
15 years 17 days ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
100
Voted
ENTCS
2010
15 years 16 days ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
105
click to vote
ADT
2006
15 years 16 days ago
2006
We propose LicenseScript, a language for digital rights management (DRM) based on multiset rewriting and logic programming. LicenseScript enjoys a precise syntax and semantics, an...
91
Voted
EOR
2008
15 years 16 days ago
2008
In this paper we present an extension of ant colony optimization (ACO) to continuous domains. We show how ACO, which was initially developed to be a metaheuristic for combinatoria...
113
Voted
AUTOMATICA
2006
15 years 16 days ago
2006
This work studies optimal sensor placement and motion coordination strategies for mobile sensor networks. For a target tracking application with range sensors, we investigate the ...