3573 search results - page 69 / 715 » Reasoning about Codata |
81
Voted
KI
2011
Springer
14 years 6 months ago
2011
Springer
109
click to vote
IFIP
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
43
Voted
JCIT
2010
14 years 5 months ago
2010
AAAI
2011
13 years 11 months ago
2011
118
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...