1664 search results - page 8 / 333 » Towards Partial Reasoning |
82
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
GIS
2002
ACM
15 years 1 months ago
2002
ACM
65
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
220
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
IJIS
2002
15 years 1 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...