1059 search results - page 37 / 212 » Standard Logics Are Valuation-Nonmonotonic |
159
click to vote
TARK
2007
Springer
16 years 6 days ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
189
click to vote
TARK
2007
Springer
16 years 6 days ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
187
click to vote
TPLP
2002
15 years 5 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
152
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
146
click to vote
GLVLSI
2006
IEEE
16 years 4 days ago
2006
IEEE
A new circuit technique based on a single PMOS sleep transistor and a dual threshold voltage CMOS technology is proposed in this paper for simultaneously reducing subthreshold and...