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.
Advances in Artificial Intelligence : 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, a Coruña, Spain, June 19-21, 2024, Proceedings
| Advances in Artificial Intelligence : 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, a Coruña, Spain, June 19-21, 2024, Proceedings |
| Autore | Alonso-Betanzos Amparo |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2024 |
| Descrizione fisica | 1 online resource (293 pages) |
| Altri autori (Persone) |
Guijarro-BerdiñasBertha
Bolón-CanedoVerónica Hernández-PereiraElena Fontenla-RomeroOscar CamachoDavid RabuñalJuan Ramón Ojeda-AciegoManuel MedinaJesús RiquelmeJosé C |
| Collana | Lecture Notes in Computer Science Series |
| ISBN |
9783031627996
9783031627989 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Taking Advantage of Depth Information for Semantic Segmentation in Field-Measured Vineyards -- 1 Introduction -- 2 Materials and Methods -- 2.1 Dataset -- 2.2 Computational Methods -- 3 Results and Discussion -- 4 Conclusions and Further Work -- References -- Advancing Computational Frontiers: Spiking Neural Networks in High-Energy Efficiency Computing Across Diverse Domains -- 1 Introduction -- 2 Related Work -- 3 Comprehensive Exploration of SNNs -- 3.1 Encoding Techniques -- 3.2 Neuron Models: SNNs Architectures for Energy Efficiency -- 3.3 Training Paradigms and Learning Methods in SNNs -- 4 Discussion in SNN Research for Energy Efficiency -- 5 Conclusion and Future Directions in SNNs Research -- References -- Deep Variational Auto-Encoder for Model-Based Water Quality Patrolling with Intelligent Surface Vehicles -- 1 Introduction -- 2 Previous Works -- 3 Statement of the Problem -- 4 Methodology -- 4.1 VAE-UNet Architecture -- 4.2 Multiagent Path Planning -- 5 Results -- 5.1 UNet-VAE Training Results -- 5.2 Patrolling Results -- 6 Conclusions and Future Work -- References -- An Architecture Towards Building a Reliable Suicide Information Chatbot -- 1 Introduction -- 2 Architecture of the Chatbot -- 2.1 Text Classification Filter for Not Suicidal Content -- 2.2 Text Classification Filter for Not Safe Information About Suicide -- 2.3 Retrieval Augmented Generation Module -- 3 Evaluation -- 4 Conclusions and Further Work -- References -- Age Estimation Using Soft Labelling Ordinal Classification Approaches -- 1 Introduction -- 2 Soft Labelling Methodology -- 3 Age Estimation Problems -- 4 Experimental Settings -- 4.1 Model Selection -- 4.2 Compared Methodologies -- 5 Results -- 6 Conclusions -- References.
O-Hydra: A Hybrid Convolutional and Dictionary-Based Approach to Time Series Ordinal Classification -- 1 Introduction -- 2 Methodology -- 2.1 Preliminary Definitions -- 2.2 Dictionary-Based Methods -- 2.3 Convolution-Based Methods -- 2.4 O-Hydra Approach -- 3 Experimental Setup -- 4 Results -- 5 Conclusions -- References -- Predicting Parkinson's Disease Progression: Analyzing Prodromal Stages Through Machine Learning -- 1 Introduction -- 2 Data -- 2.1 Database Description -- 2.2 Demographic and Clinical Data -- 2.3 Structural MRI Data -- 2.4 Pre-processing -- 3 Methodology -- 3.1 Feature Selection -- 3.2 Classification Algorithms -- 3.3 Classification Performance Evaluation -- 3.4 Explanation -- 4 Results -- 5 Discussion -- 6 Conclusion -- References -- Ground-Level Ozone Forecasting Using Explainable Machine Learning -- 1 Introduction -- 2 Related Work -- 3 Materials and Methods -- 3.1 Machine Learning -- 3.2 Hyperparameter Optimization -- 3.3 XAI -- 4 Results -- 4.1 Input Data -- 4.2 Evaluation Metrics -- 4.3 ML Optimization -- 4.4 XAI -- 5 Conclusions and Future Works -- References -- Multi-Objective Lagged Feature Selection Based on Dependence Coefficient for Time-Series Forecasting -- 1 Introduction -- 2 Related Works -- 3 Description of the Proposed MOLS Algorithm -- 4 Methodology and Experimentation -- 4.1 Model -- 4.2 Main Phases -- 5 Results and Discussion -- 5.1 Datasets -- 5.2 Result and Analysis -- 6 Conclusions and Future Works -- References -- FuSDG: A Proposal for a Fuzzy Assessment of Sustainable Development Goals Achievement -- 1 Introduction -- 2 Definition of a Fuzzy SDG Index (FuSDG) -- 3 Case Study -- 4 On the Impact of Prioritization of the SDG -- 5 Discussion and Conclusions -- References -- A Surrogate Assisted Approach for Fitness Computation in Robust Optimization over Time -- 1 Introduction -- 2 Proposed Approach. 3 Computational Experiments -- 3.1 Computational Complexity -- 3.2 Experiment Results -- 4 Conclusion and Future Works -- References -- A Path Relinking-Based Approach for the Bi-Objective Double Floor Corridor Allocation Problem -- 1 Introduction -- 2 Problem Description -- 3 Optimization Proposal -- 3.1 Bi-Objective PR -- 3.2 Path Relinking -- 3.3 Algorithmic Description -- 4 Results -- 5 Conclusions and Future Work -- References -- An Experimental Comparison of Qiskit and Pennylane for Hybrid Quantum-Classical Support Vector Machines -- 1 Introduction -- 2 Related Works -- 3 Fundamentals -- 3.1 Quantum Fundamentals -- 3.2 Support Vector Machines -- 4 Methodology -- 5 Results -- 5.1 Quality Parameters -- 5.2 Dataset Description -- 5.3 Discussion -- 6 Conclusions -- References -- Preserving the Essential Features in CNNs: Pruning and Analysis -- 1 Introduction -- 2 Filter Pruning Strategy -- 2.1 Layer Essential Features -- 2.2 Pruning Method -- 3 Experiments and Results -- 3.1 Experimental Setting -- 3.2 Pruning Setting -- 3.3 Comparing Different Filter Selection Criteria -- 3.4 Results -- 4 Discussion on the Importance of Retaining the Essential Features -- 5 Conclusion -- References -- Iterated Local Search for the Facility Location Problem with Limited Choice Rule -- 1 Introduction -- 2 Formal Description of the Problem -- 3 Iterated Local Search -- 4 Computational Experiments -- 5 Conclusions and Future Work -- References -- Driven PCTBagging: Seeking Greater Discriminating Capacity for the Same Level of Interpretability -- 1 Introduction -- 2 Related Work on PCTBagging -- 3 Driven PCTBagging -- 4 Experimental Methodology -- 5 Experimental Results -- 6 Conclusions and Further Work -- References -- Semi-supervised Learning Methods for Semantic Segmentation of Polyps -- 1 Introduction -- 2 Materials and Methods -- 2.1 Dataset. 2.2 Base Training Procedure -- 2.3 Distillation Methods -- 3 Results -- 4 Conclusions and Further Work -- References -- Community-Based Topic Modeling with Contextual Outlier Handling -- 1 Introduction -- 2 Related Work -- 3 Our Proposal -- 4 Experimental Study -- 4.1 The Datasets -- 4.2 Experimental Setup -- 5 Results -- 5.1 NCM4 and NCM8 Datasets -- 5.2 News and Tweets Datasets -- 6 Conclusions -- References -- Toward Explaining Competitive Success in League of Legends: A Machine Learning Analysis -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Dataset -- 3.2 Models -- 3.3 Experimental Settings -- 3.4 Evaluation Metrics -- 3.5 Hyperparameter Optimization -- 4 Results -- 4.1 Best Models -- 4.2 Global Analysis -- 4.3 Role Analysis -- 4.4 Local Analysis -- 5 Conclusions and Future Works -- References -- Reconstruction-Based Anomaly Detection in Wind Turbine Operation Time Series Using Generative Models -- 1 Introduction -- 2 Background -- 2.1 Anomaly Detection in Time Series -- 2.2 Failure Detection in Wind Turbines -- 3 Methodology -- 4 Experimental Setup and Results -- 4.1 Dataset -- 4.2 Experimental Evaluation -- 4.3 Results and Discussion -- 5 Conclusions and Future Work -- References -- Multi-class and Multi-label Classification of an Assembly Task in Manufacturing -- 1 Introduction -- 2 Materials and Methods -- 3 Results -- 4 Conclusions and Further Work -- References -- Image Processing and Deep Learning Methods for the Semantic Segmentation of Blastocyst Structures -- 1 Introduction -- 2 Related Work -- 3 Materials and Methods -- 3.1 Data Source -- 3.2 Proposal Description -- 3.3 Experimentation Setup -- 4 Results and Discussion -- 5 Conclusions and Further Work -- References -- Multivariate-Autoencoder Flow-Analogue Method for Heat Waves Reconstruction -- 1 Introduction -- 2 Methodology -- 2.1 Data. 2.2 The Multivariate Analogue Method -- 2.3 The MvAE-AM Approach -- 3 Experiments and Results -- 4 Conclusions -- References -- HEX-GNN: Hierarchical EXpanders for Node Classification -- 1 Introduction -- 2 Related Works -- 3 Preliminaries -- 4 Method -- 5 Experimental Settings -- 5.1 Datasets -- 5.2 Settings -- 6 Results and Analysis -- 7 Conclusion and Future Work -- References -- The Notion of Bond in the Multi-adjoint Concept Lattice Framework -- 1 Introduction -- 2 Preliminaries -- 3 Bonds on a Multi-adjoint Framework -- 4 Conclusions and Future Work -- References -- Exploring the Use of LLMs for Teaching AI and Robotics Concepts at a Master's Degree -- 1 Introduction -- 1.1 Contribution -- 2 State of the Art -- 3 Materials and Methods -- 3.1 Courses -- 3.2 LLMs Impact -- 4 Practical Case -- 4.1 Project Description -- 4.2 llama.cpp -- 4.3 llama_ros -- 4.4 Mini Pupper -- 4.5 ChatBot Application -- 5 Discussion and Conclusions -- References -- Exploring the Capabilities and Limitations of Neural Methods in the Maximum Cut -- 1 Introduction -- 2 Background and Limitations -- 3 Case Study: NCO for the Maximum Cut -- 3.1 Maximum Cut Problem -- 3.2 NCO Model -- 4 Experiments -- 4.1 RQ1-A. Generalization to Different Graph Connectivity Levels -- 4.2 RQ1-B. Generalization to Different Graph Sizes -- 4.3 RQ2. Confidence Level of NCO Models -- 4.4 RQ3. Strategies to Minimize Training Costs -- 4.5 RQ4. NC Vs NI -- 5 Conclusion -- References -- Author Index. |
| Record Nr. | UNINA-9910865239103321 |
Alonso-Betanzos Amparo
|
||
| Cham : , : Springer International Publishing AG, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Concept Analysis [[electronic resource] ] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego
| Formal Concept Analysis [[electronic resource] ] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 319 p. 57 illus.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Data mining Mathematical logic Computer science—Mathematics Algebra Ordered algebraic structures Artificial Intelligence Software Engineering Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Order, Lattices, Ordered Algebraic Structures |
| ISBN | 3-319-19545-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical aspects of FCA -- Methods and applications of FCA to different fields -- Enhanced FCA that show new trends in FCA -- Pattern structures of fuzzy FCA. |
| Record Nr. | UNISA-996200019903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Concept Analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego
| Formal Concept Analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 319 p. 57 illus.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Data mining Mathematical logic Computer science—Mathematics Algebra Ordered algebraic structures Artificial Intelligence Software Engineering Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Order, Lattices, Ordered Algebraic Structures |
| ISBN | 3-319-19545-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical aspects of FCA -- Methods and applications of FCA to different fields -- Enhanced FCA that show new trends in FCA -- Pattern structures of fuzzy FCA. |
| Record Nr. | UNINA-9910484431303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III / / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, Irina Perfilieva, Bernadette Bouchon-Meunier, Ronald R. Yager
| Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III / / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, Irina Perfilieva, Bernadette Bouchon-Meunier, Ronald R. Yager |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 764 p. 176 illus.) |
| Disciplina | 004 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Mathematical logic Data mining Algorithms Application software Artificial Intelligence Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-91479-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advances on Explainable Artificial Intelligence -- Aggregation Operators, Fuzzy Metrics and Applications -- Belief Function Theory and its Applications -- Current Techniques to Model, Process and Describe Time Series -- Discrete Models and Computational Intelligence -- Formal Concept Analysis and Uncertainty -- Fuzzy Implication Functions -- Fuzzy Logic and Artificial Intelligence Problems -- Fuzzy Mathematical Analysis and Applications -- Fuzzy Methods in Data Mining and Knowledge Discovery -- Fuzzy Transforms: Theory and Applications to Data Analysis and Image Processing -- Imprecise Probabilities: Foundations and Applications -- Mathematical Fuzzy Logic, Mathematical Morphology -- Measures of Comparison and Entropies for Fuzzy Sets and Their Extensions -- New Trends in Data Aggregation -- Pre-aggregation Functions and Generalized Forms of Monotonicity -- Rough and Fuzzy Similarity Modelling Tools -- Soft Computing for Decision Making in Uncertainty -- Soft Computing in Information Retrieval and Sentiment Analysis -- Tri-partitions and Uncertainty -- Decision Making Modeling and Applications -- Logical Methods in Mining Knowledge from Big Data -- Metaheuristics and Machine Learning -- Optimization Models for Modern Analytics -- Uncertainty in Medicine -- Uncertainty in Video/Image Processing (UVIP) -- General Track. . |
| Record Nr. | UNINA-9910299284703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I / / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager
| Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I / / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XLIV, 806 p. 174 illus.) |
| Disciplina | 006.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Mathematical logic Data mining Algorithms Application software Artificial Intelligence Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-91473-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advances on Explainable Artificial Intelligence -- Aggregation Operators, Fuzzy Metrics and Applications -- Belief Function Theory and its Applications -- Current Techniques to Model, Process and Describe Time Series -- Discrete Models and Computational Intelligence -- Formal Concept Analysis and Uncertainty -- Fuzzy Implication Functions -- Fuzzy Logic and Artificial Intelligence Problems -- Fuzzy Mathematical Analysis and Applications -- Fuzzy Methods in Data Mining and Knowledge Discovery -- Fuzzy Transforms: Theory and Applications to Data Analysis and Image Processing -- Imprecise Probabilities: Foundations and Applications -- Mathematical Fuzzy Logic, Mathematical Morphology -- Measures of Comparison and Entropies for Fuzzy Sets and Their Extensions -- New Trends in Data Aggregation -- Pre-aggregation Functions and Generalized Forms of Monotonicity -- Rough and Fuzzy Similarity Modelling Tools -- Soft Computing for Decision Making in Uncertainty -- Soft Computing in Information Retrieval and Sentiment Analysis -- Tri-partitions and Uncertainty -- Decision Making Modeling and Applications -- Logical Methods in Mining Knowledge from Big Data -- Metaheuristics and Machine Learning -- Optimization Models for Modern Analytics -- Uncertainty in Medicine -- Uncertainty in Video/Image Processing (UVIP) -- General Track. . |
| Record Nr. | UNINA-9910299285303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II / / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager
| Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations : 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II / / edited by Jesús Medina, Manuel Ojeda-Aciego, José Luis Verdegay, David A. Pelta, Inma P. Cabrera, Bernadette Bouchon-Meunier, Ronald R. Yager |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 766 p. 178 illus.) |
| Disciplina | 006.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Mathematical logic Data mining Algorithms Application software Artificial Intelligence Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-91476-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advances on Explainable Artificial Intelligence -- Aggregation Operators, Fuzzy Metrics and Applications -- Belief Function Theory and its Applications -- Current Techniques to Model, Process and Describe Time Series -- Discrete Models and Computational Intelligence -- Formal Concept Analysis and Uncertainty -- Fuzzy Implication Functions -- Fuzzy Logic and Artificial Intelligence Problems -- Fuzzy Mathematical Analysis and Applications -- Fuzzy Methods in Data Mining and Knowledge Discovery -- Fuzzy Transforms: Theory and Applications to Data Analysis and Image Processing -- Imprecise Probabilities: Foundations and Applications -- Mathematical Fuzzy Logic, Mathematical Morphology -- Measures of Comparison and Entropies for Fuzzy Sets and Their Extensions -- New Trends in Data Aggregation -- Pre-aggregation Functions and Generalized Forms of Monotonicity -- Rough and Fuzzy Similarity Modelling Tools -- Soft Computing for Decision Making in Uncertainty -- Soft Computing in Information Retrieval and Sentiment Analysis -- Tri-partitions and Uncertainty -- Decision Making Modeling and Applications -- Logical Methods in Mining Knowledge from Big Data -- Metaheuristics and Machine Learning -- Optimization Models for Modern Analytics -- Uncertainty in Medicine -- Uncertainty in Video/Image Processing (UVIP) -- General Track. . |
| Record Nr. | UNINA-9910299285603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira
| Logics in Artificial Intelligence [[electronic resource] ] : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 412 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Computer programming Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-40006-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- ‘On Being Informed’: Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter’s Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using ?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter’s Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences. |
| Record Nr. | UNISA-996466193903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira
| Logics in Artificial Intelligence : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 412 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Computer programming Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-40006-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- ‘On Being Informed’: Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter’s Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using ?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter’s Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences. |
| Record Nr. | UNINA-9910208853103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||