45 search results - page 3 / 9 » Automated Reasoning: Past Story and New Trends |
PKDD
2009
Springer
13 years 11 months ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
EWCBR
2004
Springer
13 years 10 months ago
2004
Springer
The case-based reasoning approach to email response consists of reusing past messages to synthesize new responses to incoming requests. This task presents various challenges due to...
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
KR
2000
Springer
13 years 8 months ago
2000
Springer
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
DLOG
2010
13 years 3 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...