Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ASP
2001
Springer

favoriteEmaildiscussreport

89views Automated Reasoning» more ASP 2001»

Tabular Constraint-Satisfaction Problems and Answer Set Programming

13 years 9 months ago

Tabular Constraint-Satisfaction Problems and Answer Set Programming

Download www.aaai.org

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

Real-time Traffic

ASP 2001 | Automated Reasoning |

claim paper

Related Content

» A Translational Approach to Constraint Answer Set Solving

» STCSP Structured Temporal Constraint satisfaction Problems

» Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems

» TemporallyExpressive Planning as Constraint Satisfaction Problems

» Universal Algebra and Hardness Results for Constraint Satisfaction Problems

» Program Understanding as Constraint Satisfaction Representation and Reasoning Techniques

» DATALOG with Constraints An AnswerSet Programming System

» General Fuzzy Answer Set Programs

» The Impact of Constraint Programming

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	ASP
Authors	Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski

Comments (0)