7075 search results - page 1082 / 1415 » Models and heterogeneous reasoning |
169
Voted
IJIS
2007
15 years 6 months ago
2007
Deliberation dialogues occur when two or more participants seek to jointly agree an action or a course of action in some situation. We present the first formal framework for such...
163
Voted
SOCO
2008
Springer
15 years 6 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...
173
Voted
SYNTHESE
2008
15 years 6 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
157
Voted
JANCL
2007
15 years 6 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
201
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...