001443654 000__ 04219cam\a2200673Ii\4500
001443654 001__ 1443654
001443654 003__ OCoLC
001443654 005__ 20230310003555.0
001443654 006__ m\\\\\o\\d\\\\\\\\
001443654 007__ cr\cn\nnnunnun
001443654 008__ 220111s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001443654 019__ $$a1294355043$$a1296666712
001443654 020__ $$a9783030944797$$q(electronic bk.)
001443654 020__ $$a3030944794$$q(electronic bk.)
001443654 020__ $$z9783030944780
001443654 0247_ $$a10.1007/978-3-030-94479-7$$2doi
001443654 035__ $$aSP(OCoLC)1291560980
001443654 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dOCLCO$$dDCT$$dOCLCF$$dDKU$$dOCLCO$$dUKAHL$$dOCLCQ
001443654 049__ $$aISEA
001443654 050_4 $$aQA76.76.C65$$bP33 2022
001443654 08204 $$a005.13$$223
001443654 1112_ $$aPADL (Symposium)$$n(24th :$$d2022 :$$cPhiladelphia, Pa.)
001443654 24510 $$aPractical aspects of declarative languages :$$b24th international symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings /$$cJames Cheney, Simona Perri (eds.).
001443654 24630 $$aPADL 2022
001443654 264_1 $$aCham :$$bSpringer,$$c[2022]
001443654 264_4 $$c©2022
001443654 300__ $$a1 online resource (xiv, 219 pages) :$$billustrations (some color).
001443654 336__ $$atext$$btxt$$2rdacontent
001443654 337__ $$acomputer$$bc$$2rdamedia
001443654 338__ $$aonline resource$$bcr$$2rdacarrier
001443654 347__ $$atext file$$bPDF$$2rda
001443654 4901_ $$aLecture notes in computer science ;$$v13165
001443654 4901_ $$aLNCS sublibrary: SL2 - Programming and software engineering
001443654 500__ $$aInternational conference proceedings.
001443654 500__ $$aIncludes author index.
001443654 5050_ $$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.
001443654 506__ $$aAccess limited to authorized users.
001443654 520__ $$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.
001443654 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 11, 2022).
001443654 650_0 $$aDeclarative programming languages$$vCongresses.
001443654 650_0 $$aDeclarative programming$$vCongresses.
001443654 650_6 $$aLangages déclaratifs (Informatique)$$vCongrès.
001443654 650_6 $$aProgrammation déclarative$$vCongrès.
001443654 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001443654 655_7 $$aConference papers and proceedings.$$2lcgft
001443654 655_7 $$aActes de congrès.$$2rvmgf
001443654 655_0 $$aElectronic books.
001443654 7001_ $$aCheney, James,$$eeditor.
001443654 7001_ $$aPerri, Simona,$$eeditor.
001443654 77608 $$iPrint version: $$z9783030944780
001443654 77608 $$iPrint version: $$z9783030944803
001443654 830_0 $$aLecture notes in computer science ;$$v13165.
001443654 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001443654 852__ $$bebk
001443654 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-94479-7$$zOnline Access$$91397441.1
001443654 909CO $$ooai:library.usi.edu:1443654$$pGLOBAL_SET
001443654 980__ $$aBIB
001443654 980__ $$aEBOOK
001443654 982__ $$aEbook
001443654 983__ $$aOnline
001443654 994__ $$a92$$bISE