Sciweavers

3693 search results - page 52 / 739
» Splitting a Logic Program
Sort
View
APLAS
2009
ACM
15 years 8 months ago
Weak updates and separation logic
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
108
Voted
ESOP
2005
Springer
15 years 7 months ago
BI Hyperdoctrines and Higher-Order Separation Logic
Bodil Biering, Lars Birkedal, Noah Torp-Smith
93
Voted
ICALP
2010
Springer
15 years 7 months ago
Pebble Weighted Automata and Transitive Closure Logics
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...
ESOP
2008
Springer
15 years 4 months ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...
JAIR
2007
121views more  JAIR 2007»
15 years 2 months ago
On the Semantics of Logic Programs with Preferences
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
Sergio Greco, Irina Trubitsyna, Ester Zumpano