Sciweavers

2962 search results - page 390 / 593
» Reasoning on Association Rules
Sort
View
ENGL
2008
113views more  ENGL 2008»
15 years 6 months ago
Intelligent Decision Support for Evaluating and Selecting Information Systems Projects
This paper presents an intelligent decision support system (DSS) for facilitating the adoption of the most appropriate multicriteria analysis (MA) method in solving the information...
Hepu Deng, Santoso Wibowo
FSS
2008
145views more  FSS 2008»
15 years 6 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
JAIR
2006
106views more  JAIR 2006»
15 years 6 months ago
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
ENTCS
2007
108views more  ENTCS 2007»
15 years 6 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
KES
2006
Springer
15 years 6 months ago
Developing a Decision Support System for a Dove's Voice Competition
Abstract. Zebra dove's voice competition has become more popular in Thailand and many other South East Asian countries. Even though there are specific judging rules to follow,...
Chotirat Ann Ratanamahatana