260 search results - page 19 / 52 » Merging Belief Bases Represented by Logic Programs |
109
click to vote
INAP
2001
Springer
15 years 6 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
108
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
119
Voted
CL
2000
Springer
15 years 6 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
98
Voted
AAAI
2007
15 years 4 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
112
click to vote
GECCO
2004
Springer
15 years 7 months ago
2004
Springer
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...