722 search results - page 44 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
APN
2001
Springer
15 years 1 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Customers of complex IT-services increasingly demand integrated value bundles that fit their individual needs. At the same time, IT service providers are facing commoditization of...
111
click to vote
COMPASS
1994
15 years 1 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
BMCBI
2010
14 years 10 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...