505 search results - page 65 / 101 » Answer Set Programming with Templates |
GPCE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
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...
PVLDB
2008
14 years 9 months ago
2008
The number of potentially-related data resources available for querying -- databases, data warehouses, virtual integrated schemas -continues to grow rapidly. Perhaps no area has s...
106
click to vote
TCSV
2010
14 years 4 months ago
2010
We propose a novel successive convex matching method for human action detection in cluttered video. Human actions are represented as sequences of poses, and specific actions are de...
115
click to vote
IJCAI
1997
14 years 11 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...