8232 search results - page 50 / 1647 » Dynamic Logic Programming |
120
click to vote
CAEPIA
2003
Springer
15 years 6 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...
113
Voted
GLVLSI
2003
IEEE
15 years 7 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...
132
click to vote
DLOG
1998
15 years 3 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 ...
128
click to vote
IWPC
1997
IEEE
15 years 5 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...
108
click to vote
JELIA
2004
Springer
15 years 7 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...