Practical Aspects of Declarative Languages
portes grátis
Practical Aspects of Declarative Languages
27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Vidal, German; Erdem, Esra
Springer International Publishing AG
03/2025
249
Mole
Inglês
9783031849237
15 a 20 dias
Descrição não disponível.
.- 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.
.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Logic programming;Declarative programming;Constraints;Functional programming;Answer set programming;Type theory;Programming languages;Software engineering;Knowledge representation;Automated reasoning;Program semantics;Program reasoning;Program transformation;Concurrency;Applied computing
.- 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.
.- 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
