|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Marco Console , Boris KonevPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Volume: 15400 ISBN: 9783031802829ISBN 10: 3031802829 Pages: 115 Publication Date: 02 February 2025 Audience: College/higher education , Professional and scholarly , Tertiary & Higher Education , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsCompact Query Rewritings for Ontology-Based Query Answering.- Finite-Model Reasoning for Graph Queries and Description Logics.- Controlled Query Evaluation in Description Logic Ontologies.- Actively Learning from Machine Learning Models with Queries and Counterexamples.- Proof-Theoretic Approaches to Logical Argumentation.ReviewsAuthor InformationMarco Console, Università degli Studi di Roma ""La Sapienza"", Rome, Italy Boris Konev, University of Liverpool, Liverpool, UK Tab Content 6Author Website:Countries AvailableAll regions |