540 search results - page 55 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
101
Voted
CHI
2007
ACM
16 years 27 days 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...
120
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
120
Voted
FLOPS
1999
Springer
15 years 4 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
84
Voted
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
199
click to vote
GIS
2008
ACM
16 years 1 months ago
2008
ACM
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...