Sciweavers

3481 search results - page 229 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

94

TOCL
2010

73views more TOCL 2010»

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

15 years 2 months ago

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

Download tocl.acm.org

Thomas Eiter, Mantas Simkus

claim paper

Read More »

124

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

14 years 11 months ago

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

claim paper

Read More »

141

IHI
2010

132views Healthcare» more IHI 2010»

Uncovering age-specific invasive and DCIS breast cancer rules using inductive logic programming

14 years 10 months ago

Uncovering age-specific invasive and DCIS breast cancer rules using inductive logic programming

Download pages.cs.wisc.edu

Houssam Nassif, David Page, Mehmet Ayvaci, Jude W....

claim paper

Read More »

104

TOCL
2010

87views more TOCL 2010»

Unicast and multicast QoS routing with soft-constraint logic programming

14 years 10 months ago

Unicast and multicast QoS routing with soft-constraint logic programming

Download tocl.acm.org

Stefano Bistarelli, Ugo Montanari, Francesca Rossi...

claim paper

Read More »

143

PODS
2005
ACM

147views Database» more PODS 2005»

Peer data exchange

16 years 4 months ago

Peer data exchange

Download people.scs.carleton.ca

Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...

Ariel Fuxman, Phokion G. Kolaitis, Renée J....

claim paper

Read More »

« Prev « First page 229 / 697 Last » Next »