Search Sciweavers | Sciweavers

1353 search results - page 7 / 271

» Streamlined Constraint Reasoning

click to vote

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

14 years 1 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

click to vote

KR
2010
Springer

209views Automated Reasoning» more KR 2010»

Generalized Planning with Loops under Strong Fairness Constraints

14 years 14 days ago

Download goanna.cs.rmit.edu.au

Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sard...

claim paper

Read More »

click to vote

ASP
2001
Springer

89views Automated Reasoning» more ASP 2001»

Tabular Constraint-Satisfaction Problems and Answer Set Programming

14 years 6 days ago

Download www.aaai.org

Raphael A. Finkel, Victor W. Marek, Miroslaw Trusz...

claim paper

Read More »

click to vote

LICS
2000
IEEE

113views Automated Reasoning» more LICS 2000»

View-Based Query Processing and Constraint Satisfaction

14 years 2 days ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

ICLP
1989
Springer

79views Automated Reasoning» more ICLP 1989»

Constraint Hierarchies and Logic Programming

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers