2962 search results - page 263 / 593 » Reasoning on Association Rules |
172
click to vote
ICLA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We show that under the assumptions of Spectrum Exchangeability and Language Invariance the so called Only Rule, a principle of instantial relevance previously know for un...
157
click to vote
RULEML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
203
Voted
FMOODS
2003
15 years 8 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
223
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
145
click to vote
JAPLL
2007
15 years 6 months ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...