8766 search results - page 571 / 1754 » Functional logic programming |
139
click to vote
BIBM
2009
IEEE
15 years 10 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...
124
click to vote
ECAI
2000
Springer
15 years 9 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...
153
click to vote
ICLP
2010
Springer
15 years 8 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...
124
Voted
CSL
1995
Springer
15 years 8 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 ...
136
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...