193 search results - page 1 / 39 » On the Epistemological foundations of Logic Programming and ... |
ASP
2001
Springer
13 years 8 months ago
2001
Springer
AIPRF
2007
13 years 6 months ago
2007
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
ASP
2003
Springer
13 years 10 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
FSKD
2007
Springer
13 years 8 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
AMAI
2007
Springer
13 years 5 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...