260 search results - page 18 / 52 » Merging Belief Bases Represented by Logic Programs |
131
click to vote
ENTCS
2006
15 years 1 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
112
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
125
click to vote
JAIR
1998
15 years 1 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
136
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Compressive sensing (CS) is an emerging field based on the revelation that a small collection of linear projections of a sparse signal contains enough information for stable, sub-N...
CSMR
1998
IEEE
15 years 6 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...