8232 search results - page 191 / 1647 » Dynamic Logic Programming |
177
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
157
Voted
IFIP12
2009
15 years 4 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
183
click to vote
RR
2009
Springer
16 years 28 days ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
170
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
147
click to vote
AGP
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...