4401 search results - page 545 / 881 » Computing with Default Logic |
159
click to vote
ECIS
2000
15 years 8 months ago
2000
This paper considers how we are constructing and modelling digital realities, and considers the relationships between digital realities and our reality using concepts from traditio...
213
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
174
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...
186
click to vote
JNSM
2008
15 years 6 months ago
2008
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
182
click to vote
AMAI
2000
Springer
15 years 6 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...