| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990002912980203316 |
|
|
Titolo |
Mediterranea : quaderni annuali dell'Istituto di studi sulle civiltà italiche e del Mediterraneo antico del Consiglio nazionale delle ricerche |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Pisa ; Roma, : Istituti editoriali e poligrafici internazionali |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
Italiano |
Francese |
Inglese |
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Già: Quaderni di archeologia etrusco-italica |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996691680703316 |
|
|
Autore |
Hogan Aidan |
|
|
Titolo |
Rules and Reasoning : 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22–24, 2025, Proceedings / / edited by Aidan Hogan, Ken Satoh, Hasan Dağ, Anni-Yasmin Turhan, Dumitru Roman, Ahmet Soylu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
9783032088871 |
9783032088864 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (451 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 16144 |
|
|
|
|
|
|
Altri autori (Persone) |
|
SatohKen |
DağHasan |
TurhanAnni-Yasmin |
RomanDumitru |
SoyluAhmet |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Two Kinds of Rules: Goal Rules and Belief Rules -- Obligation Taxonomy in the Non-Markovian Situation Calculus -- A Novel Concept Induction Approach for Explainable Quality 4.0 -- An Optimized |
|
|
|
|
|
|
|
|
|
|
|
Framework for DSPG Synthesis and Trust Network Analysis with Subjective Logic -- When Does Na¨ıve Evaluation Work for Datalog?- Scalable Evaluation of Rule-Based Recommender Systems: Algorithms and Benchmarks -- Rule2Text: Natural Language Explanation of Logical Rules in Knowledge Graphs -- Minimizing Side-effects in Virtual Knowledge Graph Updates -- Rule Extraction and Interaction-Aware Explainability for AI-Driven Malware Detection -- Probabilistic Answer Set Programming Driven Ranking of Dynamic Space-Time Belief Models -- Learning Interpretable Probabilistic Models and Schema Axioms for Knowledge Graphs -- Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization -- SPARQL in N3: SPARQL construct as a rule language for the Semantic Web -- Positioning LLM-enabled Agents as Legal Compliance Aides for Data Pipelines -- Learning to Contest Argumentative Claims. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 9th International Joint Conference on Rules and Reasoning, RuleML+RR 2025, held in Istanbul, Turkey, during September 22–24, 2025.The 12 full papers and 2 short papers included in this book were carefully reviewed and selected from 34 submissions. The proceedings also include 1 invited paper from a keynote speaker and 2 invited abstracts for keynotes. The 12 full and 2 short papers included in these proceedings were carefully reviewed and selected from 34 submissions. They focus on all subjects concerning theoretical advances, novel technologies, and innovative applications relating to knowledge representation and reasoning with rules. |
|
|
|
|
|
|
|
| |