3693 search results - page 270 / 739 » Splitting a Logic Program |
154
Voted
AIR
2004
15 years 4 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
122
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
152
click to vote
JELIA
2004
Springer
15 years 10 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...
132
click to vote
VL
1996
IEEE
15 years 9 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
Voted
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...