159 search results - page 24 / 32 » Abductive Logic Programming with CIFF: System Description |
ECOOPW
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We describe our progress building the program ReductionFinder, which uses off-the-shelf SAT solvers together with the Cmodels system to automatically search for reduction...
102
Voted
IJCAI
1993
15 years 1 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
DFG
2004
Springer
15 years 5 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
KES
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...