4573 search results - page 735 / 915 » Automated Reasoning |
150
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
142
click to vote
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...
152
Voted
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Process-aware information systems (PAIS) allow coordinating the execution of business processes by providing the right tasks to the right people at the right time. In ord...
127
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
113
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...