New frontiers in artificial intelligence : JSAI-isAI 2020 workshops, JURISIN, LENLS 2020 workshops, virtual event, November 15-17, 2020, revised selected papers / / edited by Naoaki Okazaki [and three others]

• Record Nr.: UNISA996464503503316
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer, , [2021]; ©2021
• ISBN: 3-030-79942-5
• Descrizione fisica: 1 online resource (306 pages)
• Collana: Lecture Notes in Artificial Intelligence ; ; 12758
• Disciplina: 006.3
• Soggetti: Artificial intelligence
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Intro -- Preface -- Organization -- Contents -- LENLS -- Logic and Engineering of Natural Language Semantics (LENLS) 17 -- 1 The Workshop -- 2 Acknowledgements -- A Semantics for ``Typically'' in First-Order Default Reasoning -- 1 Introduction -- 2 Notions We Combine -- 2.1 Two Embeddings of First-Order Logic in First-Order Modal Logic -- 2.2 Conditional Logic and Typically Implies -- 3 Atypical and Non-atypical Sets -- 4 The Semantics of Friedman et al. -- 5 Semantics for Conditional Logic with Fitting's Embedding -- 5.1 Moving to Satisfaction on Sets -- 5.2 Fitting-Twisted Semantics of First-Order Conditional Logic -- 5.3 Interesting Special Cases When A4 is Satisfied -- 5.4 Further Examples -- 6 Conclusions -- References -- On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach -- 1 Introduction -- 2 Negotiation Phases and Dialogue Gameboard -- 3 Inquisitive Semantics -- 4 Dialogue Participant's Epistemic State -- 5 Dialogue Dynamics and Context Updating -- 6 A Complete Example: Cheryl's Birthday -- 7 Comparision with Previous Work -- 8 Conclusion -- References -- Knowledge Acquisition from Natural Language with Treebank Semantics and Flora-2 -- 1 Introduction -- 2 Reaching Database Content -- 3 Using the Obtained Database Content -- 3.1 Path Expressions -- 4 A Note to Consider Alternatives -- 5 Conclusion -- References -- The Explicated Addressee: A (Mainly) Pragmatic Account of Japanese ka-Questions -- 1 Introduction -- 2 The Data -- ; 2.1 Japanese ka-Questions and Honorification -- 2.2 Honorification is a Root Clause Phenomenon -- 2.3 Daroo/Desyoo in Declaratives and Questions -- 3 Earlier Theories -- 4 Analysis -- 4.1 The Explicated Addressee -- 4.2 Asking a ka question -- 4.3 Daroo: Orientation and Honorification -- 4.4 Predictions -- 5 Summary -- References -- Superlative Modifiers as Concessive Conditionals -- 1 Introduction.; 2 Previous Approaches -- 2.1 Modal Approach -- 2.2 Disjunction Approach -- 2.3 Summary -- 3 Proposal -- 3.1 Ingredients -- 3.2 Deriving AtLeast Without Superlative Morpheme -- 4 Explaining the Data -- 5 Further Predictions -- 5.1 Sukunakutomo with -- 5.2 Mo and Superlativity -- 6 Conclusion -- References -- Polynomial Event Semantics: Negation -- 1 Introduction -- 2 Event Quantification Problem -- 3 Polynomial Event Semantics -- 3.1 Polyconcepts -- 3.2 Quantification -- 3.3 Existential Quantification and Entailment -- 4 Negation -- 4.1 Scope Ambiguities with Quantified Adverbial Modifiers -- 4.2 Double Negation -- 5 A Model of Polyconcepts -- 6 Related Work -- 7 Conclusions -- References -- Experiential Imagination and the Inside/Outside-Distinction -- 1 Introduction -- 2 Experiential and Parasitic Imagining -- 2.1 Experientiality -- 2.2 Counterfactual Parasitism -- 3 Self-Imagination and Experiential Parasitism -- 3.1 Imagining de se -- 3.2 Experientially Parasitic de se-Imagining -- 4 Multiply Parasitic Imagining and Constraints on de se-Ascription -- 5 Applications -- 5.1 Vendler and Walton's Disagreement -- 5.2 Remembering `From the Outside' -- 6 Outlook -- References -- Against the Multidimensional Approach to Honorific Meaning: A Solution to the Binding Problem of Conventional Implicature -- 1 Introduction -- 2 Basic Assumptions -- 2.1 The Logical Representation of Honorific Meaning -- 2.2 The Status of Honorific Meaning -- 3 The Two Approaches -- 3.1 The Multidimensional Approach -- 3.2 The Unidimensional Approach -- 4 The Binding Problem for Honorific Meaning -- 5 A Note on Sudo's Anaphora-Based Solution of the Binding Problem -- 6 Summary -- References -- A Persona-Based Analysis of Politeness in Japanese and Spanish -- 1 Introduction -- 2 Evidence -- 2.1 Japanese -- 2.2 Spanish -- 2.3 Interim summary.; 3 A Bayesian Dynamic Pragmatics Account of Politeness -- 3.1 Dynamic Pragmatics -- 3.2 Discussion -- 4 Dynamic update as Persona learning -- 5 Conclusion and Theoretical Implications -- References -- JURISIN2020 -- Fourteenth International Workshop on Juris-Informatics (JURISIN 2020) -- AI and Judicial Policy -- 1 Preface -- 2 Application of IT to Court -- 2.1 Video Link System, Triophone -- 2.2 Judicial System Reform - "The Supreme Court to Judge the Memories of the Case." -- 2.3 Headquarters for Japan's Economic Revitalization -- 3 Cyber Court Research in Japan -- 3.1 Thumbnail Software -- 3.2 Annotation Software -- 4 3 Types of Digitizing of Court [10] -- 4.1 American Type -- 4.2 German Type -- 4.3 Spanish Type - ARCONTE -- 5 AI and Trial -- 5.1 Definition of AI -- 5.2 Possibility of AI and Judicial Policy -- 6 Conclusion -- References -- Differential Translation for Japanese Partially Amended Statutory Sentences -- 1 Introduction -- 2 Task Definition -- 2.1 Partial Amendment in Japanese Legislation -- 2.2 Objective -- 3 Related Work -- 3.1 Template-Aware Statistical Machine Translation -- 3.2 Neural Machine Translation -- 4 Proposed Method -- 4.1 Translation Procedure -- 4.2 Focality Criterion -- 5 Experiment -- 5.1 Outline -- 5.2 Results -- 5.3 Discussion -- 6 Summary -- References -- Aspect Classification for Legal Depositions -- 1 Introduction -- 2 Related Work -- 3 Methods -- 3.1 Aspects Ontology -- 3.2 Aspect Classification -- 3.3 Canonical Representation -- 4 Dataset -- 5 Experiment Setup and Results -- 5.1 Experimental Setup -- 5.2 Results and Discussion -- 5.3 Error Analysis -- 6 ; Conclusion and Future Work -- References -- COLIEE 2020: Methods for Legal Document Retrieval and Entailment -- 1 Introduction -- 2 Task 1 - Case Law Information Retrieval -- 2.1 Task Definition -- 2.2 Dataset -- 2.3 Approaches -- 2.4 Results.; 3 Task 2 - Case Law Entailment -- 3.1 Task Definition -- 3.2 Dataset -- 3.3 Approaches -- 3.4 Results -- 4 Task 3 - Statute Law Retrieval -- 4.1 Task Definition -- 4.2 Dataset -- 4.3 Approaches -- 4.4 Results -- 5 Task 4 - Statute Law Entailment -- 5.1 Task Definition -- 5.2 Dataset -- 5.3 Approaches -- 5.4 Results -- 6 Final Remarks -- References -- COLIEE 2020: Legal Information Retrieval and Entailment with Legal Embeddings and Boosting -- 1 Introduction -- 1.1 Contributions -- 2 Related Work -- 3 Legal Embeddings -- 4 Task 1: Case Law Information Retrieval -- 4.1 Methodology -- 4.2 Experimental Setup -- 4.3 Results -- 5 Task 2: Case Law Entailment -- 5.1 Methodology -- 5.2 Experimental Setup -- 5.3 Results -- 6 Task 3: Statute Law Information Retrieval -- 6.1 Methodology -- 6.2 Experimental Setup -- 6.3 Results -- 7 Task 4: Statute Law Entailment -- 7.1 Methodology -- 7.2 Experimental Setup -- 7.3 Results -- 8 Conclusion -- References -- BERT-Based Ensemble Model for Statute Law Retrieval and Legal Information Entailment -- 1 Introduction -- 2 Competition Data and Task Description -- 3 Data Preprocessing -- 4 Model Training and the Result -- 5 TASK 4: Yes/No Question Answering -- 6 Failure Analysis: Problems of Extraction-Based Question Answering -- 7 Conclusion -- References -- The Application of Text Entailment Techniques in COLIEE 2020 -- 1 Introduction -- 2 Related Work -- 2.1 Open-Domain Textual Entailment -- 2.2 Case Law Textual Entailment -- 2.3 Statute Law Textual Entailment -- 3 Text Entailment in COLIEE 2020 -- 3.1 Case Law Entailment -- 3.2 Statute Law Entailment -- 4 Results -- 4.1 Case Law Entailment -- 4.2 Statute Law Entailment -- 5 Conclusions -- References -- Information Extraction/Entailment of Common Law and Civil Code -- 1 Introduction -- 2 Task 1: The Legal Case Retrieval Task -- 2.1 Experiments -- 2.2 Results.; 3 Task 2: Legal Case Entailment -- 3.1 Experiments and Results -- 4 Task 3: Civil Code Article Retrieval -- 4.1 Experiments -- 4.2 Results -- 5 Task 4: Civil Code Entailment -- 5.1 Experiments -- 5.2 Results -- 5.3 Discussion -- 6 Summary -- References -- Paragraph Similarity Scoring and Fine-Tuned BERT for Legal Information Retrieval and Entailment -- 1 Introduction -- 2 Task 1 - The Legal Case Retrieval Task -- 2.1 Task Description -- 2.2 Methodology -- 2.3 Results -- 2.4 Discussion -- 3 Task 2 - The Legal Case Entailment Task -- 3.1 Task Description -- 3.2 Methodology -- 3.3 Results -- 3.4 Discussion -- 4 Task 3 - Statutory Law Retrieval Task -- 4.1 Task Description -- 4.2 Methodology -- 4.3 Results -- 4.4 Discussion -- 5 Task 4 - Statutory Law Entailment Task -- 5.1 Task Description -- 5.2 Methodology -- 5.3 Results -- 5.4 Discussion -- 6 Conclusions -- References -- Using BERT and TF-IDF to Predict Entailment in Law-Based Queries -- 1 Background -- 2 Methods and Implementation -- 2.1 Task 3: Statute Law Information Retrieval -- 2.2 Task 4: Statute Law Entailment -- 3 Results -- 3.1 Task 3: Statute Law Information Retrieval -- 3.2 Task 4: Statute Law Entailment -- References -- Author Index.

Programming Languages and Systems : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / / edited by Peter Sestoft

• Record Nr.: UNINA9910767587703321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
• ISBN: 3-540-33096-8
• Edizione: [1st ed. 2006.]
• Descrizione fisica: 1 online resource (XII, 342 p.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3924
• Altri autori (Persone): SestoftPeter
• Disciplina: 005.1
• Soggetti: Software engineering; Compilers (Computer programs); Computer programming; Computer science; Machine theory; Software Engineering; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space Analysis -- Haskell Is Not Not ML -- Coinductive Big-Step Operational Semantics -- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed Assembly Language for Confidentiality -- Flow Locks: Towards a Core Calculus for Dynamic Flow Policies -- A Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination Analysis in k-Bits -- Path Optimization in Programs and Its ; Application to Debugging -- Inference of User-Defined Type Qualifiers and Qualifier Rules -- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions -- Embedding Dynamic Dataflow in a Call-by-Value Language -- Polymorphic Type Inference for the JNI -- Type Safety of Generics for the .NET Common Language Runtime -- The Weird World of Bi-directional Programming.
• Sommario/riassunto: ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme! I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.