Sciweavers

3481 search results - page 26 / 697

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

30

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

13 years 7 months ago

Logic programs with monotone abstract constraint atoms

Download www.cs.uky.edu

Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...

claim paper

Read More »

18

ENTCS
2007

106views more ENTCS 2007»

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

13 years 7 months ago

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Download www.fdi.ucm.es

Sonia Estévez Martín, Antonio J. Fer...

claim paper

Read More »

21

HEURISTICS
2002

62views more HEURISTICS 2002»

Soft Constraint Logic Programming and Generalized Shortest Path Problems

13 years 7 months ago

Soft Constraint Logic Programming and Generalized Shortest Path Problems

Download www.dsi.unive.it

Stefano Bistarelli, Ugo Montanari, Francesca Rossi

claim paper

Read More »

17

INFORMS
2002

40views more INFORMS 2002»

Logic, Optimization, and Constraint Programming

13 years 7 months ago

Logic, Optimization, and Constraint Programming

Download wpweb2.tepper.cmu.edu

John N. Hooker

claim paper

Read More »

27

IJSSE
2011

127views more IJSSE 2011»

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints

13 years 2 months ago

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints

Download staff.scm.uws.edu.au

The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...

Sean Policarpio, Yan Zhang

claim paper

Read More »

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