Sciweavers

4513 search results - page 84 / 903

» Logic programming with satisfiability

97

APLAS
2009
ACM

116views Programming Languages» more APLAS 2009»

Weak updates and separation logic

15 years 9 months ago

Weak updates and separation logic

Download www.cse.lehigh.edu

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

claim paper

Read More »

115

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

15 years 8 months ago

BI Hyperdoctrines and Higher-Order Separation Logic

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

96

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

15 years 8 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 »

91

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 5 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 »

141

JAIR
2007

121views more JAIR 2007»

On the Semantics of Logic Programs with Preferences

15 years 3 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 84 / 903 Last » Next »