3931 search results - page 300 / 787 » Separation logic and abstraction |
163
click to vote
KSEM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
153
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
190
click to vote
OTM
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
199
click to vote
SUM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
213
click to vote
TLCA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...