2308 search results - page 255 / 462 » Representing Symbolic Reasoning |
194
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
178
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...
178
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merg...
162
click to vote
TIME
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
143
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...