Search Sciweavers | Sciweavers

966 search results - page 32 / 194

» Communicating Answer Set Programs

137

click to vote

ASP
2001
Springer

115views Automated Reasoning» more ASP 2001»

Dynamical Properties of Answer Set Programs

15 years 10 months ago

Download www.aaai.org

Abstract Howard A. Blair EECSDept., 2-177 SciTech Syracuse University Syracuse, NY13210 USA

Howard A. Blair

claim paper

Read More »

135

click to vote

ASP
2001
Springer

133views Automated Reasoning» more ASP 2001»

Comparing different graph representations of logic programs under the Answer Set semantics

15 years 10 months ago

Download www.aaai.org

Stefania Costantini

claim paper

Read More »

134

click to vote

ASP
2001
Springer

89views Automated Reasoning» more ASP 2001»

Tabular Constraint-Satisfaction Problems and Answer Set Programming

15 years 10 months ago

Download www.aaai.org

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

claim paper

Read More »

150

click to vote

ASP
2001
Springer

87views Automated Reasoning» more ASP 2001»

On the Foundations of Answer Set Programming

15 years 10 months ago

Download www.aaai.org

Victor W. Marek, Jeffrey B. Remmel

claim paper

Read More »

123

click to vote

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers