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

電子書籍を購入

15 % 引き販売価格　6,864 円5,834 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319237084
発売日　2017年5月18日
出版社：Springer International Publishing

出版社： Springer
ファイル形式　EPUB2
サイズ　3.87 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

シリーズの内容

Scalable Uncertainty Management

Jesse Davis,Karim Tabia

関連書籍

Introduction to Information Retrieval

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

10,911 円

The Text Mining Handbook

Ronen Feldman, James Sanger

14,867 円

Bayesian Networks in R

Radhakrishnan Nagarajan, Marco Scutari, Sophie Lèbre

10,331 円

Markov Logic

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

4,557 円

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

24,413 円

Handbook of Process Algebra

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

27,900 円

Machine Learning Algorithms

Giuseppe Bonaccorso

4,994 円

または Kobo Plus なら無料

Ontology Matching

Jérôme Euzenat, Pavel Shvaiko

20,662 円

Fundamentals of Predictive Text Mining

Sholom M. Weiss, Nitin Indurkhya, Tong Zhang

5,347 円

Cyber Physical Systems. Design, Modeling, and Evaluation

Mohammad Reza Mousavi, Christian Berger

4,862 円

Concepts, Ontologies, and Knowledge Representation

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

8,507 円

Graphical Models with R

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

9,723 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

6,076 円

Modern Information Processing

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

14,800 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

6,076 円

Quantitative Evaluation of Systems

Javier Campos, Boudewijn R. Haverkort

6,076 円

Fifty Years of Fuzzy Logic and its Applications

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

18,231 円

Language and Automata Theory and Applications

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

6,076 円

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Intelligent Computer Mathematics

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

5,105 円

Corpus-Based Methods in Language and Speech Processing

Steve Young, Gerrit Bloothooft

12,154 円

Advances in Intelligent Data Analysis XIV

Tijl De Bie, Elisa Fromont, Matthijs van Leeuwen

6,076 円

Abstraction in Artificial Intelligence and Complex Systems

Lorenza Saitta, Jean-Daniel Zucker

12,154 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Semantics, Logics, and Calculi

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

6,076 円

Theory and Practice of Formal Methods

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

6,076 円

SOFSEM 2017: Theory and Practice of Computer Science

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

6,076 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

6,076 円

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

12,154 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Markov Models for Pattern Recognition

Gernot A. Fink

6,928 円

SOFSEM 2016: Theory and Practice of Computer Science

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

6,076 円

Logic, Rewriting, and Concurrency

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

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Genetic Programming

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

6,076 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Handbook of Temporal Reasoning in Artificial Intelligence

Michael David Fisher, Dov M. Gabbay, Lluis Vila

22,100 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

4,862 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

18,231 円

Inductive Logic Programming

Gerson Zaverucha, Vítor Santos Costa, Aline Paes

4,862 円

Topics in Grammatical Inference

Jeffrey Heinz, José M. Sempere

12,154 円

Recent Trends in Algebraic Development Techniques

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

4,862 円

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

6,076 円

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

6,076 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Advanced Methodologies for Bayesian Networks

Joe Suzuki, Maomi Ueno

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Statistical Language and Speech Processing

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

6,076 円

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

Tiziana Margaria, Bernhard Steffen

6,076 円

Modeling Decisions for Artificial Intelligence

Vicenc Torra, Torra Narukawa

5,834 円

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

6,076 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

12,154 円

Handling Emotions in Human-Computer Dialogues

Johannes Pittermann, Angela Pittermann, Wolfgang Minker

12,154 円

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

Tiziana Margaria, Bernhard Steffen

12,154 円

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

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

6,076 円

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

12,154 円

Computer Safety, Reliability, and Security

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

6,076 円

Clusters, Orders, and Trees: Methods and Applications

Panos M. Pardalos, Fuad Aleskerov, Boris Goldengorin

12,154 円

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

7,292 円

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

6,076 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

12,154 円

Implementation and Application of Automata

Frank Drewes

6,076 円

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

6,076 円

Case-Based Reasoning

Michael M. Richter, Rosina O. Weber

7,900 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Computational Logic and Set Theory

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

6,076 円

Programming Languages with Applications to Biology and Security

Chiara Bodei, Corrado Priami, Gianluigi Ferrari

6,076 円

Text Analysis Pipelines

Henning Wachsmuth

6,076 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

New Frontiers in Mining Complex Patterns

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

5,834 円

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

6,076 円

Formal Grammar

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

6,076 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

6,076 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

6,076 円

Handbook On Reasoning-based Intelligent Systems, The

Kazumi Nakamatsu, Lakhmi C Jain

9,743 円

Statistical Language and Speech Processing

Pavel Král, Carlos Martín-Vide

5,105 円

Uncertainty Modeling

Vladik Kreinovich

12,154 円

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

6,076 円

Trends in Parsing Technology

Harry Bunt, Paola Merlo, Joakim Nivre

12,154 円

Data Mining for Service

Katsutoshi Yada

12,154 円

Reachability Problems

Matthew Hague, Igor Potapov

6,076 円

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

6,076 円

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

6,076 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Inductive Logic Programming

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

シリーズの内容

Scalable Uncertainty Management

関連書籍

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