Inductive Logic Programming

28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

ebook,ebook,ebook,ebook,ebook

Fabrizio Riguzzi,Elena Bellodi,Riccardo Zese

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $62.423 CLP.$56.180CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783319999609
Fecha de lanzamiento:22 sept 2022
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:6.13 MB
Opciones de descarga:EPUB3 (Adobe DRM)

Lecturas relacionadas

Neural Network Methods in Natural Language Processing

Yoav Goldberg, Graeme Hirst

$57.828

Markov Logic

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

$30.858

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Graph Structures for Knowledge Representation and Reasoning

Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph

Gratis

Foundations of Software Science and Computation Structures

Orna Kupferman, Pawel Sobocinski

Gratis

Introduction to Deep Learning

Sandro Skansi

$56.180

Computer Aided Verification

Sharon Shoham, Yakir Vizel

Gratis

Rules and Reasoning

Guido Governatori, Anni-Yasmin Turhan

$73.037

Machine Learning and Knowledge Discovery in Databases. Research Track

Nuria Oliver, Fernando Pérez-Cruz, Stefan Kramer, Jesse Read, Jose A. Lozano

$157.324

Advances in Intelligent Data Analysis XIV

Tijl De Bie, Elisa Fromont, Matthijs van Leeuwen

$56.180

Programming Languages and Systems

Thomas Wies

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

$56.180

Inductive Logic Programming

Jesse Davis, Jan Ramon

$52.809

Quantitative Evaluation of Systems

Nils Jansen, Mirco Tribastone

$84.276

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

$56.180

Inductive Logic Programming

Nikos Katzouris, Alexander Artikis

$73.037

Logic Programming and Nonmonotonic Reasoning

Georg Gottlob, Daniela Inclezan, Marco Maratea

$82.028

Principles of Systems Design

Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar

$101.133

Similarity Search and Applications

Tomáš Skopal, Fabrizio Falchi, Jakub Lokoč, Maria Luisa Sapino, Ilaria Bartolini, Marco Patella

$56.180

Quantitative Evaluation of Systems

Nathalie Bertrand, Luca Bortolussi

$56.180

Similarity Search and Applications

Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl

$73.037

Abstraction in Artificial Intelligence and Complex Systems

Lorenza Saitta, Jean-Daniel Zucker

$101.133

Automating Data-Driven Modelling of Dynamical Systems

Dhruv Khandelwal

$157.324

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters, Tim A. C. Willemse

$56.180

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

$84.276

A Journey from Process Algebra via Timed Automata to Model Learning

Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

$56.180

Inductive Logic Programming

Nicolas Lachiche, Christel Vrain

$56.180

Inductive Logic Programming

James Cussens, Alessandra Russo

$56.180

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

$56.180

Mathematical Aspects of Computer and Information Sciences

Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos

$56.180

Reachability Problems

Matthew Hague, Igor Potapov

$56.180

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

$112.372

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

$56.180

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

$61.799

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman, António Ravara

$78.657

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi, Michael Emmi, Jingbo Wang

$84.276

Similarity Search and Applications

Laurent Amsaleg, Michael E. Houle, Erich Schubert

$56.180

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

$56.180

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

$67.418

Scalable Uncertainty Management

Steven Schockaert, Pierre Senellart

$56.180

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

$56.180

Fifty Years of Fuzzy Logic and its Applications

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

$157.324

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

$78.657

Graph-Based Representation and Reasoning

Tanya Braun, Marcel Gehrke, Tom Hanika, Nathalie Hernandez

$84.276

Dependable Software Engineering: Theories, Tools, and Applications

Martin Fränzle, Deepak Kapur, Naijun Zhan

$56.180

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$56.180

SOFSEM 2016: Theory and Practice of Computer Science

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

$56.180

Models, Algorithms, Logics and Tools

Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto

$56.180

Multi-parametric Optimization and Control

Efstratios N. Pistikopoulos, Nikolaos A. Diangelakis, Richard Oberdieck

$111.084

Similarity Search and Applications

Shin'ichi Satoh, Lucia Vadicamo, Arthur Zimek, Fabio Carrara, Ilaria Bartolini, Martin Aumüller, Björn Þór Jónsson, Rasmus Pagh

$95.514

Static Analysis

Gagandeep Singh, Caterina Urban

$78.657

Reasoning Web. Declarative Artificial Intelligence

Mantas Šimkus, Ivan Varzinczak

$89.895

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Flexible Query Answering Systems

Henning Christiansen, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen

$56.180

Graph-Based Representation and Reasoning

Ollivier Haemmerlé, Catherine Faron Zucker, Gem Stapleton

$56.180

Empirical Approach to Machine Learning

Plamen P. Angelov, Xiaowei Gu

$179.802

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

$56.180

Modeling Decisions for Artificial Intelligence

Vicenç Torra, Yasuo Narukawa

$73.037

Intelligent Computer Mathematics

Fairouz Kamareddine, Claudio Sacerdoti Coen

$56.180

Semi-Supervised and Unsupervised Machine Learning

Amparo Albalate, Wolfgang Minker

