Sciweavers

461 search results - page 52 / 93
» Component-Based Answer Set Programming
Sort
View
JELIA
2010
Springer
13 years 8 months ago
Coala: A Compiler from Action Languages to ASP
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
Martin Gebser, Torsten Grote, Torsten Schaub
AAAI
2004
13 years 11 months ago
Adding Time and Intervals to Procedural and Hierarchical Control Specifications
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
Tran Cao Son, Chitta Baral, Le-Chi Tuan
CASCON
2004
108views Education» more  CASCON 2004»
13 years 11 months ago
Consistent query answering under inclusion dependencies
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
Loreto Bravo, Leopoldo E. Bertossi
AGP
2003
IEEE
14 years 1 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello
IJCAI
2001
13 years 11 months ago
A Comparative Study of Logic Programs with Preference
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
Torsten Schaub, Kewen Wang