1404 search results - page 90 / 281 » Complexity of admissible rules |
126
Voted
CAD
1998
Springer
15 years 3 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 ...
156
Voted
LFCS
2007
Springer
15 years 9 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...
144
Voted
JUCS
2006
15 years 3 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...
113
Voted
AUIC
2006
IEEE
15 years 9 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, ...
143
Voted
ICLP
2007
Springer
15 years 7 months 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...