LEADER 01146nam 2200385 450 001 9910825877503321 005 20200520144314.0 010 $a0-522-86978-5 035 $a(CKB)4100000007758662 035 $a(MiAaPQ)EBC5676172 035 $a(Au-PeEL)EBL5676172 035 $a(OCoLC)1088316915 035 $a(EXLCZ)994100000007758662 100 $a20190306d2016 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComing of age $eGriffith University and the Unified National System /$fTerry Hogan 210 1$aCarlton, Victoria :$cMelbourne University Press,$d2016. 215 $a1 online resource (152 pages) 311 $a0-522-86976-9 320 $aIncludes bibliographical references and index. 606 $aHigher education and state$zAustralia 615 0$aHigher education and state 676 $a378.94 700 $aHogan$b Terry$01708922 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910825877503321 996 $aComing of age$94098260 997 $aUNINA LEADER 04168nam 22007455 450 001 9910522982103321 005 20251113194210.0 010 $a3-030-94479-4 024 7 $a10.1007/978-3-030-94479-7 035 $a(MiAaPQ)EBC6846187 035 $a(Au-PeEL)EBL6846187 035 $a(CKB)20592832400041 035 $a(PPN)261525778 035 $a(OCoLC)1291560980 035 $a(DE-He213)978-3-030-94479-7 035 $a(EXLCZ)9920592832400041 100 $a20220107d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPractical Aspects of Declarative Languages $e24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17?18, 2022, Proceedings /$fedited by James Cheney, Simona Perri 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (225 pages) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v13165 300 $aIncludes index. 311 08$aPrint version: Cheney, James Practical Aspects of Declarative Languages Cham : Springer International Publishing AG,c2022 9783030944780 327 $aAnswer 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. 330 $aThis 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. . 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v13165 606 $aProgramming languages (Electronic computers) 606 $aApplication software 606 $aExpert systems (Computer science) 606 $aComputer science 606 $aComputer engineering 606 $aComputer networks 606 $aProgramming Language 606 $aComputer and Information Systems Applications 606 $aKnowledge Based Systems 606 $aTheory of Computation 606 $aComputer Engineering and Networks 615 0$aProgramming languages (Electronic computers) 615 0$aApplication software. 615 0$aExpert systems (Computer science) 615 0$aComputer science. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aProgramming Language. 615 24$aComputer and Information Systems Applications. 615 24$aKnowledge Based Systems. 615 24$aTheory of Computation. 615 24$aComputer Engineering and Networks. 676 $a005.131 676 $a005.131 702 $aCheney$b James 702 $aPerri$b Simona 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910522982103321 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNINA