3481 search results - page 299 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
146
click to vote
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
148
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
130
click to vote
VL
1996
IEEE
15 years 8 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
150
click to vote
FOSSACS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
133
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...