Uw privacy-instellingen

Door 'Alles accepteren' te selecteren, geef je Rakuten Kobo en hun partners toestemming om cookies, tracking en vergelijkbare technologieën te gebruiken om je persoonsgegevens te verzamelen en te verwerken voor de volgende doeleinden: om de website en Kobo-diensten te beheren en ervoor te zorgen dat deze goed werken, om je gepersonaliseerde content op Kobo en advertenties voor Kobo op andere platforms te bieden en om analyses uit te voeren en te analyseren hoe onze website en diensten worden gebruikt. Klik hieronder anders op 'Weigeren' om alle niet-essentiële doeleinden te weigeren of bekijk de 'Privacy-instellingen' om je voorkeuren voor elk doel te beheren. Lees voor meer informatie ons Privacybeleid

Inductive Logic Programming

24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

Jesse Davis,Jan Ramon

Springer Nature Proceedings Computer Science

Comprar el eBook

49,81 €

Je bent nu in de winkel voor België

Niet in België? Kies de winkel van het land waar je je in bevindt om verkrijgbare boeken te zien.

Kies je winkel

Nu kopen Geef een boek cadeau

Meer informatie over prijskoppeling

Waarom lezen met ons?

Met Kobo lezen boekenliefhebbers meer.

Verrijk je leeservaring met onze Kobo eReaders

Uitgebreide en relevante boekencatalogus

Gratis Kobo lees-app

Synopsis

Categorieën

Over dit boek

Taal:English
ISBN:9783319237084
Lanceringsdatum:18 mei 2017
Uitgever:Springer International Publishing

Imprint:Springer
Bestandsformaat:EPUB2
Bestandsgrootte:3.87 MB
Downloadopties:EPUB2 (Adobe DRM)

In deze serie

Scalable Uncertainty Management

Jesse Davis,Karim Tabia

Vergelijkbare boeken

Introduction to Information Retrieval

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

74,23 €

The Text Mining Handbook

Ronen Feldman, James Sanger

101,44 €

Bayesian Networks in R

Radhakrishnan Nagarajan, Marco Scutari, Sophie Lèbre

81,08 €

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

29,56 €

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

169,48 €

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka

238,49 €

Machine Learning Algorithms

Giuseppe Bonaccorso

33,38 €

of Gratis met Kobo Plus

Ontology Matching

Jérôme Euzenat, Pavel Shvaiko

169,59 €

Fundamentals of Predictive Text Mining

Sholom M. Weiss, Nitin Indurkhya, Tong Zhang

46,56 €

Cyber Physical Systems. Design, Modeling, and Evaluation

Mohammad Reza Mousavi, Christian Berger

42,39 €

Concepts, Ontologies, and Knowledge Representation

Grega Jakus, Sanida Omerović, Sašo Tomažič, Veljko Milutinović

74,19 €

Graphical Models with R

Steffen Lauritzen, David Edwards, Søren Højsgaard

76,31 €

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

52,99 €

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

52,99 €

Modern Information Processing

Bernadette Bouchon-Meunier, Giulianella Coletti, Ronald R. Yager

111,61 €

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

47,69 €

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

52,99 €

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

47,69 €

Quantitative Evaluation of Systems

Javier Campos, Boudewijn R. Haverkort

52,99 €

Fifty Years of Fuzzy Logic and its Applications

Dan E. Tamir, Naphtali D. Rishe, Abraham Kandel

148,39 €

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

52,99 €

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII

Abdelkader Hameurlain, Josef Küng, Roland Wagner

47,69 €

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

47,69 €

Intelligent Computer Mathematics

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa

42,39 €

Corpus-Based Methods in Language and Speech Processing

Steve Young, Gerrit Bloothooft

95,39 €

Advances in Intelligent Data Analysis XIV

Tijl De Bie, Elisa Fromont, Matthijs van Leeuwen

47,69 €

Abstraction in Artificial Intelligence and Complex Systems

Lorenza Saitta, Jean-Daniel Zucker

85,85 €

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

52,99 €

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

47,69 €

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

52,99 €

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

52,99 €

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

47,69 €

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

52,99 €

Information Processing and Management of Uncertainty in Knowledge-Based Systems

Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira, Bernadette Bouchon-Meunier, Ronald R. Yager

85,85 €

Programming Languages and Systems

Peter Thiemann

47,69 €

Markov Models for Pattern Recognition

Gernot A. Fink

60,41 €

SOFSEM 2016: Theory and Practice of Computer Science

Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania

47,69 €

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

52,99 €

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

52,99 €

Genetic Programming

Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim

52,99 €

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

52,99 €

Handbook of Temporal Reasoning in Artificial Intelligence

Michael David Fisher, Dov M. Gabbay, Lluis Vila

180,08 €

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

47,69 €

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

38,15 €

Programming Languages and Systems

Hongseok Yang

85,85 €

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

133,55 €

Inductive Logic Programming

Gerson Zaverucha, Vítor Santos Costa, Aline Paes

42,39 €

Topics in Grammatical Inference

Jeffrey Heinz, José M. Sempere

95,39 €

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu

38,15 €

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

52,99 €

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

47,69 €

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

47,69 €

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

47,69 €

Advanced Methodologies for Bayesian Networks

