2962 search results - page 120 / 593 » Reasoning on Association Rules |
137
click to vote
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In many contexts today, documents are available in a number of versions. In addition to explicit knowledge that can be queried/searched in documents, these documents also...
166
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
158
click to vote
ESWS
2009
Springer
16 years 27 days ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
175
click to vote
EWCBR
2000
Springer
15 years 10 months ago
2000
Springer
Many of today's CBR systems are passive in nature: they require human users to activate them manually and to provide information about the incoming problem explicitly. In this...
181
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...