7167 search results - page 879 / 1434 » Answer Set Programming |
127
click to vote
RULEML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...
153
Voted
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
121
Voted
CC
2003
Springer
15 years 10 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
151
click to vote
COCOON
2003
Springer
15 years 10 months ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
256
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...