3831 search results - page 219 / 767 » Dynamic Context Logic |
151
click to vote
CIT
2006
Springer
15 years 8 months ago
2006
Springer
One of the major conceptual analyses in analytical CRM is customer loyalty. Current methods use user defined and statistical methods for loyalty analysis. One of the major limitat...
156
click to vote
IICAI
2007
15 years 6 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
165
Voted
ENTCS
2006
15 years 4 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
125
Voted
CICLING
2010
Springer
15 years 9 months ago
2010
Springer
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
168
Voted
DLOG
2000
15 years 6 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...