226 search results - page 33 / 46 » Reasoning about the Semantic Web using Answer Set Programmin... |
126
click to vote
IJCAI
2007
15 years 4 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
134
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The paper proposes an approach to modeling users of large Web sites based on combining different data sources: access logs and content of the accessed pages are combined with sema...
119
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
159
click to vote
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
127
click to vote
LOGCOM
2007
15 years 2 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...