3705 search results - page 466 / 741 » Building Documentation Generators |
191
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
182
Voted
LPNMR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
173
click to vote
SARA
2007
Springer
16 years 24 days ago
2007
Springer
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in . Abstraction and reformulation techni...
174
click to vote
TSD
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
178
click to vote
ESCIENCE
2006
IEEE
16 years 22 days ago
2006
IEEE
Modern scientific experiments can generate large amounts of data, which may be replicated and distributed across multiple resources to improve application performance and fault to...