36 search results - page 3 / 8 » Integration of Abductive Reasoning and Constraint Optimizati... |
LPNMR
1995
Springer
13 years 10 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
ICML
2004
IEEE
14 years 7 months ago
2004
IEEE
Reminder systems support people with impaired prospective memory and/or executive function, by providing them with reminders of their functional daily activities. We integrate tem...
ICLP
2005
Springer
14 years 15 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
ICDE
2005
IEEE
14 years 8 months ago
2005
IEEE
The SQL queries produced in XML-to-SQL query translation are often unnecessarily complex, even for simple input XML queries. In this paper we argue that relational systems can do ...
WWW
2001
ACM
14 years 7 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...