3053 search results - page 301 / 611 » A Logic of Abstract Argumentation |
180
click to vote
CEC
2007
IEEE
16 years 1 months 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...
180
click to vote
FORMATS
2007
Springer
16 years 29 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...
166
click to vote
KSEM
2007
Springer
16 years 28 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...
154
click to vote
LPAR
2007
Springer
16 years 28 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...
192
click to vote
OTM
2007
Springer
16 years 28 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...