| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996395926803316 |
|
|
Autore |
I. P |
|
|
Titolo |
Anabaptismes mysterie of iniquity vnmasked [[electronic resource] ] : with rules of comfort for a wounded spirit, suspecting its selfe fallen into the sinne against the Holy Ghost, and what that sinne is : also wisedomes bountie unmasking the man of sinne / / I.P |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed by A.M. for George Winder, and are to bee sold at his shop in Saint Dunstons Church-yard, 1623 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Contains special t.p.'s: A description of the sinne against the Holy Ghost, 1622; Wisedomes bountie to heauenly pilgrims, 1622. |
Signatures: [par.]⁸(-[par.]1) A-K⁸, 2[par.]⁴, 2C-I⁸ K⁴. |
Errata: p. [7] in middle. |
Imperfect: signatures D1-D8 (p. 33-48) of Anabaptismes and signatures A1-B8 of Wisdomes are lacking. |
Reproduction of original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910799494103321 |
|
|
Titolo |
Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings / / edited by Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 175 p. 40 illus., 35 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 14363 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer engineering |
Computer networks |
Compilers (Computer programs) |
Computer science |
Machine theory |
Artificial Intelligence |
Computer Engineering and Networks |
Compilers and Interpreters |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Declarative Sequential Pattern Mining in ASP -- Extracting Rules from ML models in Angluin’s Style -- A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs -- Regularization in Probabilistic Inductive Logic Programming -- Towards ILP-based LTLf passive learning -- Learning Strategies of Inductive Logic Programming Using Reinforcement Learning -- Select first, transfer later: choosing proper datasets for statistical relational transfer learning -- GNN based Extraction of Minimal Unsatisfiable Subsets -- What Do Counterfactuals Say about the World? Reconstructing Probabilistic Logic Programs from Answers to “What if?” Queries -- Few-shot learning of diagnostic rules for neurodegenerative diseases |
|
|
|
|
|
|
|
|
|
|
|
using Inductive Logic Programming -- An Experimental Overview of Neural-Symbolic Systems -- Statistical relational structure learning with scaled weight parameters -- A Review of Inductive Logic Programming Applications for Robotic Systems -- Meta Interpretive Learning from Fractal images. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. |
|
|
|
|
|
|
|
| |