10568 search results - page 311 / 2114 » Computer Intelligence and Formalization |
121
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
When developing semantic applications, the construction of ontologies is a crucial part. We are developing a semiautomatic ontology construction approach, OntoCase, relying on ont...
127
Voted
CIDM
2007
IEEE
15 years 3 months ago
2007
IEEE
— Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, aft...
119
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Game theory has been playing an increasingly visible role in computer science, in areas as diverse as artificial intelligence, theory, and distributed systems, among others. I tak...
110
Voted
ICFCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
108
Voted
IJIS
2007
15 years 3 months ago
2007
This paper reviews recent advances in the interdisciplinary area lying between artificial intelligence and the theory of argumentation. The paper has two distinct foci: first, exam...