Sciweavers

150 search results - page 3 / 30
» A Unifying View of Functional and Logic Program Specializati...
Sort
View
LPAR
2001
Springer
14 years 8 days ago
Functional Logic Programming with Failure: A Set-Oriented View
Francisco Javier López-Fraguas, Jaime S&aac...
IJCAI
2003
13 years 9 months ago
Case-Based Recommender Systems: A Unifying View
Abstract. This paper presents a unifying framework to model casebased reasoning recommender systems (CBR-RSs). CBR-RSs have complex architectures and specialize the CBR problem sol...
Fabiana Lorenzi, Francesco Ricci
DFG
2004
Springer
14 years 1 months ago
A Unifying Semantics for Sequential Function Charts
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastia...
AAAI
2006
13 years 9 months ago
Unifying Logical and Statistical AI
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
Pedro Domingos, Stanley Kok, Hoifung Poon, Matthew...
PADL
2004
Springer
14 years 1 months ago
Observing Functional Logic Computations
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank H...