2962 search results - page 256 / 593 » Reasoning on Association Rules |
182
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...
183
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...
157
Voted
ENTCS
2007
15 years 6 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
148
click to vote
SCP
2008
15 years 6 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...
206
click to vote
JAR
2010
15 years 1 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...