7167 search results - page 81 / 1434 » Answer Set Programming |
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
2007
Springer
14 years 2 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
NDQA
2004
13 years 9 months ago
2004
People when asked a number of questions about a particular topic begin to become knowledgeable about the topic as they look for and find answers to the questions. A question answe...
KBSE
2002
IEEE
14 years 23 days ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
FUIN
2010
13 years 6 months ago
2010
Given a set of taxa S and a complete set of quartet topologies Q over S, the problem of determining a phylogeny that satisfies the maximum number of topologies is called the Maxi...