1117 search results - page 118 / 224 » Partial Models of Extended Generalized Logic Programs |
207
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
111
click to vote
FCS
2006
15 years 2 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
116
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
120
click to vote
ICMLA
2010
14 years 10 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
105
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...