1588 search results - page 67 / 318 » On the Logic of Constitutive Rules |
173
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
164
click to vote
LICS
2008
IEEE
16 years 17 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
144
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
176
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
197
click to vote
RWEB
2010
Springer
15 years 4 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...