Sebanyak 151 item atau buku ditemukan

Inductive Logic Programming

18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings

This book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, held in Prague, Czech Republic, in September 2008. The 20 revised full papers presented together with the abstracts of 5 invited lectures were carefully reviewed and selected during two rounds of reviewing and improvement from 46 initial submissions. All current topics in inductive logic programming are covered, ranging from theoretical and methodological issues to advanced applications. The papers present original results in the first-order logic representation framework, explore novel logic induction frameworks, and address also new areas such as statistical relational learning, graph mining, or the semantic Web.

This can lead to subop- timal results given prediction tasks. On the other hand
better results in prediction problems have been achieved by discriminative
learning of MLNs weights given a certain structure. In this paper we propose an
algorithm for learning the structure of MLNs discriminatively by max- imimizing
the conditional likelihood of the query predicates instead of the joint likelihood of
all predicates. The algorithm chooses the structures by maximizing conditional
likelihood and ...

Logic Programming

Proceedings of the Tenth International Conference on Logic Programming

The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.

While these proposals have illustrated the importance of such analyses, they lack
formal justification. Moreover, several have been found incorrect. This paper
introduces a novel domain of abstract equation systems describing possible
sharing and definite freeness of terms in a system of equations. A simple and
intuitive abstract unification algorithm is presented, providing the core of a correct
and precise sharing and freeness analysis for logic programs. Our contribution is
not only a ...

Logic Programming '87

Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987

This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.

CHASSIS, FUJITSU LIMITED 140, Miyamoto, Numazu, Shizuoka 410-03, Japan
ABSTRACT This paper is concerned with an algorithm for identifying an unknown
regular language from examples of its members and non-members. The
algorithm is based on the model inference algorithm given by Shapiro. In our
setting, however, a given first order language for describing a target logic
program has countably many unary predicate symbols: qo, qi, q%, . . .. On the
other hand, the oracle ...

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

Field-Programmable Logic and Applications

5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings

This volume constitutes the proceedings of the Fifth International Workshop on Field-Programmable Logic and Its Applications, FPL '95, held in Oxford, UK in August/September 1995. The volume presents 46 full revised papers carefully selected by the program committee from a large number and wide range of submissions. The papers document the progress achieved since the predecessor conference (see LNCS 849). They are organized in sections on architectures, platforms, tools, arithmetic and signal processing, embedded systems and other applications, and reconfigurable design and models.

The REDOC III algorithm for data ciphering is a potential replacement for DES.
This paper looks at ways of customising the algorithm to increase security without
reducing ciphering speed. Many valuable modifications are possible if
reconfigurable hardware is used.

Logic and Theory of Algorithms

4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.

We study the satisfiability problem for LTLACK and related decidability problem.
The key result is an algorithm which recognizes theorems of LTLACK (so we
show that LTLACK is decidable), which, as a consequence, also solves the
satisfiability problem. Technique is based on verification of validity for special
normal reduced forms of rules in models of double exponential in the size of rules
. Keywords: linear temporal logic, multi-agent logics,hybrid logics, re- lational
Kripke-Hintikka ...

The Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013
, Proceedings Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. Analytic Root
Clustering: A Complete Algorithm Using Soft Zero Tests⋆ Chee Yap1,⋆⋆,
Michael Sagraloff2, and Vikram Sharma3 1 Courant Institute of Mathematical
Sciences, New York University, New York, NY 10012, U.S.A. ...

The 2015 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology 2015 Postgraduate Colloquium : Conference Date, 15-16 April 2015 : Location, Selangor, Malaysia