2920 search results - page 108 / 584 » Finite information logic |
156
click to vote
COLT
1994
Springer
15 years 4 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
129
Voted
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
3DPVT
2004
IEEE
15 years 4 months ago
2004
IEEE
Computer graphics cameras lack the finite Depth of Field (DOF) present in real world ones. This results in all objects being rendered sharp regardless of their depth, reducing the...
122
Voted
AAAI
2006
15 years 2 months ago
2006
Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...
101
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...