466 search results - page 10 / 94 » Critical Reasoning |
CORR
2002
Springer
13 years 9 months ago
2002
Springer
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
AAAI
1990
13 years 11 months ago
1990
Commitment to an ontological perspective is a primary aspect of reasoning about the physical world. For complex analytic tasks, the ability to switch between different ontologies ...
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
BPM
2008
Springer
13 years 12 months ago
2008
Springer
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...
AAAI
2010
13 years 11 months ago
2010
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...