Inductive Logic Programming

25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

電子書籍,電子書籍,電子書籍

Katsumi Inoue,Hayato Ohwada,Akihiro Yamamoto

Springer Nature Proceedings Computer Science

Dieses eBook kaufen

15 % 引き販売価格　7,149 円6,076 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783319405667
発売日　2016年6月25日
出版社：Springer International Publishing

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

関連書籍

Introduction to Information Retrieval

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

10,911 円

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 円

Ontology Matching

Jérôme Euzenat, Pavel Shvaiko

20,662 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Concepts, Ontologies, and Knowledge Representation

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

8,507 円

Knowledge Representation and Reasoning

Ronald Brachman, Hector Levesque

8,600 円

Graphical Models with R

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

9,723 円

Inductive Logic Programming

Jesse Davis, Jan Ramon

5,834 円

Language and Automata Theory and Applications

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

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Abstraction in Artificial Intelligence and Complex Systems

Lorenza Saitta, Jean-Daniel Zucker

12,154 円

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

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 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

6,076 円

Topics in Grammatical Inference

Jeffrey Heinz, José M. Sempere

12,154 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

6,076 円

Language and Automata Theory and Applications

Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek

6,076 円

Programming Languages and Systems

Peter Thiemann

6,076 円

SOFSEM 2016: Theory and Practice of Computer Science

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

6,076 円

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

6,076 円

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

6,076 円

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

6,076 円

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

6,076 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

Semantics, Logics, and Calculi

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

6,076 円

Implementation and Application of Automata

Frank Drewes

6,076 円

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 円

Markov Models for Pattern Recognition

Gernot A. Fink

6,928 円

Modern Information Processing

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

14,800 円

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

6,076 円

Logic, Rewriting, and Concurrency

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

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 円

Recent Trends in Algebraic Development Techniques

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

4,862 円

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

6,076 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

4,862 円

Scala: From a Functional Programming Perspective

Vicenç Torra

6,076 円

Artificial Intelligence in Medicine

Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi

7,900 円

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

6,076 円

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

6,076 円

Inductive Logic Programming

James Cussens, Alessandra Russo

6,076 円

Theory and Practice of Formal Methods

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

6,076 円

A General Framework for Reasoning On Inconsistency

Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud

4,861 円

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

6,076 円

Corpus-Based Methods in Language and Speech Processing

Steve Young, Gerrit Bloothooft

12,154 円

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Sébastien Destercke, Thierry Denoeux

6,076 円

Semi-Supervised and Unsupervised Machine Learning

Amparo Albalate, Wolfgang Minker

23,052 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Public-Key Cryptography – PKC 2017

Serge Fehr

6,076 円

Software Engineering for Resilient Systems

Ivica Crnkovic, Elena Troubitsyna

6,076 円

Modeling Decisions for Artificial Intelligence

Vicenc Torra, Torra Narukawa

5,834 円

Programming Languages with Applications to Biology and Security

Chiara Bodei, Corrado Priami, Gianluigi Ferrari

6,076 円

Coalgebraic Methods in Computer Science

Ichiro Hasuo

6,076 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

6,076 円

Fifty Years of Fuzzy Logic and its Applications

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

18,231 円

Inductive Logic Programming

Gerson Zaverucha, Vítor Santos Costa, Aline Paes

4,862 円

Computer Science – Theory and Applications

Pascal Weil

6,076 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

Handbook of Temporal Reasoning in Artificial Intelligence

Michael David Fisher, Dov M. Gabbay, Lluis Vila

22,100 円

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

6,076 円

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

21,000 円

Interoperability and Open-Source Solutions for the Internet of Things

Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano

6,076 円

OWL: Experiences and Directions – Reasoner Evaluation

Mauro Dragoni, María Poveda-Villalón, Ernesto Jimenez-Ruiz

6,076 円

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

12,154 円

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner

6,076 円

Advances in Conceptual Modeling

Sergio de Cesare, Ulrich Frank

6,076 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Model-Based Safety and Assessment

Marco Bozzano, Yiannis Papadopoulos

6,076 円

Advances in Cryptology – EUROCRYPT 2016

Marc Fischlin, Jean-Sébastien Coron

12,154 円

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

6,076 円

Hardware and Software: Verification and Testing

Roderick Bloem, Eli Arbel

