432 search results - page 16 / 87 » Open answer set programming for the semantic web |
LPAR
2004
Springer
14 years 1 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
ICALP
2003
Springer
14 years 1 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
ICLP
2010
Springer
13 years 12 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...
FLAIRS
2008
13 years 10 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
IJDMB
2011
12 years 11 months ago
2011
: Recently, many approaches to model regulatory networks have been proposed in the systems biology domain, however the task is far from being solved. In this paper we propose an an...