Sciweavers

2962 search results - page 248 / 593
» Reasoning on Association Rules
Sort
View
JASSS
1998
82views more  JASSS 1998»
15 years 6 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
FLAIRS
2009
15 years 4 months ago
Lifting the Limitations in a Rule-based Policy Language
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
Alan Lindsay, Maria Fox, Derek Long
JAPLL
2007
135views more  JAPLL 2007»
15 years 6 months ago
Open answer set programming for the semantic web
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
APIN
2004
97views more  APIN 2004»
15 years 6 months ago
FSfRT: Forecasting System for Red Tides
A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in ...
Florentino Fdez-Riverola, Juan M. Corchado
CSL
2009
Springer
16 years 1 months ago
Non-Commutative First-Order Sequent Calculus
Abstract. This paper investigates a non-commutative first-order sequent calculus NCLK. For that, this paper extends a non-commutative positive fragment to a full first-order sequ...
Makoto Tatsuta