3706 search results - page 132 / 742 » KtSeqC: System Description |
199
click to vote
MKWI
2008
15 years 8 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
173
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
135
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
161
click to vote
WICSA
2001
15 years 7 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
188
click to vote
CN
2008
15 years 6 months ago
2008
During the last decade, the study of large scale complex networks has attracted a substantial amount of attention and works from several domains: sociology, biology, computer scie...