Sciweavers

3808 search results - page 307 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
IBERAMIA
2004
Springer
16 years 4 days ago
Well Founded Semantics for Logic Program Updates
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
Federico Banti, José Júlio Alferes, ...
ICAISC
2004
Springer
16 years 4 days ago
Application of Rough Sets and Neural Networks to Forecasting University Facility and Administrative Cost Recovery
This paper presents a novel approach to financial time series analysis and prediction. It is mainly devoted to the problem of forecasting university facility and administrative co...
Tomasz G. Smolinski, Darrel L. Chenoweth, Jacek M....
JELIA
2004
Springer
16 years 3 days ago
Computing the Least Common Subsumer w.r.t. a Background Terminology
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
190
Voted
MICAI
2004
Springer
16 years 3 days ago
Extracting Temporal Patterns from Time Series Data Bases for Prediction of Electrical Demand
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
J. Jesus Rico Melgoza, Juan J. Flores, Constantino...
MICAI
2004
Springer
16 years 3 days ago
Evaluation-Based Semiring Meta-constraints
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
Jerome Kelleher, Barry O'Sullivan