Sciweavers

3047 search results - page 6 / 610
» On the Meaning of Logical Completeness
Sort
View
CORR
2010
Springer
68views Education» more  CORR 2010»
13 years 7 months 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
VISAPP
2008
13 years 8 months ago
Image Completion Using a Diffusion Driven Mean Curvature Flowin A Sub-Riemannian Space
Gonzalo Sanguinetti, Giovanna Citti, Alessandro Sa...
IJUFKS
2006
42views more  IJUFKS 2006»
13 years 7 months ago
Completing Fuzzy if-then Rule Bases by Means of Smoothing Splines
Thomas Vetterlein, Martin Stepnicka