5671 search results - page 776 / 1135 » A Semantic Approach to Interpolation |
172
Voted
AAAI
2008
15 years 9 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
225
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
175
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Conceptual-relational mappings between conceptual models and relational schemas have been used increasingly to achieve interoperability or overcome impedance mismatch in modern dat...
213
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Ontology learning is an important task in Artificial Intelligence, Semantic Web and Text Mining. This paper presents a novel framework for, and solutions to, three practical probl...
158
Voted
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...