| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465549403316 |
|
|
Autore |
Nienhuys-Cheng Shan-Hwei |
|
|
Titolo |
Foundations of Inductive Logic Programming [[electronic resource] /] / by Shan-Hwei Nienhuys-Cheng, Ronald de Wolf |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1997.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 410 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 1228 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Artificial intelligence |
Mathematical logic |
Computer programming |
Software Engineering/Programming and Operating Systems |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Propositional logic -- First-order logic -- Normal forms and Herbrand models -- Resolution -- Subsumption theorem and refutation completeness -- Linear and input resolution -- SLD-resolution -- SLDNF-resolution -- What is inductive logic programming? -- The framework for model inference -- Inverse resolution -- Unfolding -- The lattice and cover structure of atoms -- The subsumption order -- The implication order -- Background knowledge -- Refinement operators -- PAC learning -- Further topics. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area. In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and |
|
|
|
|
|
|
|
|
|
|
|
|
|
systematically develops the most important results on model inference, inverse resolution, unfolding, refinement operators, least generalizations, and ways to deal with background knowledge. Furthermore, the authors give an overview of PAC learning results in ILP and of some of the most relevant implemented systems. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910254134903321 |
|
|
Autore |
Cheng Alexander H.-D |
|
|
Titolo |
Poroelasticity / / by Alexander H.-D. Cheng |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (893 p.) |
|
|
|
|
|
|
Collana |
|
Theory and Applications of Transport in Porous Media, , 0924-6118 ; ; 27 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mechanics |
Mechanics, Applied |
Geotechnical engineering |
Fossil fuels |
Engineering geology |
Engineering—Geology |
Foundations |
Hydraulics |
Solid Mechanics |
Geotechnical Engineering & Applied Earth Sciences |
Fossil Fuels (incl. Carbon Capture) |
Geoengineering, Foundations, Hydraulics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Constitutive Equation -- Micromechanics -- Variational Energy Formulation -- Anisotropy -- Governing Equation -- Analytical Solution -- Fundamental Solution and Integral Equation -- |
|
|
|
|
|
|
|
|
|
|
|
Poroelastodynamics -- Poroviscoelasticity -- Porothermoelasticity -- Porochemoelasticity -- Appendices -- Index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book treats the mechanics of porous materials infiltrated with a fluid (poromechanics), focussing on its linear theory (poroelasticity). Porous materials from inanimate bodies such as sand, soil and rock, living bodies such as plant tissue, animal flesh, or man-made materials can look very different due to their different origins, but as readers will see, the underlying physical principles governing their mechanical behaviors can be the same, making this work relevant not only to engineers but also to scientists across other scientific disciplines. Readers will find discussions of physical phenomena including soil consolidation, land subsidence, slope stability, borehole failure, hydraulic fracturing, water wave and seabed interaction, earthquake aftershock, fluid injection induced seismicity and heat induced pore pressure spalling as well as discussions of seismoelectric and seismoelectromagnetic effects. The work also explores the biomechanics of cartilage, bone and blood vessels. Chapters present theory using an intuitive, phenomenological approach at the bulk continuum level, and a thermodynamics-based variational energy approach at the micromechanical level. The physical mechanisms covered extend from the quasi-static theory of poroelasticity to poroelastodynamics, poroviscoelasticity, porothermoelasticity, and porochemoelasticity. Closed form analytical solutions are derived in details. This book provides an excellent introduction to linear poroelasticity and is especially relevant to those involved in civil engineering, petroleum and reservoir engineering, rock mechanics, hydrology, geophysics, and biomechanics. |
|
|
|
|
|
|
|
| |