Sciweavers

1753 search results - page 173 / 351
» Reducibility of domain representations and Cantor-Weihrauch ...
Sort
View
CEC
2007
IEEE
15 years 2 months ago
Designing memetic algorithms for real-world applications using self-imposed constraints
— Memetic algorithms (MAs) combine the global exploration abilities of evolutionary algorithms with a local search to further improve the solutions. While a neighborhood can be e...
Thomas Michelitsch, Tobias Wagner, Dirk Biermann, ...
AMAI
2008
Springer
15 years 2 months ago
Integrating answer set programming and constraint logic programming
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
AMAI
2006
Springer
15 years 2 months ago
Answer set based design of knowledge systems
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
LRE
2008
76views more  LRE 2008»
15 years 1 months ago
Comparing and combining semantic verb classifications
In this article, we address the task of comparing and combining different semantic verb classifications within one language. We present a methodology for the manual analysis of ind...
Oliver Culo, Katrin Erk, Sebastian Padó, Sa...
AIM
2005
15 years 1 months ago
Description Logics and Planning
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
Yolanda Gil