169 search results - page 12 / 34 » Temporalization of Probabilistic Propositional Logic |
CORR
2010
Springer
15 years 6 months ago
2010
Springer
131
Voted
AAAI
2008
15 years 8 months ago
2008
189
Voted
LICS
2006
IEEE
16 years 11 days 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...
261
Voted
ICTL
1994
15 years 10 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...
157
Voted
ATAL
2010
Springer
15 years 7 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...