1.

Record Nr.

UNISALENTO991001883759707536

Autore

Levante, Dino

Titolo

Una biblioteca monastica pugliese alla fine del XVI secolo : libri e cultura dei Celestini di Santa Croce a Lecce / Dino Levante

Pubbl/distr/stampa

[S.l.] : [s.n.], [2010]

Descrizione fisica

P. 128-171 : ill. ; 24 cm.

Collana

Estratto da: Quaderni di studi, 2010, n. 9-10

Disciplina

016.27116

Soggetti

Celestini - Opere

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910751395903321

Autore

Fensel Anna

Titolo

Rules and Reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu

Pubbl/distr/stampa

Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023

ISBN

9783031450723

3031450728

Edizione

[1st ed. 2023.]

Descrizione fisica

1 online resource (269 pages)

Collana

Lecture Notes in Computer Science, , 1611-3349 ; ; 14244

Altri autori (Persone)

OzakiAna

RomanDumitru

SoyluAhmet

Disciplina

004.0151

Soggetti

Computer science

Information technology - Management

Database management

Logic programming

Natural language processing (Computer science)

Expert systems (Computer science)

Theory of Computation

Computer Application in Administrative Data Processing

Database Management

Logic in AI



Natural Language Processing (NLP)

Knowledge Based Systems

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di contenuto

Papers -- Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment -- GUCON: A Generic Graph Pattern based Policy Framework for Usage Control Enforcement -- Combining Proofs for Description Logic and Concrete Domain Reasoning -- Notation3 as an Existential Rule Language -- Fine-tuning Large Enterprise Language Models via Ontological Reasoning -- Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets -- Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs -- Marrying Query Rewriting and Knowledge Graph Embeddings -- Lore: Educational Deductive Database System -- Comparing State of the Art Rule-Based Tools for Information Extraction -- A Case Study for Declarative Pattern Mining in Digital Forensics -- Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle -- FreeCHR: An Algebraic Framework for CHR-Embeddings -- Explaining the optimal trajectories -- Abstract Domains for Database Manipulating Processes -- Extracting Interpretable Hierarchical Rules from Deep Neural Networks’ Latent Space.

Sommario/riassunto

This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18–20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems. .