Joe Suzuki, Maomi Ueno

47,69 €

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

38,15 €

Statistical Language and Speech Processing

Nathalie Camelin, Yannick Estève, Carlos Martín-Vide

47,69 €

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

47,69 €

Modeling Decisions for Artificial Intelligence

Vicenc Torra, Torra Narukawa

44,83 €

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

47,69 €

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

52,99 €

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

95,39 €

Handling Emotions in Human-Computer Dialogues

Johannes Pittermann, Angela Pittermann, Wolfgang Minker

95,39 €

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

85,85 €

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

47,69 €

Challenging Problems and Solutions in Intelligent Systems

Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny

95,39 €

Computer Safety, Reliability, and Security

Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch

47,69 €

Clusters, Orders, and Trees: Methods and Applications

Panos M. Pardalos, Fuad Aleskerov, Boris Goldengorin

95,39 €

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao

63,59 €

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

52,99 €

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

52,99 €

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

95,39 €

Implementation and Application of Automata

Frank Drewes

47,69 €

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

47,69 €

Case-Based Reasoning

Michael M. Richter, Rosina O. Weber

68,89 €

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

47,69 €

Computational Logic and Set Theory

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis

47,69 €

Programming Languages with Applications to Biology and Security

Chiara Bodei, Corrado Priami, Gianluigi Ferrari

52,99 €

Text Analysis Pipelines

Henning Wachsmuth

47,69 €

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

47,69 €

New Frontiers in Mining Complex Patterns

Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras

49,81 €

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

47,69 €

Formal Grammar

Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla

52,99 €

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

52,99 €

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

47,69 €

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

52,99 €

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

52,99 €

Handbook On Reasoning-based Intelligent Systems, The

Kazumi Nakamatsu, Lakhmi C Jain

76,42 €

Statistical Language and Speech Processing

Pavel Král, Carlos Martín-Vide

38,15 €

Uncertainty Modeling

Vladik Kreinovich

85,85 €

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

47,69 €

Trends in Parsing Technology

Harry Bunt, Paola Merlo, Joakim Nivre

85,85 €

Data Mining for Service

Katsutoshi Yada

85,85 €

Reachability Problems

Matthew Hague, Igor Potapov

47,69 €

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

52,99 €

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

47,69 €

Vond je het boek de moeite waard?

Beoordeel en recenseer dit boek als eerste!

Uw privacy-instellingen

Inductive Logic Programming

Waarom lezen met ons?

Synopsis

Over dit boek

Boek specificaties

Hoe te lezen

In deze serie

Scalable Uncertainty Management

Vergelijkbare boeken

Introduction to Information Retrieval

The Text Mining Handbook

Bayesian Networks in R

Markov Logic

Tractability

Handbook of Process Algebra

Machine Learning Algorithms

Ontology Matching

Fundamentals of Predictive Text Mining

Cyber Physical Systems. Design, Modeling, and Evaluation

Concepts, Ontologies, and Knowledge Representation

Graphical Models with R

Inductive Logic Programming

Logic Programming and Nonmonotonic Reasoning

Modern Information Processing

Theoretical Aspects of Computing - ICTAC 2015

Verification, Model Checking, and Abstract Interpretation

Scalable Uncertainty Management

Quantitative Evaluation of Systems

Fifty Years of Fuzzy Logic and its Applications

Language and Automata Theory and Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII

Trustworthy Global Computing

Intelligent Computer Mathematics

Corpus-Based Methods in Language and Speech Processing

Advances in Intelligent Data Analysis XIV

Abstraction in Artificial Intelligence and Complex Systems

Theoretical Aspects of Computing – ICTAC 2016

Semantics, Logics, and Calculi

Theory and Practice of Formal Methods

SOFSEM 2017: Theory and Practice of Computer Science

Logic-Based Program Synthesis and Transformation

Foundations of Information and Knowledge Systems

Information Processing and Management of Uncertainty in Knowledge-Based Systems

Programming Languages and Systems

Markov Models for Pattern Recognition

SOFSEM 2016: Theory and Practice of Computer Science

Logic, Rewriting, and Concurrency

Automated Technology for Verification and Analysis

Genetic Programming

Tests and Proofs

Handbook of Temporal Reasoning in Artificial Intelligence

Tools and Algorithms for the Construction and Analysis of Systems

Formal Methods: Foundations and Applications

Programming Languages and Systems

Handbook of Conceptual Modeling

Inductive Logic Programming

Topics in Grammatical Inference

Recent Trends in Algebraic Development Techniques

Formal Techniques for Distributed Objects, Components, and Systems

Foundations of Software Science and Computation Structures

Developments in Language Theory

Tools and Algorithms for the Construction and Analysis of Systems

Advanced Methodologies for Bayesian Networks

Trustworthy Global Computing

Statistical Language and Speech Processing

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Modeling Decisions for Artificial Intelligence

Leveraging Applications of Formal Methods, Verification, and Validation

Interactive Theorem Proving

Theoretical Information Reuse and Integration

Handling Emotions in Human-Computer Dialogues

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Challenging Problems and Solutions in Intelligent Systems

Computer Safety, Reliability, and Security

Clusters, Orders, and Trees: Methods and Applications

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems