Sebanyak 480 item atau buku ditemukan

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.

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 ...

Foundations of Fuzzy Logic and Soft Computing

12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings

Annotation This book comprises a selection of papers from IFSA 2007 on new methods and theories that contribute to the foundations of fuzzy logic and soft computing. These papers were selected from over 400 submissions and constitute an important contribution to the theory and applications of fuzzy logic and soft computing methodologies. Soft Computing consists of several computing paradigms, including fuzzy logic, neural networks, genetic algorithms, and other techniques, which can be used to produce powerful intelligent systems for solving real-world problems. This book is intended to be a major reference for scientists and engineers interested in applying new computational and mathematical tools to achieve intelligent solution to complex problems. We consider that this book can also be used to get novel ideas for new lines of research, or to continue the lines of research proposed by the authors of the papers contained in the book. The 80 papers presented were carefully reviewed and selected form more than 400 submissions. The papers are organized in topical sections on relation between interval and fuzzy techniques, intuitionistic fuzzy sets and their applications, the application of fuzzy logic and soft computing in flexible querying, philosophical and human-scientific aspects of soft computing, search engine and information processing and retrieval, perception based data mining and decision making, joint model-based and data-based learning: the fuzzy logic approach, fuzzy possibilistic optimization, fuzzy trees, fuzzy logic theory, type-2 fuzzy logic, fuzzy logic applications, neural networks and control, as well as intelligent agents and knowledge ant colony.

