Sciweavers

808 search results - page 47 / 162
» What Is Answer Set Programming
Sort
View
PODS
2005
ACM
147views Database» more  PODS 2005»
14 years 9 months ago
Peer data exchange
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
Ariel Fuxman, Phokion G. Kolaitis, Renée J....
IFIP
1994
Springer
14 years 1 months ago
Object-Oriented System Development: Will the New Approach Solve Old Problems?
Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not su ciently addresse...
Gregor Engels, Gerti Kappel
CICLING
2005
Springer
14 years 2 months ago
Learning the Query Generation Patterns
Abstract. With the current method of query formation, a Question Answering system retrieves a set of documents that are similar to a question, while what is mostly required is a se...
Marcin Skowron, Kenji Araki
LOPSTR
2009
Springer
14 years 3 months ago
Coinductive Logic Programming with Negation
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
Richard Min, Gopal Gupta
LPNMR
2009
Springer
14 years 3 months ago
A Default Approach to Semantics of Logic Programs with Constraint Atoms
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
Yi-Dong Shen, Jia-Huai You