1435 search results - page 187 / 287 » Description Logics |
169
Voted
HCSE
2010
15 years 2 months ago
2010
In this paper we present a novel method for desktop-to-mobile adaptation. The solution also supports end-users in customizing multi-device ubiquitous user interfaces. In particular...
158
click to vote
WISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
122
Voted
IJCAI
1993
15 years 5 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
152
Voted
PADL
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
119
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Logic simulation is a critical component of the design tool flow in modern hardware development efforts. It is used widely ? from high-level descriptions down to gate-level ones ?...