4166 search results - page 542 / 834 » Automating the constraining process |
160
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
Over the last decade, the role of information technology in enterprises has been transforming from one of providing automation services to one of enabling business innovation. ITā...
168
Voted
ASP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
121
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present a meta strategy that combines two negotiation tactics. The ļ¬rst one based on concessions, and the second one, a trade-oļ¬ tactic. The goal of this work...
161
click to vote
DEXA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of usersā interest from the inter...
154
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...