324 search results - page 31 / 65 » Repairing Incomplete Reasoners |
SOCO
2008
Springer
14 years 11 months ago
2008
Springer
Delivering software systems that fulfill all requirements of the stakeholders is very difficult, if not at all impossible. We consider the problem of coping with imperfect informat...
CADE
2008
Springer
16 years 3 days ago
2008
Springer
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
101
click to vote
AIPS
2010
15 years 12 hour ago
2010
When using a planner-based agent architecture, many things can go wrong. First and foremost, an agent might fail to execute one of the planned actions for some reasons. Even more ...
CORR
1998
Springer
14 years 11 months ago
1998
Springer
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
JASSS
1998
14 years 11 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...