331 search results - page 13 / 67 » Quantified coalition logic |
APAL
2008
14 years 12 months ago
2008
A propositional logic of explicit proofs, LP, was introduced in [2], completing a project begun long ago by G
AUSAI
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
115
click to vote
IJCAI
2003
15 years 1 months ago
2003
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propo...
KI
2006
Springer
14 years 11 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
45
Voted
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
