{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":57,"n_cols":5,"rows_kept":57,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[13,2,13,3],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[27,2,27,3],[28,2,28,3],[30,2,30,3],[30,4,30,5],[31,2,31,3],[31,4,31,5],[32,2,32,3],[33,2,33,3],[34,2,34,3],[51,2,51,3],[52,2,52,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996464535103316"]
[null,null,"Titolo",null,"Practical aspects of declarative languages : 24th international symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings / / James Cheney, Simona Perri (editors)"]
[null,null,"Pubbl/distr/stampa",null,"Cham, Switzerland : , : Springer, , [2022]"]
[{"$nulls":4},"©2022"]
[null,null,"ISBN",null,"3-030-94479-4"]
[null,null,"Descrizione fisica",null,"1 online resource (225 pages)"]
[null,null,"Collana",null,"Lecture notes in computer science ; ; 13165"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Declarative programming languages"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[null,null,"Nota di contenuto",null,"Intro -- Preface -- Organization -- Abstracts of Invited Talks -- People, Ideas, and the Path Ahead -- Declarative Programming and Education -- Contents -- Invited Talk -- People, Ideas, and the Path Ahead -- 1 Introduction -- 2 KR Methodology and Practical Applications -- 3 Hybrid Declarative Languages for Practical Applications -- 4 Intelligent Agents as Thought Partners -- 5 Conclusion -- References -- Answer Set Programming -- Modelling the Outlier Detection Problem in ASP(Q) -- 1 Introduction -- 2 Preliminaries -- 3 Outlier Detection -- 4 ASP(Q) Encoding -- 5 Experiments -- 6 Conclusion -- References -- Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding -- 1 Introduction -- 2 Related Work -- 3 MAPDC-P: Solving MAPDC with a Planning Approach -- 3.1 MAPDC as a Planning Problem -- 3.2 Solving MAPDC-P Using Multi-shot ASP -- 4 MAPDC-G: Solving MAPDC with a Path Finding Approach -- 4.1 MAPDC as a Graph Problem -- 4.2 Solving MAPDC-G Using Multi-shot ASP -- 5 Experimental Evaluations -- 6 Conclusions -- References -- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers -- 1 Introduction -- 2 Background -- 3 Reversibility of Actions -- 4 ASP(Q) Encodings of Reversibility -- 4.1 the plasp Format -- 4.2 a Uniform Reversibility Encoding Using ASP(Q) -- 4.3 A Non-uniform Reversibility Encoding Using ASP(Q) -- 5 Experiments -- 6 Conclusions -- References -- Functional Programming -- Functional Programming on Top of SQL Engines -- 1 Recursive SQL UDFs: From 1000s of Plans to One Plan -- 2 Treating SQL UDFs Like Functions (Not Queries) -- 2.1 "]
[{"$nulls":4},"Transition from SQL to FP -- 2.2 From Recursion Towards Iteration: CPS and Defunctionalization -- 2.3 Trampolined Style: Single Loop Replaces Mutual Recursion -- 3 An Iterative SQL-Based Interpreter for Recursive UDFs."]
[{"$nulls":4},"3.1 Memoizing the Results of Recursive Calls -- 3.2 Optimizations: Slimmer/Shorter Working and Union Tables -- 4 Experiments: Functional Programming on Top of PostgreSQL -- 5 More Related Work -- 6 Wrap-Up -- References -- CircuitFlow: A Domain Specific Language for Dataflow Programming -- 1 Introduction -- 2 CircuitFlow Language -- 2.1 DataStores -- 2.2 Circuit Type -- 2.3 Circuit Constructors -- 2.4 CircuitFlow in Action -- 2.5 mapC Operator -- 3 CircuitFlow Under the Hood -- 3.1 Circuit API -- 3.2 Network Typeclass -- 3.3 The Basic Network Representation -- 3.4 Translation to a BasicNetwork -- 4 Benchmarks -- 5 Discussion and Related Work -- 6 Conclusion -- References -- Languages, Methods and Tools -- Timed Concurrent Language for Argumentation: An Interleaving Approach -- 1 Introduction -- 2 Background -- 3 Syntax and Semantics -- 4 Modelling a Dialogue -- 5 tcla Simulator -- 6 Related Work -- 7 Conclusion -- References -- Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming -- 1 Introduction -- 2 Background: S(CASP) -- 2.1 Execution Procedure of s(CASP) -- 2.2 Unsafe Variables and Uninterpreted Function Symbols -- 2.3 s(CASP) as a Conservative Extension of ASP -- 2.4 The s(CASP) Interpreter -- 3 Dynamic Consistency Checking in s(CASP) -- 3.1 Motivation -- 3.2 Outline of the DCC Approach -- 3.3 Implementation of DCC in s(CASP) -- 4 Evaluation -- 5 Conclusions -- References -- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo -- 1 Introduction -- 2 Preliminaries -- 2.1 Minimal and Stable Models -- 2.2 Stable-Unstable Semantics -- 3 Modularity -- 4 Translating NLPs into SAT -- 5 Saturation -- 6 Capturing Stable-Unstable Semantics -- 7 Implementation and Practical Modeling -- 7.1 Practical Modeling -- 7.2 Performance Analysis -- 8 Discussion and Conclusion -- References."]
[{"$nulls":4},"Smart Devices and Large Scale Reasoning via ASP: Tools and Applications -- 1 Introduction -- 2 The DLV-LS System -- 3 A Use Case Application of DLV-LS -- 4 Conclusion -- References -- Declarative Solutions -- Decomposition-Based Job-Shop Scheduling with Constrained Clustering -- 1 Introduction -- 2 Job-Shop Scheduling Problem -- 3 Feature Extraction -- 4 Constrained Clustering Algorithm -- 5 Evaluation Results -- 6 Related Work -- 7 Conclusions -- References -- Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) -- 1 Introduction -- 2 Background -- 2.1 Easy Approach to Requirement Syntax (EARS) -- 2.2 Basic Event Calculus (BEC) -- 2.3 Goal-Directed Answer Set Programming -- 3 Modeling and Verifying Cyber Physical Systems in EC -- 3.1 Train-Gate-Controller in EARS -- 3.2 Train-Gate-Requirements in EC Using s(CASP) -- 4 Checking Safety and Liveness of Train-Gate-Controller -- 4.1 Safety and Liveness Queries -- 5 Conclusion and Future Work -- References -- Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs -- 1 Introduction -- 2 Background -- 2.1 Multi-valued Decision Diagrams -- 2.2 Large Neighborhood Search -- 2.3 GPGPU with CUDA -- 2.4 Related Works -- 3 Design and Implementation -- 3.1 Overview -- 3.2 LNS Parallelization -- 3.3 Implementation Details -- 4 Results and Analysis -- 4.1 Results -- 4.2 Analysis -- 5 Conclusions and Future Work -- References -- Green Application Placement in the Cloud-IoT Continuum -- 1 Introduction -- 2 GFogBrain in Action -- 3 Related Work -- 4 Concluding Remarks -- References -- Author Index."]
[null,"2.","Record Nr.",null,"UNINA9910496707703321"]
[null,null,"Autore",null,"Gherardini, Brunero"]
[null,null,"Titolo",null,"La seconda riforma : uomini e scuole del protestantesimo moderno / Brunero Gherardini"]
[null,null,"Pubbl/distr/stampa",null,"Brescia, : Morcelliana, 1964-"]
[null,null,"Descrizione fisica",null,"v. ; 19 cm"]
[null,null,"Collana",null,"Biblioteca di scienze religiose . Sez. 10 , Religioni cristiane ; 8"]
[null,null,"Locazione",null,"FLFBC"]
[null,null,"Collocazione",null,"DFT B30.3 GHEB 01 (1)"]
[{"$nulls":4},"DFT B30.3 GHEB 01 (2)"]
[{"$nulls":4},"Fil. teor. 2960"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"3.","Record Nr.",null,"UNINA9910716664903321"]
[null,null,"Titolo",null,"Increasing U.S. competitiveness and preventing American jobs from moving overseas : hearing before the Committee on Ways and Means, U.S. House of Representatives, One Hundred Eleventh Congress, first session, May 23, 2017"]
[null,null,"Pubbl/distr/stampa",null,"Washington : , : U.S. Government Publishing Office, , 2019"]
[null,null,"Descrizione fisica",null,"1 online resource (iv, 473 pages) : illustrations"]
[null,null,"Soggetti",null,"Taxation - Economic aspects - United States"]
[{"$nulls":4},"Tax administration and procedure - Economic aspects - United States"]
[{"$nulls":4},"International business enterprises - Taxation - United States"]
[{"$nulls":4},"Investments, Foreign - Taxation - United States"]
[{"$nulls":4},"Corporations - Taxation - United States"]
[{"$nulls":4},"Businesspeople - Taxation - United States"]
[{"$nulls":4},"Job creation - United States"]
[{"$nulls":4},"Economic development - United States"]
[{"$nulls":4},"Businesspeople - Taxation"]
[{"$nulls":4},"Corporations - Taxation"]
[{"$nulls":4},"Economic development"]
[{"$nulls":4},"International business enterprises - Taxation"]
[{"$nulls":4},"Investments, Foreign - Taxation"]
[{"$nulls":4},"Job creation"]
[{"$nulls":4},"Taxation - Economic aspects"]
[{"$nulls":4},"Legislative hearings."]
[{"$nulls":4},"United States"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Error in subtitle: One Hundred Eleventh Congress, first session should read One Hundred Fifteenth Congress, first session."]
[{"$nulls":4},"\"Serial no. 115-FC02.\""]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]