1486 search results - page 84 / 298 » A Logically Saturated Extension of |
173
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
184
click to vote
IGPL
2006
15 years 5 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
160
click to vote
INFFUS
2006
15 years 5 months ago
2006
This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic k...
160
click to vote
JAR
2002
15 years 5 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
169
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...