Sciweavers

3693 search results - page 52 / 739

» Splitting a Logic Program

27

APLAS
2009
ACM

116views Programming Languages» more APLAS 2009»

Weak updates and separation logic

14 years 3 months ago

Weak updates and separation logic

Download www.cse.lehigh.edu

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

claim paper

Read More »

18

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

14 years 2 months ago

BI Hyperdoctrines and Higher-Order Separation Logic

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

21

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

14 years 1 months ago

Pebble Weighted Automata and Transitive Closure Logics

Download www.lsv.ens-cachan.fr

Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...

claim paper

Read More »

22

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

13 years 11 months ago

Oracle Semantics for Concurrent Separation Logic

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

35

JAIR
2007

121views more JAIR 2007»

On the Semantics of Logic Programs with Preferences

13 years 9 months ago

On the Semantics of Logic Programs with Preferences

Download www.jair.org

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

claim paper

Read More »

« Prev « First page 52 / 739 Last » Next »