579 search results - page 52 / 116 » Combined reasoning by automated cooperation |
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
ECSQARU
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. When merging belief functions, Dempster rule of combination is justified only when sources can be considered as independent. When dependencies are ill-known, it is usual ...
LICS
2012
IEEE
11 years 11 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...