3032 search results - page 389 / 607 » Description Logic Rules |
123
Voted
JOLLI
2008
15 years 3 months ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
119
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
149
Voted
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
128
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
112
Voted
CADE
2003
Springer
16 years 4 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...