7167 search results - page 242 / 1434 » Answer Set Programming |
131
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Search spaces sampled by the process of Genetic Programming often consist of programs which can represent a function in many different ways. Thus, when the space is examined it i...
149
click to vote
CORR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
108
Voted
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
103
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
With the current demonstrator, we present an implementation of formal argumentation that is not only able to evaluate an argument according to standard argumentation semantics, bu...
123
click to vote
ICAIL
2005
ACM
15 years 7 months ago
2005
ACM
We present a Question-Answering (QA) system for Portuguese juridical documents. The QA system was applied to the complete set of decisions from several Portuguese juridical instit...