
Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings
This book constitutes the refereed proceedings of the 10th Portuguese Conference on Artificial Intelligence, EPTA 2001, held in Porto, Portugal, in December 2001. The 21 revised long papers and 18 revised short papers were carefully reviewed and selected from a total of 88 submissions. The papers are organized in topical sections on extraction of knowledge from databases, AI techniques for financial time series analysis, multi-agent systems, AI logics and logic programming, constraint satisfaction, and AI planning.
- ISBN 13 : 354043030X
- ISBN 10 : 9783540430308
- Judul : Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
- Sub Judul : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001. Proceedings
- Pengarang : Pavel Brazdil, Alípio Jorge,
- Kategori : Computers
- Penerbit : Springer Science & Business Media
- Bahasa : en
- Tahun : 2001
- Halaman : 418
- Halaman : 418
- Google Book : http://books.google.co.id/books?id=2gjl7rlm2O4C&dq=intitle:logic+algorithm&hl=&source=gbs_api
-
Ketersediaan :
This paper proposes a stochastic, and complete, backtrack search algorithm for
Propositional Satisfiability (SAT). In recent years, randomization has become
pervasive in SAT algorithms. Incomplete algorithms for SAT, for example the
ones based on local search, often re- sort to randomization. Complete algorithms
also resort to randomization. These include, state-of-the-art backtrack search SAT
algorithms that often randomize variable selection heuristics. Moreover, it is plain
that the ...