1667 search results - page 18 / 334 » Extended clause learning |
UML
2000
Springer
13 years 11 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
PSSS
2003
13 years 9 months ago
2003
We investigate the applicability of classical resolution-based theorem proving methods for the Semantic Web. We consider several well-known search strategies, propose a general sch...
ICML
2000
IEEE
14 years 8 months ago
2000
IEEE
FOSSACS
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
SAT
2004
Springer
14 years 1 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...