3973 search results - page 516 / 795 » Records for Logic Programming |
144
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
120
click to vote
ICLP
1987
Springer
15 years 8 months ago
1987
Springer
The Near-Horn Prolog procedures have been proposed as e ective procedures in the area of disjunctive logic programming, an extension of logic programming to the ( rstorder) non-Ho...
140
click to vote
ASE
2010
15 years 5 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
168
click to vote
SPE
2002
15 years 4 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
149
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...