4192 search results - page 423 / 839 » Probabilistic Logic Programming |
196
Voted
MOZ
2004
Springer
16 years 27 days 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...
153
Voted
FPL
2003
Springer
16 years 23 days 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...
192
Voted
BIBM
2009
IEEE
16 years 19 days 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...
209
Voted
ICLP
2010
Springer
15 years 11 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...
163
Voted
CSL
1995
Springer
15 years 11 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...