8232 search results - page 50 / 1647 » Dynamic Logic Programming |
159
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
160
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
The realization of fast datapaths in signal processing environments requires fastest, power efficient logic styles with synchronous behavior. This paper presents a method to combi...
174
click to vote
DLOG
1998
15 years 7 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
176
click to vote
IWPC
1997
IEEE
15 years 9 months ago
1997
IEEE
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of an original program with respect to a variable(s) of...
142
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...