329 search results - page 41 / 66 » Resolution-based argumentation semantics |
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
There are more spots than immediately obvious in XQuery expressions where order is immaterial for evaluation-this affects most notably, but not exclusively, expressions in the sco...
ACMICEC
2005
ACM
14 years 3 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
GEOS
2009
Springer
14 years 2 months ago
2009
Springer
What is the intended interpretation of a geospatial database in terms of reproducible experiences? How should places on a digital globe be interpreted on the earth surface? And how...
AAAI
2007
14 years 6 days ago
2007
The goal of my research is to understand speech input in a continuous manner by treating the input stream as fragmental utterances. This allows us to use various approaches to pre...
AI
2004
Springer
13 years 9 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...