3624 search results - page 375 / 725 » Abstract Algebraic Logic |
175
click to vote
FORMATS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
160
click to vote
KSEM
2007
Springer
16 years 24 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...
149
click to vote
LPAR
2007
Springer
16 years 24 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...
198
click to vote
SUM
2007
Springer
16 years 24 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 23 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...