Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
AI Aspects in Reasoning, Languages, and Computation / / edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller
| AI Aspects in Reasoning, Languages, and Computation / / edited by Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (viii, 105 pages) : illustrations |
| Disciplina | 006.3 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational linguistics Computational Intelligence Artificial Intelligence Computational Linguistics |
| ISBN | 3-030-41425-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors -- Refining Algebraic Hierarchy in Mathematical Repository of Mizar -- Extending Formal Topology in Mizar by Uniform Spaces. . |
| Record Nr. | UNINA-9910484545103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference / / edited by Sara Rodríguez González, Alfonso González-Briones, Arkadiusz Gola, George Katranas, Michela Ricca, Roussanka Loukanova, Javier Prieto
| Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference / / edited by Sara Rodríguez González, Alfonso González-Briones, Arkadiusz Gola, George Katranas, Michela Ricca, Roussanka Loukanova, Javier Prieto |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (269 pages) |
| Disciplina | 004.36 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-030-53829-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483912703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Distributed Computing and Artificial Intelligence, Volume 2
| Distributed Computing and Artificial Intelligence, Volume 2 |
| Autore | González Sara Rodríguez |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
| Descrizione fisica | 1 online resource (229 pages) |
| Altri autori (Persone) |
MachadoJosé Manuel
González-BrionesAlfonso WikarekJaroslaw LoukanovaRoussanka KatranasGeorge Casado-VaraRoberto |
| Collana | Lecture Notes in Networks and Systems Ser. |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-030-86887-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Honorary Chairman -- Advisory Board -- Program Committee Chairs -- Organizing Committee Chair -- Workshop Chair -- Organizing Committee -- DCAI 2021 Sponsors -- Special Session on AI-Driven Methods for Multimodal Networks and Processes Modeling (AIMPM 2021) -- Organizing Committee -- Chairs -- Co-chairs -- Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) -- Organizing Committee -- Program Committee -- Special Session on Surveying and Maritime Internet of Things Education (SMITE 2021) -- Organizing Committee -- Special session on Theory and Applications of Mathematical Models in Computer Science and Artificial Intelligence (TAMMCSAI) -- Organizing Committee -- Program Committee -- Contents -- Special Session on AI-driven methods for Multimodal Networks and Processes Modeling (AIMPM'21) -- Declarative Approach to UAVs Mission Contingency Planning in Dynamic Environments -- 1 Introduction -- 2 Approach to UAVs Fleet Online Routing -- 3 CSP Formulation -- 4 Constraints Relaxation -- 5 Computational Experiments -- 6 Conclusions -- References -- Model of Employee Competence Configuration in SCM -- 1 Introduction -- 2 Location of the Employee Competence Configuration Problem for the Sample Supply Chain -- 3 Employee Competence Configuration Model -- 4 Computational Examples -- 5 Conclusions -- References -- A Structural and Functional Design for Resource Deployments in Ad Hoc Multimodal Service Systems -- 1 Ad Hoc Multimodal Service Systems (AHMSS) -- 2 Domain Model for AHMSS -- 3 Challenges in Decision-Making for AHMSS -- 4 A Structural and Functional Design of the DSS -- 4.1 The Data Structure of a DSS -- 4.2 Key Functions of the DSS -- 4.3 Constraints on the Functions of the DSS -- 4.4 Critical Technologies and Methods Enabling the DSS.
5 Discussion and Conclusion -- References -- Repair of Multithreaded Errors in the Control and Measurement System -- 1 Introduction -- 2 Background to the Problem -- 2.1 Control and Measurement Systems -- 2.2 System Architecture -- 3 Errors in Multithreaded Applications -- 3.1 Problem Diagnosis -- 3.2 Ways of Detecting Multithreaded Errors -- 4 Use of MASCM Method -- 4.1 MASCM -- 4.2 Occurrence of a Race Condition Class Error -- 4.3 Verification of System Operation After Modifications -- 5 Summary -- References -- Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) -- A Case Study in Computer-Assisted Meta-reasoning -- 1 Introduction -- 2 Related Work -- 3 Development in Isabelle -- 4 The Haskell Code -- 5 Natural Language Example -- 6 On Automated Reasoning -- 7 Conclusions and Future Work -- References -- Fuzzy Natural Logic for Sentiment Analysis: A Proposal -- 1 Introduction -- 2 Lexicon Based Approach -- 3 Fuzzy Natural Logic (FNL) -- 3.1 Modeling Evaluative Expressions in FNL -- 3.2 Modeling the Meaning of Words in FNL -- 4 Fuzzy Natural Logic in Sentiment Analysis -- 5 Final Remarks -- References -- ITUTime: Turkish Temporal Expression Extraction and Normalization -- 1 Introduction -- 2 Related Works -- 3 Temporal Expression Types -- 4 System Description -- 4.1 Preprocessing -- 4.2 Text Number Normalization -- 4.3 Detector -- 4.4 Normalizer -- 4.5 Text Number Restoration -- 4.6 Limitations -- 5 Dataset -- 6 Evaluation -- 6.1 Error Analysis -- 7 Conclusion and Future Studies -- References -- Automated Metaphor Identification in Russian and Its Implications for Metaphor Studies -- 1 Metaphor as a Computational Problem -- 2 Description of the System -- 2.1 Metaphor Identification Features -- 2.2 Experimental Setup -- 3 Results -- 4 Discussion: What Can Experiments Tell Us About Metaphor?. References -- Special Session on Surveying and Maritime Internet of Things Education (SMITE'21) -- Smart Agriculture System Integrating LoRaWAN and Edge Computing Technologies -- 1 Introduction -- 2 System Overview -- 3 Methodology -- 4 Results -- 5 Conclusion -- References -- Marine Surveying Education by Implementing Artificial Intelligence on Remotely Operated Underwater Vehicle Sensors -- 1 Introduction -- 2 Experimental Setup -- 2.1 The Remotely Operated Underwater Vehicle -- 2.2 Sensor Cluster and Data Transfer -- 2.3 Software and Connectivity -- 3 Artificial Intelligence -- 4 Conclusions -- References -- Design and Configuration of Software Tools for the Remote Performance of Laboratory Experiments in Marine Survey Education -- 1 Introduction -- 2 Remote Measurement Process -- 2.1 Process Overview -- 2.2 Backbone Code -- 2.3 Database Data Retrieval Tool -- 2.4 Graphical User Interface -- 3 Case Study -- 4 Conclusions -- References -- Special session on Theory and Applications of Mathematical Models in Computer Science and Artificial Intelligence (TAMMCSAI'21) -- About the Reversibility of Elementary Cellular Automata with Rule Number 180 -- 1 Introduction -- 2 Elementary Cellular Automata -- 2.1 Basic Theory -- 2.2 The ECA with Rule Number 180 -- 3 Reversibility in One-Dimensional CA -- 4 The Reversibility Problem for ECA 180 -- 5 Conclusions -- References -- Automatic Generator of Loading Rules and Its Applications on Logistics Operations -- 1 Introduction -- 1.1 Motivation and Context -- 1.2 Contribution -- 2 Problem Description -- 2.1 Notation and Definitions -- 2.2 Strategies to Create Feasible Sequences and Their Complexity -- 2.3 Computational Results -- 3 Application on Stowage Planning -- 4 Conclusions -- References -- Distress Detection in Road Pavements Using Neural Networks -- 1 Introduction -- 2 Background. 2.1 Artificial Neural Networks and Autoencoders -- 3 Related Work -- 4 Expirements and Results -- 4.1 Baseline - Binary Classifier -- 4.2 AE and VAE Models -- 5 Conclusion -- 5.1 Discussion -- 5.2 Conclusions -- 5.3 Future Work -- References -- Analyzing Metrics to Understand Human Mobility Phenomena: Challenges and Solutions -- 1 Introduction -- 2 Understanding Common Metrics in Human Mobility Research -- 2.1 Spatial Resolution of Categorisation and Aggregation -- 2.2 Temporal Resolution of Categorisation and Aggregation -- 3 Detailed Analysis of Human Mobility Patterns -- 3.1 Data Collection -- 3.2 Exploring Human Mobility Metrics -- 4 Results and Discussion -- 5 Conclusions -- References -- The Relationship Between Financial Execution in R& -- D and Scientific Production -- 1 Introduction -- 2 Background -- 2.1 Research at UMinho -- 2.2 Covid-19 Impact on UMinho's R& -- D Projects -- 2.3 Scopus Database -- 3 Methodology -- 4 Results -- 4.1 Financial Execution -- 4.2 Scientific Production -- 4.3 Correlation Between Financial Execution and Scientific Production -- 5 Conclusions and Future Work -- References -- Doctoral Consortium -- Adaptive Recommendation in Online Environments -- 1 Introduction -- 2 Related Works -- 3 Keys Challenges -- 4 Research Question and Proposal Work -- 5 Final Remarks -- References -- Data Integration in Shop Floor for Industry 4.0 -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Final Reflections -- References -- Distributed Architecture Proposal for Efficient Energy Management of Road Lighting in Urban Environments -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Preliminary Results/Evaluation Plan -- 6 Reflections -- References -- Proposal for a Distributed Intelligent Control Architecture Based on Heterogeneous Modular Devices -- 1 Problem Statement. 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Preliminary Results/Evaluation Plan -- 6 Reflections -- References -- DNN Based Prototype of the Track Reconstruction Algorithm for the MUonE Experiment -- 1 The MUonE Experiment -- 2 DNN Based Track Reconstruction Algorithm -- 2.1 Experimental Setup -- 2.2 Track Reconstruction Algorithm -- 2.3 Results -- 3 Outlook and Plans -- 4 Conclusions -- References -- Modeling and Recommendation System for Improving the Energy Performance of Buildings -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis and Proposal -- 4 Preliminary Results -- 5 Reflections -- References -- Intelligent Monitoring and Management Platform for the Prevention of Olive Pests and Diseases, Including IoT with Sensing, Georeferencing and Image Acquisition Capabilities Through Computer Vision -- 1 Computer Vision and Deep Learning for Prevention of Olive Pests and Diseases -- 2 Deep Learning - Definition and Convolutional Neural Network -- 3 Development of the Intelligent Monitoring and Management Platform -- References -- Author Index. |
| Altri titoli varianti | Distributed Computing and Artificial Intelligence, Volume 2 |
| Record Nr. | UNINA-9910502985003321 |
González Sara Rodríguez
|
||
| Cham : , : Springer International Publishing AG, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) / / edited by Roussanka Loukanova
| Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) / / edited by Roussanka Loukanova |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (IX, 205 p. 110 illus., 11 illus. in color.) |
| Disciplina |
410.285
006.35 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Natural language processing (Computer science) Computational linguistics Computational Intelligence Natural Language Processing (NLP) Computational Linguistics |
| ISBN | 3-030-30077-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proof Irrelevance in Type-Theoretical Semantics -- Saving Hamlet Ellipsis -- Temporal Representations with and without Points -- From Tree Adjoining Grammars to Higher Order Representations of Abstract Meaning Representations via Abstract Categorial Grammars -- Measuring Linguistic Complexity: Introducing a New Categorial Metric -- On Categorial Grammatical Inference and Logical Information Systems -- A Scope-Taking System with Dependent Types and Continuations -- On the Coevolution of Language and Cognition – Gricean Intentions Meet Lewisian Conventions. |
| Record Nr. | UNINA-9910484899403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and algorithms in computational linguistics 2021 (LACompLing2021) / / edited by Roussanka Loukanova, Peter LeFanu Lumsdaine, and Reinhard Muskens
| Logic and algorithms in computational linguistics 2021 (LACompLing2021) / / edited by Roussanka Loukanova, Peter LeFanu Lumsdaine, and Reinhard Muskens |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (350 pages) |
| Disciplina | 929.605 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico | Computational linguistics |
| ISBN | 3-031-21780-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complexity of the Lambek Calculus and Its Extensions -- Categorial Dependency Grammars: Analysis and Learning -- Diamonds are Forever -- A Hybrid Approach of Distributional Semantics and Event Semantics for Telicity -- Generalized Computable Models and Montague Semantics -- Multilingual Text Generation for Abstract Wikipedia in Grammatical Framework: Prospects and Challenges -- Decomposing Events into GOLOG -- Generating Pragmatically Appropriate Sentences from Logic: the Case of the Conditional and Biconditional -- White Roses, Red Backgrounds: Bringing Structured Representations to Search -- Rules Are Rules: Rhetorical Figures and Algorithms -- Integrating Deep Neural Networks with Dependent Type Semantics -- Meaning-Driven Selectional Restrictions -- A Unified Cluster of Valence Resources. |
| Record Nr. | UNINA-9910682591703321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Natural language processing in artificial intelligence - NLPinAI 2021 / / Roussanka Loukanova, editor
| Natural language processing in artificial intelligence - NLPinAI 2021 / / Roussanka Loukanova, editor |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (126 pages) |
| Disciplina | 006.35 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence |
| ISBN | 3-030-90138-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910523003203321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Natural language processing in artificial intelligence -- NLPinAI 2020 / / Roussanka Loukanova, editor
| Natural language processing in artificial intelligence -- NLPinAI 2020 / / Roussanka Loukanova, editor |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (vii, 245 pages) : illustrations |
| Disciplina | 006.35 |
| Collana | Studies in computational intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Computational intelligence Computational linguistics |
| ISBN | 3-030-63787-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Lambek Calculus with Classical Logic -- 1 Introduction -- 1.1 Overview -- 1.2 Categorial Grammars -- 2 Algebras and Frames -- 3 H-Systems and Modal Logics -- 3.1 Unary Modalities -- 3.2 Binary Modalities -- 3.3 Other Modal Axioms -- 3.4 Filtration -- 4 Decidability and Complexity -- 5 Conclusion -- References -- Partial Orders, Residuation, and First-Order Linear Logic -- 1 Introduction -- 2 Categorial Grammars and Residuation -- 2.1 Residuation in Extended Lambek Calculi -- 2.2 Residuation and First-Order Linear Logic -- 3 First-Order Linear Logic -- 3.1 First-Order Linear Logic and Natural Language Grammars -- 3.2 Proof Nets -- 4 Residuation and Partial Orders -- 4.1 Residuation for the Lambek Calculus Revisited -- 4.2 Partial Orders -- 5 The General Case -- 5.1 How Many Residuated Connectives Are There for Concatenation-Like Operations? -- 5.2 Well-Nestedness -- 5.3 Partial Order Constraints in Practice -- 6 The Empty String -- 7 Discussion -- 8 Conclusions -- References -- A Hyperintensional Theory of Intelligent Question Answering in TIL -- 1 Introduction -- 2 Foundations of TIL -- 3 Natural Deduction in TIL -- 4 Semantic Rules -- 4.1 Factive Attitudes and Presuppositions -- 4.2 Property Modifiers -- 4.3 Anaphoric References and Substitution Method -- 5 Wh-Questions -- 6 Two Case Studies -- 6.1 Reasoning with Property Modifiers -- 6.2 Reasoning with Factive Propositional Attitudes -- 7 Conclusion -- References -- Learning Domain-Specific Grammars from a Small Number of Examples -- 1 Introduction -- 1.1 Use Case: Language Learning -- 1.2 Use Case: Interlingual Communication -- 2 Background -- 2.1 Previous Work on Grammar Learning -- 2.2 Abstract Grammars -- 2.3 Wide-Coverage and Resource Grammars -- 2.4 Constraint Satisfaction Problems -- 3 Learning a Subgrammar -- 3.1 Subgrammar Extraction by Tree Selection.
3.2 Modeling Subgrammar Extraction as a Constraint Problem -- 4 Bilingual Grammar Learning -- 5 Implementation -- 6 Evaluation -- 6.1 Rebuilding a Known Grammar -- 6.2 Comparing Against a Treebank -- 6.3 Comparing Against a Bilingual Treebank -- 7 Results -- 7.1 Results: Rebuilding a Known Grammar -- 7.2 Results: Comparing Against a Treebank -- 7.3 Results: Using Bilingual Treebanks -- 8 Extension 1: Negative Examples -- 8.1 Examples -- 8.2 Iterative Grammar Learning Process -- 9 Extension 2: Extracting Subtrees as Basic Units -- 9.1 Handling Combinatorial Explosion -- 9.2 Examples -- 10 Discussion -- 11 Conclusion -- References -- The Semantic Level of Shannon Information: Are Highly Informative Words Good Keywords? A Study on German -- 1 Introduction -- 1.1 General Application of Shannon's Information Theory in Language -- 1.2 Semantic Aspects in Shannon's Information Theory -- 1.3 Application of Shannon's Information Theory to Our Study -- 2 Related Work -- 3 Dataset -- 3.1 What Are Keywords? -- 4 Method -- 4.1 Baseline -- 4.2 Information Theory Based Methods -- 4.3 Neural Network -- 4.4 Evaluation Method -- 5 Results -- 6 Conclusion and Discussion -- References -- Towards Aspect Extraction and Classification for Opinion Mining with Deep Sequence Networks -- 1 Introduction -- 1.1 Contribution -- 1.2 Domain Focus -- 2 State of Research -- 3 New Datasets for Aspect Phrases in Physician Reviews -- 3.1 Data Collection and Overview -- 3.2 Rating Classes -- 3.3 Annotation Process -- 4 Neural Networks for Aspect Phrase Extraction and Classification -- 5 Evaluation and Discussion -- 6 Conclusion -- References -- Dialogical Argumentation and Textual Entailment -- 1 Presentation: Argumentation, Inference, Semantics -- 2 Dialogical Logic -- 2.1 Language, Formulas, Subformulas, Trees -- 2.2 Argumentation Forms -- 2.3 Prejustified Sequences -- 2.4 Games. 2.5 Strategies -- 2.6 Validity -- 3 Dialogical Validity Is Equivalent to Classical Validity -- 3.1 From Strategies to Proofs in GKs -- 3.2 From Proofs in GKs to Strategies -- 4 Categorical Grammars and Automated Theorem Proving -- 5 Textual Entailment -- 5.1 First Example -- 5.2 Second Example -- 5.3 Third Example -- 5.4 Fourth Example -- 6 Conclusion -- References -- A Novel Approach to Determining the Quality of News Headlines -- 1 Introduction -- 2 Related Work -- 3 Labelling Data -- 3.1 Data -- 3.2 Quality Indicators -- 4 Predict Headline Quality -- 4.1 Problem Definition -- 4.2 Proposed Model -- 5 Evaluation -- 5.1 Baselines -- 5.2 Evaluation Metrics -- 5.3 Experimental Results -- 6 Conclusions -- References. |
| Altri titoli varianti | NLPinAI 2020 |
| Record Nr. | UNINA-9910483308303321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||