177 search results - page 7 / 36 » Reducing the complexity of logics for multiagent systems |
144
click to vote
ATAL
2009
Springer
16 years 9 hour ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
132
click to vote
DEON
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
142
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Increasing teamwork between agents typically increases the performance of a multi-agent system, at the cost of increased communication and higher computational complexity. This wo...
142
Voted
CLIMA
2007
15 years 6 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
159
click to vote
ICTCS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...