Sciweavers

11436 search results - page 248 / 2288
» Modeling Real Reasoning
Sort
View
115
Voted
JECR
2000
85views more  JECR 2000»
15 years 3 months ago
Real-Time Multi-Auctions and the Agent-Support
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
Hong Liu, Shouhong Wang, Fei Teng
108
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 1 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
118
Voted
AIR
2010
95views more  AIR 2010»
15 years 3 months ago
A taxonomy of argumentation models used for knowledge representation
Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers ...
Jamal Bentahar, Bernard Moulin, Micheline Bé...
128
Voted
CAEPIA
2003
Springer
15 years 7 months ago
Employing TSK Fuzzy Models to Automate the Revision Stage of a CBR System
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
Florentino Fernández Riverola, Juan M. Corc...
140
Voted
LPNMR
2009
Springer
15 years 8 months ago
PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming
This note summarizes the use of Answer Set Programming to solve various computational problems to infer phylogenetic trees and phylogenetic networks, and discusses its applicabilit...
Esra Erdem