Sciweavers

475 search results - page 39 / 95
» A Framework for Expressing and Combining Preferences
Sort
View
RR
2009
Springer
14 years 3 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
FOIKS
2008
Springer
13 years 10 months ago
Merging First-Order Knowledge Using Dilation Operators
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases exp...
Nikos Gorogiannis, Anthony Hunter
ISMIS
2009
Springer
14 years 3 months ago
Semantic-Based Top-k Retrieval for Competence Management
Abstract. We present a knowledge-based system, for skills and talent management, exploiting semantic technologies combined with top-k retrieval techniques. The system provides adva...
Umberto Straccia, Eufemia Tinelli, Simona Colucci,...
ICLP
2003
Springer
14 years 2 months ago
Order and Negation as Failure
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
Davy Van Nieuwenborgh, Dirk Vermeir
LADS
2007
Springer
14 years 2 months ago
An Argumentation Based Semantics for Agent Reasoning
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
Sanjay Modgil