118 search results - page 21 / 24 » An Abstract Interpretation Based Combinator for Modelling Wh... |
142
Voted
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
126
click to vote
ACL
1998
15 years 4 months ago
1998
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
140
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
165
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
129
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...