859 search results - page 16 / 172 » Abduction in Temporal Reasoning |
ICTL
1994
14 years 27 days ago
1994
This paper presents a temporal belief logic called
CLIMA
2004
13 years 10 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
ICLP
2007
Springer
14 years 20 days ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
SOCO
2010
Springer
13 years 3 months ago
2010
Springer
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
ICLP
2010
Springer
14 years 7 days ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...