7335 search results - page 972 / 1467 » Scene Based Reasoning |
212
click to vote
ER
2004
Springer
16 years 9 days ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...
227
click to vote
AGP
2003
IEEE
16 years 6 days ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
200
click to vote
CAISE
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
161
click to vote
LICS
2002
IEEE
15 years 12 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
338
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Through adjustable autonomy (AA), an agent can dynamically vary the degree to which it acts autonomously, allowing it to exploit human abilities to improve its performance, but wi...