Practical Aspects of Declarative Languages
portes grátis
Practical Aspects of Declarative Languages
25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Inclezan, Daniela; Hanus, Michael
Springer International Publishing AG
01/2023
313
Mole
Inglês
9783031248405
15 a 20 dias
510
Descrição não disponível.
?Functional Programming.- RICE: An Optimizing Curry.- Program Synthesis Using Example Propagation.- Embedding Functional Logic Programming in Haskell via a Compiler Plugin.- Execution Time Program Verification With Tight Bounds.- Fluo: A Domain-Specific Language for Experiments in FluorescenceMicroscopy (Application Paper).- Logic Programming.- Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper).- Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper).- Dynamic slicing of Reaction Systems based on assertions and monitors.- Multiple Query Satisfiability of Constrained Horn Clauses.- Formalizing and Reasoning about Supply Chain Contracts between Agents.- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.- SwitchLog: A Logic Programming Language for Network Switches.- Linear Algebraic Abduction with Partial Evaluation.- Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.- Solving Vehicle Equipment Specification Problems with Answer Set Programming.- UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper).- Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming.- Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.- Automatic Rollback Suggestions for Incremental Datalog Evaluation.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer programming;computer science;computer systems;distributed computer systems;distributed systems;embedded systems;engineering;formal languages;formal logic;knowledge representation;knowledge-based system;linguistics;logic programming;mathematics;object-oriented programming;ontologies;parallel processing systems;semantics;software engineering
?Functional Programming.- RICE: An Optimizing Curry.- Program Synthesis Using Example Propagation.- Embedding Functional Logic Programming in Haskell via a Compiler Plugin.- Execution Time Program Verification With Tight Bounds.- Fluo: A Domain-Specific Language for Experiments in FluorescenceMicroscopy (Application Paper).- Logic Programming.- Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper).- Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper).- Dynamic slicing of Reaction Systems based on assertions and monitors.- Multiple Query Satisfiability of Constrained Horn Clauses.- Formalizing and Reasoning about Supply Chain Contracts between Agents.- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.- SwitchLog: A Logic Programming Language for Network Switches.- Linear Algebraic Abduction with Partial Evaluation.- Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.- Solving Vehicle Equipment Specification Problems with Answer Set Programming.- UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper).- Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming.- Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.- Automatic Rollback Suggestions for Incremental Datalog Evaluation.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer programming;computer science;computer systems;distributed computer systems;distributed systems;embedded systems;engineering;formal languages;formal logic;knowledge representation;knowledge-based system;linguistics;logic programming;mathematics;object-oriented programming;ontologies;parallel processing systems;semantics;software engineering
