2414 search results - page 171 / 483 » Reasoning Support for OWL-E |
134
click to vote
LPNMR
2009
Springer
16 years 21 days ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
202
click to vote
ENC
2008
IEEE
16 years 18 days ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
137
click to vote
IAT
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...
134
Voted
ISCAS
2007
IEEE
16 years 12 days ago
2007
IEEE
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
163
click to vote
LOPSTR
2007
Springer
16 years 8 days ago
2007
Springer
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...