2540 search results - page 121 / 508 » Abstract Logics as Dialgebras |
151
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
175
click to vote
CEC
2007
IEEE
16 years 25 days ago
2007
IEEE
— This paper presents a new method to generalize strategies in order to control parameters of Evolutionary Algorithms (EAs). A learning process establishes the relationship betwe...
169
click to vote
FORMATS
2007
Springer
16 years 19 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...
157
click to vote
KSEM
2007
Springer
16 years 19 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...
142
click to vote
LPAR
2007
Springer
16 years 18 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...