15754 search results - page 298 / 3151 » Programs are Knowledge Bases |
180
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
203
click to vote
JOLLI
2008
15 years 6 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
171
click to vote
IEEEICCI
2003
IEEE
15 years 12 months ago
2003
IEEE
During software evolution, programmers add new functionalities and release new versions of software. This complicated work involves not only program development but also learning ...
158
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
135
click to vote
EKAW
2004
Springer
16 years 1 days ago
2004
Springer
A new incremental knowledge acquisition approach for the effective development of efficient problem solvers for combinatorial problems based on probabilistic search algorithms is ...