12th International Fuzzy Systems Association World Congress, IFSA 2007,
Cancun, Mexico, Junw 18-21, 2007, Proceedings Patricia Melin. A Cultural
Algorithm with Operator Parameters Control for Solving Timetabling Problems⋆
Carlos Soza1, Ricardo Landa2, Mar ́ıa Cristina Riff1, and Carlos Coello2 1
Universidad Federico Santa Mar ́ıa, Departamento de Informática Av. Espa ̃na No
. 1680, Valpara ́ıso, Chile {csoza ...

Inductive Logic Programming

10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings

Shan-HweiNienhuys-Cheng(UniversityofRotterdam,Netherlands) WilliamCohen(WhizbangsLabs,USA) LucDeRaedt(UniversityofFreiburg,Germany) Sa?soD?zeroski(Jo?zefStefanInstitute,Ljubljana) PeterFlach(UniversityofBristol,UK) AlanFrisch(UniversityofYork,UK) KoichiFurukawa(UniversityofKeio,Japan) RoniKhardon(UniversityofEdinburgh,UK) J¨org-UweKietz(SwissLife,Switzerland) NadaLavra?c(Jo?zefStefanInstitute,Slovenia) JohnLloyd(AustralianNationalUniversity,Australia) StanMatwin(UniversityofOttawa,Canada) RaymondMooney(UniversityofTexas,USA) StephenMuggleton(UniversityofYork,UK) DavidPage(UniversityofWisconsin,USA) BernhardPfahringer(UniversityofWaikato,NewZealand) C´elineRouveirol(Universit´edeParis-Sud,France) ClaudeSammut(UniversityofNewSouthWales,Australia) ´ Mich`eleSebag(EcolePolytechnique,France) AshwinSrinivasan(UniversityofOxford,UK) PrasadTadepalli(OregonStateUniversity,USA) StefanWrobel(UniversityofMagdeburg,Germany) AkihiroYamamoto(UniversityofHokkaido,Japan) Additional Referees ´ ErickAlphonse(Universit´edeParis-Sud,France) LiviuBadea(NationalInstituteforResearchandDevelopmentinInformatics, Romania) DamjanDemsar(Jo?zefStefanInstitute,Slovenia) ElisabethGoncalves(Universit´edeParis-Sud,France) MarkoGrobelnik(Jo?zefStefanInstitute,Slovenia) ClaireKennedy(UniversityofBristol,UK) DanielKudenko(UniversityofYork,UK) JohanneMorin(UniversityofOttawa,Canada) TomonobuOzaki(KeioUniversity,Japan) EdwardRoss(UniversityofBristol,UK) LjupcoTodorovski(Jo?zefStefanInstitute,Slovenia) V´eroniqueVentos(Universit´edeParis-Sud,France) VIII ProgramCommitteeandReferees Sponsors of ILP2000 ILPNet2,TheEuropeanNetworkofExcellenceinInductiveLogicProgramming MLNet,TheEuropeanNetworkofExcellenceinMachineLearning CompulogNet,TheEuropeanNetworkofExcellenceinComputationalLogic Table of Contents IInvitedPaper ILP:JustDoIt. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 DavidPage II Contributed Papers ANewAlgorithmforLearningRangeRestrictedHornExpressions. . . . . . . 21 MartaArias,RoniKhardon ARe?nementOperatorforDescriptionLogics. . . . . . . . . . . . . . . . . . . . . . . . . 40 LiviuBadea,Shan-HweiNienhuys-Cheng ExecutingQueryPacksinILP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 HendrikBlockeel,LucDehaspe,BartDemoen,GerdaJanssens, JanRamon,HenkVandecasteele ALogicalDatabaseMiningQueryLanguage . . . . . . . . . . . . . . . . . . . . . . . . . . 78 LucDeRaedt Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 FlorianaEsposito,DonatoMalerba,FrancescaA. Lisi ExtendingK-MeansClusteringtoFirst-OrderRepresentations. . . . . . . . . . . 112 MathiasKirsten,StefanWrobel TheoryCompletionUsingInverseEntailment . . . . . . . . . . . . . . . . . . . . . . . . . . 130 StephenH. Muggleton,ChristopherH. Bryant SolvingSelectionProblemsUsingPreferenceRelationBasedonBayesian Learning. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 TomofumiNakano,NobuhiroInuzuka ConcurrentExecutionofOptimalHypothesisSearchforInverse Entailment. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165 HayatoOhwada,HiroyukiNishiyama,FumioMizoguchi UsingILPtoImprovePlanninginHierarchicalReinforcementLearning. . . 174 MarkReid,MalcolmRyan X TableofContents TowardsLearninginCARIN-ALN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191 C´elineRouveirol,V´eroniqueVentos InverseEntailmentinNonmonotonicLogicPrograms. . . . . . . . . . . . . . . . . . . 209 ChiakiSakama ANoteonTwoSimpleTransformationsforImprovingtheE?ciencyofan ILPSystem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225 V´?torSantosCosta,AshwinSrinivasan,RuiCamacho SearchingtheSubsumptionLattic

10th International Conference, ILP 2000, London, UK, July 24-27, 2000
Proceedings James Cussens, Alan Frisch. A New Algorithm for Learning Range
Restricted Horn Expressions⋆ (Extended Abstract) Marta Arias and Roni
Khardon Division of Informatics, University of Edinburgh The King's Buildings,
Edinburgh EH9 3JZ, Scotland {marta ...

Perspectives on urbanization in Pakistan, a society in transition

proceedings of the 10th annual conference, 21-23 January 1977

URBANIZATION AND OBSCENITY Syed Saeed Abbas Musvee Introduction
Phenomenal rates of rural-urban drifts, as a consequence of uninhibited growth
of industrial suburbia around almost all the major towns of the country, is today ...

Kerjasama Resorts World Berhad Dengan Kementerian Kebudayaan, Kesenian Dan Warisan (KeKKWa) Dalam Mengembangkan Persembahan Kaum Cina. Kajian Kes

Pertandingan Tarian Singa Antarabangsa Ke-7

Tenaga akhli asing dalam rangka kerjasama/bantuan tehnik

surat edaran Sekretariat Kabinet R.I. no. B-1269/Wasekab/8/l976, tanggal 9 Agustus 1976

Ekspose hasil-hasil penelitian kerjasama luar negeri Balai Penelitian Kehutanan Samarinda

Samarinda, 24 Maret 1997

The 7 awareness

7 kesadaran tentang Keajaiban Hati dan Jiwa Menuju Manusia di Atas Rata-Rata

Seven consciousnesses are: Thinking, Silence, Success, Soul, Wisdom, Vision, Surrender.

Saya mengenal dekat dengan penulis sejak ia menjadi tukang bersih-bersih
masjid sampai sekarang menjadi motivator dan penutur ... Dr. H. Nazaruddin
Umar, M.A. Dirjen Bimas Islam Depag dan Guru Besar UIN Syarif Hidayatullah,
Jakarta "Buku ini sangat ... Pada training The 7 Awareness ini saya telah
mendapatkan satu menit kesadaran yang menentukan arti kehidupan saya di
masa depan.