1137 search results - page 1 / 228 » Logic Programming for Knowledge Representation |
AAAI
2006
13 years 6 months ago
2006
Several forms of reasoning in AI
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
LPKR
1997
Springer
13 years 9 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
ASP
2001
Springer
13 years 8 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
LPNMR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...