Buch, Englisch, 360 Seiten, Format (B × H): 155 mm x 235 mm
10th International Joint Conference, RuleML+RR 2026, Vilnius, Lithuania, August 24–26, 2026, Proceedings
Buch, Englisch, 360 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-47265-6
Verlag: Springer
This book constitutes the proceedings of the 10th International Joint Conference on Rules and Reasoning, RuleML+RR 2026, held in Vilnius, Lithuania, during August 24–26, 2026.
The 19 full papers included in this book were carefully reviewed and selected from 49 submissions. The proceedings also include 2 invited papers from a keynote speaker and 1 keynote abstract. The papers focus on all subjects concerning theoretical advances, novel technologies, and innovative applications relating to knowledge representation and reasoning with rules.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken
- Mathematik | Informatik EDV | Informatik Informatik Natürliche Sprachen & Maschinelle Übersetzung
- Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Geistes- und Sozialwissenschaften
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
Weitere Infos & Material
.- The Implicit Hitting Set Approach to Constraint Optimization: Origins and Advances.
.- Rule-Based Languages for Neurosymbolic AI.
.- Incremental Differentiable Metric Temporal First-Order Rule Learning.
.- Towards Anytime Constraint Acquisition.
.- Sufficient Explanations in Databases and their Connections to Database Repairs.
.- Optimizing Sparse Boolean Rule Networks using Mixed Integer Linear Programming.
.- Reasoning Defeasibly About Defeasible Standpoints: Non-Monotonic Inference for a Conditional Fragment of Propositional Defeasible Standpoint Logic.
.- A Matrix-based Calculus for Classification in EL++.
.- Logic-Rx: Multi-Source Diagnostics for Reliable LLM Formalization.
.- Are you Talking Logic to Me? Assessing Language Models Syllogistic Reasoning Capabilities.
.- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory.
.- neXSim: A System for Entity Comparison within Relational Knowledge Graphs.
.- Synthesis of High-Confidence Regions for Rule-Based Machine Learning Models.
.- Learning Minimal Qualitative Simulation Models from Observations.
.- Rule Acquisition for Teachable Agents.
.- Right on Thought, Left Private: Reasoning about Mental Privacy in LogiKEy.
.- Ontology-Driven Rules for Efficient OCEL Timeline Synthesis.
.- A Knowledge Graph for Machine Learning Artifact Management Systems.
.- Causality and Minimal Supports in Recursive Datalog.
.- Choice Rules and Aggregates in CASPER.
.- Optimal Unsatisfiable Sets in Answer Set Programming.
