Sciweavers

1963 search results - page 41 / 393
» Applications of Preferences using Answer Set Programming
Sort
View
205
Voted
VLDB
2006
ACM
147views Database» more  VLDB 2006»
16 years 2 months ago
Answering queries using materialized views with minimum size
In this paper we study the following problem. Given a database and a set of queries, we want to find a set of views that can compute the answers to the queries, such that the amoun...
Rada Chirkova, Chen Li, Jia Li
146
Voted
ATAL
2008
Springer
15 years 4 months ago
Conjunctive queries for ontology based agent communication in MAS
In order to obtain semantic interoperability in open MultiAgent Systems, agents need to agree on the basis of different ontologies. In this paper we formally define mapping as cor...
Cássia Trojahn dos Santos, Paulo Quaresma, ...
140
Voted
AGP
2003
IEEE
15 years 8 months ago
Solving Hard Disjunctive Logic Programs Faster (Sometimes)
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
Gerald Pfeifer
125
Voted
SLP
1994
89views more  SLP 1994»
15 years 3 months ago
Signed Logic Programs
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
Hudson Turner
144
Voted
LPNMR
1993
Springer
15 years 6 months ago
An Assumption-Based Framework for Non-Monotonic Reasoning
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
Andrei Bondarenko, Francesca Toni, Robert A. Kowal...