Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
WLP
2004
Springer
11 years 6 months ago
SQL Based Frequent Pattern Mining with FP-Growth
Scalable data mining in large databases is one of today’s real challenges to database research area. The integration of data mining with database systems is an essential componen...
Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist
WLP
2004
Springer
11 years 6 months ago
Declaratively Querying and Visualizing Knowledge Bases in Xml
Abstract. The maintenance of large knowledge systems usually is a rather complex task. In this paper we will show that extensions or modifications of a knowledge base can be suppo...
Dietmar Seipel, Joachim Baumeister, Marbod Hopfner
WLP
2004
Springer
11 years 6 months ago
Solving Alternating Boolean Equation Systems in Answer Set Programming
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
Misa Keinänen, Ilkka Niemelä
WLP
2004
Springer
11 years 6 months ago
A Pragmatic Approach to Pre-testing Prolog Programs
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
Christoph Beierle, Marija Kulas, Manfred Widera
WLP
2004
Springer
11 years 6 months ago
Optimizing the Evaluation of XPath Using Description Logics
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
WLP
2004
Springer
11 years 6 months ago
Effective Modeling with Constraints
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
Roman Barták
WLP
2004
Springer
11 years 6 months ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
books