4617 search results - page 839 / 924 » Automation of Diagrammatic Reasoning |
177
click to vote
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we consider the competition on the Internet between information providers to maximise their exposure to a relevant audience. Spammers and Search engine gamers adopt a...
180
click to vote
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
We use case-injected genetic algorithms for learning how to competently play computer strategy games. Case-injected genetic algorithms combine genetic algorithm search with a case-...
180
click to vote
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
189
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
189
click to vote
ICLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...