$137.321

Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications

Marie-Jeanne Lesot, Christophe Marsala

$101.133

Theoretical Aspects of Computing – ICTAC 2018

Bernd Fischer, Tarmo Uustalu

$89.895

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

$101.133

Model Checking, Synthesis, and Learning

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

$73.037

AI*IA 2016 Advances in Artificial Intelligence

Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea

$56.180

Mathematics of Program Construction

Ekaterina Komendantskaya

$64.047

Rules and Reasoning

Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman

$56.180

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov, David Parker

$61.799

Mixed-Integer Representations in Control Design

Silviu-Iulian Niculescu, Florin Stoican, Sorin Olaru, Ionela Prodan

$56.180

Quantitative Evaluation of Systems

Javier Campos, Boudewijn R. Haverkort

$56.180

Automated Technology for Verification and Analysis

Ahmed Bouajjani, Lukáš Holík, Zhilin Wu

$84.276

Foundational and Practical Aspects of Resource Analysis

Marko van Eekelen, Ugo Dal Lago

$56.180

Frontiers of Combining Systems

Boris Konev, Giles Reger

$84.276

Progress in Cryptology - AFRICACRYPT 2017

Marc Joye, Abderrahmane Nitaj

$56.180

Scalable Uncertainty Management

Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín

$56.180

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

$50.561

Representation Learning

Nada Lavrač, Vid Podpečan, Marko Robnik-Šikonja

$168.562

Bridging the Semantic Gap in Image and Video Analysis

Halina Kwaśnicka, Lakhmi C. Jain

$56.180

Discovery Science

Toon Calders, Michelangelo Ceci, Donato Malerba

$56.180

SOFSEM 2017: Theory and Practice of Computer Science

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

$56.180

Reasoning Web. Declarative Artificial Intelligence

Marco Manna, Andreas Pieris

$56.180

Fuzzy Logic and Technology, and Aggregation Operators

Sebastia Massanet, Susana Montes, Daniel Ruiz-Aguilera, Manuel González-Hidalgo

$112.372

Automated Technology for Verification and Analysis

K. Narayan Kumar, Deepak D'Souza

$56.180

A Unifying Framework for Formal Theories of Novelty

Terrance Boult, Walter Scheirer

$44.943

Ver más por autor

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

$104.857

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Inductive Logic Programming

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Neural Network Methods in Natural Language Processing

Markov Logic

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Graph Structures for Knowledge Representation and Reasoning

Foundations of Software Science and Computation Structures

Introduction to Deep Learning

Computer Aided Verification

Rules and Reasoning

Machine Learning and Knowledge Discovery in Databases. Research Track

Advances in Intelligent Data Analysis XIV

Programming Languages and Systems

Computer Aided Verification

Inductive Logic Programming

Inductive Logic Programming

Quantitative Evaluation of Systems

ModelEd, TestEd, TrustEd

Inductive Logic Programming

Logic Programming and Nonmonotonic Reasoning

Principles of Systems Design

Similarity Search and Applications

Quantitative Evaluation of Systems

Similarity Search and Applications

Abstraction in Artificial Intelligence and Complex Systems

Automating Data-Driven Modelling of Dynamical Systems

Formal Techniques for Distributed Objects, Components, and Systems

NASA Formal Methods

Automated Technology for Verification and Analysis

A Journey from Process Algebra via Timed Automata to Model Learning

Inductive Logic Programming

Inductive Logic Programming

Theoretical Aspects of Computing – ICTAC 2022

Mathematical Aspects of Computer and Information Sciences

Reachability Problems

Formal Methods

Verification, Model Checking, and Abstract Interpretation

Logic Programming and Nonmonotonic Reasoning

Logic-Based Program Synthesis and Transformation

Formal Techniques for Distributed Objects, Components, and Systems

Verification, Model Checking, and Abstract Interpretation

Similarity Search and Applications

Computer Aided Verification

Fundamentals of Software Engineering

Scalable Uncertainty Management

Theoretical Aspects of Computing – ICTAC 2017

Fifty Years of Fuzzy Logic and its Applications

Formal Techniques for Distributed Objects, Components, and Systems

Graph-Based Representation and Reasoning

Dependable Software Engineering: Theories, Tools, and Applications

FM 2016: Formal Methods

Theoretical Aspects of Computing - ICTAC 2015

SOFSEM 2016: Theory and Practice of Computer Science

Models, Algorithms, Logics and Tools

Multi-parametric Optimization and Control

Similarity Search and Applications

Static Analysis

Reasoning Web. Declarative Artificial Intelligence

Tools and Algorithms for the Construction and Analysis of Systems

Flexible Query Answering Systems

Graph-Based Representation and Reasoning

Empirical Approach to Machine Learning

A Process Algebraic Approach to Software Architecture Design

Modeling Decisions for Artificial Intelligence

Intelligent Computer Mathematics

Semi-Supervised and Unsupervised Machine Learning

Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications

Theoretical Aspects of Computing – ICTAC 2018

Verification, Model Checking, and Abstract Interpretation