Overview

Full Product Details

Author:   Esra Erdem ,  Germán Vidal
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   15537
ISBN:  

9783031849237

ISBN 10:   303184923
Pages:   249
Publication Date:   18 March 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
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 Contents

.- On Bridging Prolog and Python to Enhance an Inductive Logic Program-ming System. .- Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System. .- The Scenic Route to Deforestation. .- MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Em-bedded DSLs. .- SM-based Semantics for Answer Set Programs Containing Conditional Lit-erals and Arithmetic. .- A practical approach to handling tabular data in logic. .- Automated Playing of Survival Video Games with Commonsense Reasoning. .- Checking Concurrency Coding Rules. .- A Weighted Bipolar Argumentation Framework and its ASP-based Imple-mentation. .- Haskell Based Spreadsheets. .- Leveraging LLM Reasoning with Dual Horn Programs. .- ASP for Language Documentation and Reclamation: A Derivational Stem-ming Tool for Myaamia. .- Enhancing a Hierarchical Graph Rewriting Language based on MELL CutElimination. .- C3G: Causally Constrained Counterfactual Generation. .- Exploring Answer Set Programming for Provenance Graph-Based CyberThreat Detection: A Novel Approach.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions