1404 search results - page 90 / 281 » Complexity of admissible rules |
CAD
1998
Springer
13 years 8 months ago
1998
Springer
The goal of this paper is to bring together the worlds of design and active databases. Design databases have to provide a powerful data model for complex structured design data as ...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
JUCS
2006
13 years 9 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
AUIC
2006
IEEE
14 years 3 months ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
ICLP
2007
Springer
14 years 28 days ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...