774 search results - page 19 / 155 » Experiments with an Agent-Oriented Reasoning System |
ATVA
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
IAAI
2003
13 years 9 months ago
2003
Sketch maps are an important spatial representation used in many geospatial reasoning tasks. This paper describes techniques we have developed that enable software to perform huma...
APWEB
2006
Springer
13 years 12 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
ICCBR
1997
Springer
14 years 9 days ago
1997
Springer
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper introduces an invoice analysis approach using CaseBased Reasoning (CBR). CBR is used to analyze and interpret new invoices thanks to the previous processing experiences...