2214 search results - page 142 / 443 » Complexity of Reasoning |
108
Voted
IJCAI
2007
15 years 4 months ago
2007
Most AI diagnostic reasoning approaches model components and but not their interconnections, and when they do model interconnections, they model the possibility that a connection ...
145
Voted
IJCAI
2007
15 years 4 months ago
2007
A key problem in playing strategy games is learning how to allocate resources effectively. This can be a difficult task for machine learning when the connections between actions a...
99
Voted
DLOG
1997
15 years 4 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
121
Voted
AAAI
1990
15 years 4 months ago
1990
A central problem in text-understanding research is the indeterminacy of natural language. Two related issues that arise in confronting this problem are the need to make complex i...
131
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...