3891 search results - page 605 / 779 » A logic for strategic reasoning |
216
click to vote
DALT
2005
Springer
16 years 3 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
180
click to vote
ICLP
2005
Springer
16 years 2 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 ...
207
click to vote
PKDD
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
184
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
179
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...