{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"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":41,"n_cols":5,"rows_kept":41,"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],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[10,2,10,3],[11,2,11,3],[13,2,13,3],[13,4,13,5],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[17,2,17,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[35,2,35,3],[36,2,36,3],[38,2,38,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990000935570203316"]
[null,null,"Autore",null,"STERLING, Leon"]
[null,null,"Titolo",null,"The art of Prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro ; with a foreword by David H. D. Warren"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge (MA); London : MIT Press, 1985"]
[null,null,"ISBN",null,"0262192500"]
[null,null,"Descrizione fisica",null,"XXIII, 437 p. ; 23 cm"]
[null,null,"Collana",null,"MIT press series in logic programming"]
[null,null,"Disciplina",null,"005.262"]
[null,null,"Collocazione",null,"IG VIII 25"]
[{"$nulls":4},"IG VIII 25 BIS"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910635393903321"]
[null,null,"Autore",null,"Governatori Guido"]
[null,null,"Titolo",null,"Rules and Reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / / edited by Guido Governatori, Anni-Yasmin Turhan"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022"]
[null,null,"ISBN",null,"9783031215414"]
[{"$nulls":4},"3031215419"]
[null,null,"Edizione",null,"[1st ed. 2022.]"]
[null,null,"Descrizione fisica",null,"1 online resource (310 pages)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 13752"]
[null,null,"Disciplina",null,"005.115"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Information technology - Management"]
[{"$nulls":4},"Database management"]
[{"$nulls":4},"Logic programming"]
[{"$nulls":4},"Expert systems (Computer science)"]
[{"$nulls":4},"Natural language processing (Computer science)"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computer Application in Administrative Data Processing"]
[{"$nulls":4},"Database Management"]
[{"$nulls":4},"Logic in AI"]
[{"$nulls":4},"Knowledge Based Systems"]
[{"$nulls":4},"Natural Language Processing (NLP)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Answer Set Programming -- Foundations of Nonmonotonic Reasoning -- Datalog -- Queries Over Ontologies -- Proofs, Error-tolerance, and Rules -- Agents and Argumentation."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 18 full research papers presented in this book were carefully reviewed and selected from 54 submissions. The papers cover the following topics: answer set programming; "]
[{"$nulls":4},"foundations of nonmonotonic reasoning; datalog; queries over ontologies; proofs, error-tolerance, and rules; as well as agents and argumentation."]