169 search results - page 12 / 34 » Temporalization of Probabilistic Propositional Logic |
CORR
2010
Springer
15 years 15 days ago
2010
Springer
AAAI
2008
15 years 2 months ago
2008
115
click to vote
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
168
click to vote
ICTL
1994
15 years 4 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
92
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...