1097 search results - page 90 / 220 » Revision Programming = Logic Programming Integrity Constra... |
145
click to vote
AGP
1997
IEEE
15 years 7 months ago
1997
IEEE
We propose an algorithm for learning abductive logic programs from examples. We consider the Abductive Concept Learning framework, an extension of the Inductive Logic Programming ...
127
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
140
click to vote
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
138
Voted
JFP
2008
15 years 3 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
126
click to vote
TVCG
2011
14 years 10 months ago
2011
—Metro maps are schematic diagrams of public transport networks that serve as visual aids for route planning and navigation tasks. It is a challenging problem in network visualiz...