3513 search results - page 338 / 703 » Super Logic Programs |
132
click to vote
MOZ
2004
Springer
15 years 9 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
100
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...
132
click to vote
BIBM
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
118
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
144
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...