884 search results - page 91 / 177 » Using Nested Logic Programs for Answer Set Programming |
137
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
113
Voted
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
109
click to vote
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
136
Voted
JACM
2010
15 years 23 days ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
127
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...