Sciweavers

531 search results - page 37 / 107
» An Argumentation-Based Approach for Practical Reasoning
Sort
View
122
Voted
DLOG
2008
15 years 6 months ago
Rewriting Rules into SROIQ Axioms
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
Francis Gasse, Ulrike Sattler, Volker Haarslev
150
Voted
GIS
2007
ACM
15 years 3 months ago
Contour line thinning and multigrid generation of raster-based digital elevation models
Thin plate spline interpolation is a widely used approach to generate a digital elevation model (DEM) from contour lines and scattered data. In practice, contour maps are scanned a...
Endre Katona
CL
2000
Springer
15 years 3 months ago
Associative definition of programming languages
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
Stefano Crespi-Reghizzi, Matteo Pradella, Pierluig...
ECSQARU
2009
Springer
15 years 1 months ago
When in Doubt ... Be Indecisive
For a presented case, a Bayesian network classifier in essence computes a posterior probability distribution over its class variable. Based upon this distribution, the classifier&#...
Linda C. van der Gaag, Silja Renooij, Wilma Steene...
CADE
2011
Springer
14 years 3 months ago
Exploiting Symmetry in SMT Problems
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
David Déharbe, Pascal Fontaine, Stephan Mer...