7167 search results - page 61 / 1434 » Answer Set Programming |
110
click to vote
ACE
2003
15 years 2 months ago
2003
This paper seeks to inform instructors responsible for designing introductory programming courses within a university setting. In particular, guidelines for choosing programming l...
129
click to vote
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
212
click to vote
Book
1000 questions and answers in Java. This is a great resource for the Java preparation exam.
133
click to vote
IJCAI
1997
15 years 1 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
122
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...