6,076 円

Arithmetic of Finite Fields

Sylvain Duquesne, Svetla Petkova-Nikova

6,076 円

Cryptography and Coding

Jens Groth

6,076 円

Trends in Artificial Intelligence: PRICAI 2016 Workshops

Masayuki Numao, Thanaruk Theeramunkong, Thepchai Supnithi, Mahasak Ketcham, Narit Hnoohom, Patiyuth Pramkeaw

6,076 円

Computer Science – Theory and Applications

Alexander S. Kulikov, Gerhard J. Woeginger

6,076 円

New Frontiers in Artificial Intelligence

Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, Daisuke Bekki

6,076 円

Public-Key Cryptography – PKC 2016

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang

6,076 円

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

6,076 円

Theory and Applications of Models of Computation

Rahul Jain, Sanjay Jain, Frank Stephan

6,076 円

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

9,723 円

Physically Unclonable Functions

Roel Maes

6,076 円

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

12,154 円

Semantic Keyword-Based Search on Structured Data Sources

Andrea Calì, Dorian Gorgan, Martín Ugarte

6,076 円

その他の著書

Logical Modeling of Biological Systems

Katsumi Inoue, Luis Fariñas del Cerro

27,923 円

Knowledge Management and Acquisition for Intelligent Systems

Hayato Ohwada, Kenichi Yoshida

6,076 円

Discovery Science

Akihiro Yamamoto, Takuya Kida, Takeaki Uno, Tetsuji Kuboyama

6,076 円

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

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

日本のストアです。

Inductive Logic Programming

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Introduction to Information Retrieval

Markov Logic

Tractability

Handbook of Process Algebra

Ontology Matching

The Functional Approach to Programming

Concepts, Ontologies, and Knowledge Representation

Knowledge Representation and Reasoning

Graphical Models with R

Inductive Logic Programming

Language and Automata Theory and Applications

Theoretical Aspects of Computing - ICTAC 2015

Theoretical Aspects of Computing – ICTAC 2016

Abstraction in Artificial Intelligence and Complex Systems

Logic Programming and Nonmonotonic Reasoning

SOFSEM 2017: Theory and Practice of Computer Science

Programming Languages and Systems

Trustworthy Global Computing

Logic-Based Program Synthesis and Transformation

Tools and Algorithms for the Construction and Analysis of Systems

Verification, Model Checking, and Abstract Interpretation

Automated Technology for Verification and Analysis

Topics in Grammatical Inference

Interactive Theorem Proving

Foundations of Software Science and Computation Structures

Language and Automata Theory and Applications

Programming Languages and Systems

SOFSEM 2016: Theory and Practice of Computer Science

Engineering Trustworthy Software Systems

Scalable Uncertainty Management

Foundations of Information and Knowledge Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tests and Proofs

Static Analysis

Semantics, Logics, and Calculi

Implementation and Application of Automata

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

Markov Models for Pattern Recognition

Modern Information Processing

Foundations of Software Science and Computation Structures

Logic, Rewriting, and Concurrency

Information Processing and Management of Uncertainty in Knowledge-Based Systems

Recent Trends in Algebraic Development Techniques

A Process Algebraic Approach to Software Architecture Design

Trustworthy Global Computing

Formal Methods: Foundations and Applications

Scala: From a Functional Programming Perspective

Artificial Intelligence in Medicine

Implementation and Application of Automata

Logic for Programming, Artificial Intelligence, and Reasoning

Inductive Logic Programming

Theory and Practice of Formal Methods

A General Framework for Reasoning On Inconsistency

Theoretical Aspects of Computing – ICTAC 2017

Corpus-Based Methods in Language and Speech Processing

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Semi-Supervised and Unsupervised Machine Learning

Declarative Programming and Knowledge Management

Public-Key Cryptography – PKC 2017

Software Engineering for Resilient Systems

Modeling Decisions for Artificial Intelligence

Programming Languages with Applications to Biology and Security

Coalgebraic Methods in Computer Science

Unifying Theories of Programming

Interactive Theorem Proving

Fifty Years of Fuzzy Logic and its Applications

Inductive Logic Programming

Computer Science – Theory and Applications

Logic-Based Program Synthesis and Transformation

Handbook of Temporal Reasoning in Artificial Intelligence

Reachability Problems