1223 search results - page 59 / 245 » A Logic for Reasoning about Evidence |
171
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
169
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
148
click to vote
WECWIS
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a simple auction protocol for the sale of overdemanded goods with a delivery schedule. Under some reasonable assumptions, our mechanism is incentive compatible, collect...
154
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
155
click to vote
ICAIL
2005
ACM
15 years 12 months ago
2005
ACM
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the ...