Sciweavers

3047 search results - page 6 / 610
» On the Meaning of Logical Completeness
Sort
View
78
Voted
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 22 days ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
73
Voted
VISAPP
2008
15 years 2 months ago
Image Completion Using a Diffusion Driven Mean Curvature Flowin A Sub-Riemannian Space
Gonzalo Sanguinetti, Giovanna Citti, Alessandro Sa...
57
Voted
IJUFKS
2006
42views more  IJUFKS 2006»
15 years 19 days ago
Completing Fuzzy if-then Rule Bases by Means of Smoothing Splines
Thomas Vetterlein, Martin Stepnicka