1638 search results - page 146 / 328 » A General Semantics for Evaluation Logic |
185
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Researchers maintain bibliographies and extensive sets of PDF files of scholarly publications on their desktop. The lack of proper metadata of downloaded PDFs makes this task a t...
169
click to vote
PEPM
2007
ACM
16 years 18 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
167
click to vote
AICOM
2006
15 years 6 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
198
click to vote
AAAI
2010
15 years 8 months ago
2010
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
178
click to vote
DEXAW
2007
IEEE
16 years 25 days ago
2007
IEEE
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...