検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings / edited by James Cheney, Simona Perri T2 Programming and Software Engineering. ISSN:29459168 A1 Cheney, James A1 Perri, Simona A1 SpringerLink (Online service) YR 2022 FD 2022 SP XIV, 219 p. 49 illus., 18 illus. in color K1 Programming languages (Electronic computers) K1 Application software K1 Expert systems (Computer science) K1 Computer science K1 Computer engineering K1 Computer networks K1 Programming Language K1 Computer and Information Systems Applications K1 Knowledge Based Systems K1 Theory of Computation K1 Computer Engineering and Networks ED 1st ed. 2022. PB Springer International Publishing : Imprint: Springer PP Cham SN 9783030944797 LA English (英語) CL LCC:QA76.7-.73 CL DC23:005.13 NO Answer Set Programming -- Modelling the Outlier Detection Problem in ASP(Q) -- Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding -- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers -- Functional Programming -- Functional Programming on Top of SQL Engines -- CircuitFlow: A Domain Specific Language for Dataflow Programming -- Languages, Methods and Tools -- Timed Concurrent Language for Argumentation: an Interleaving Approach -- Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming -- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo -- Smart Devices and Large Scale Reasoning via ASP: Tools and Applications -- Declarative Solutions -- Decomposition-based Job-shop Scheduling with Constrained Clustering -- Modeling and Verification of Real-time Systems with the Event Calculus and s(CASP) -- Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs -- Green Application Placement in the Cloud-IoT Continuum NO This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022. The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions. NO HTTP:URL=https://doi.org/10.1007/978-3-030-94479-7 NO 書誌ID=EB00002137; LK [E Book]https://doi.org/10.1007/978-3-030-94479-7 OL 30