4224 search results - page 82 / 845 » Reasoning about Choice |
AAAI
2011
14 years 5 months ago
2011
183
click to vote
ATAL
2011
Springer
14 years 5 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...
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
254
click to vote
CONCUR
2011
Springer
14 years 5 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
174
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...