10568 search results - page 1685 / 2114 » Computer Intelligence and Formalization |
194
Voted
IEEEICCI
2009
IEEE
16 years 29 days ago
2009
IEEE
In practical issues, categorical data and numerical data usually coexist, and a unified data reduction technique for hybrid data is desirable. In this paper, an information measu...
165
click to vote
AGS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. The importance of affect in delivering engaging experiences in entertainment and education is well recognized. We introduce the Koko architecture, which describes a servi...
179
click to vote
WOLLIC
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
155
click to vote
WOLLIC
2009
Springer
16 years 27 days ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
152
Voted
WOLLIC
2009
Springer
16 years 27 days ago
2009
Springer
In the recent years, query answering over Description Logic (DL) knowledge bases has been receiving increasing attention, and various methods and techniques have been presented for...