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 / / edited by Amparo Alonso-Betanzos, Bertha Guijarro-Berdiñas, Verónica Bolón-Canedo, Elena Hernández-Pereira, Oscar Fontenla-Romero, David Camacho, Juan Ramón Rabuñal, Manuel Ojeda-Aciego, Jesús Medina, José C. Riquelme, Alicia Troncoso
| Advances in Artificial Intelligence : 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19–21, 2024, Proceedings / / edited by Amparo Alonso-Betanzos, Bertha Guijarro-Berdiñas, Verónica Bolón-Canedo, Elena Hernández-Pereira, Oscar Fontenla-Romero, David Camacho, Juan Ramón Rabuñal, Manuel Ojeda-Aciego, Jesús Medina, José C. Riquelme, Alicia Troncoso |
| Autore | Alonso-Betanzos Amparo |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 006.3 |
| 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 Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer networks Social sciences - Data processing Education - Data processing Computer vision Application software Artificial Intelligence Computer Communication Networks Computer Application in Social and Behavioral Sciences Computers and Education Computer Vision Computer and Information Systems Applications |
| ISBN |
9783031627996
9783031627989 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Taking Advantage of Depth Information for Semantic Segmentation in Field-Measured Vineyards. -- Advancing Computational Frontiers: Spiking Neural Networks in High-Energy Efficiency Computing Across Diverse Domains. -- Deep Variational Auto-Encoder for Model-based Water Quality Patrolling with Intelligent Surface Vehicles. -- An Architecture Towards Building a Reliable Suicide Information Chatbot. -- Age estimation using soft labelling ordinal classification approaches. -- O-Hydra: a hybrid convolutional and dictionary-based approach to Time Series Ordinal Classification. -- Predicting Parkinson’s Disease Progression: Analyzing Prodromal Stages through Machine Learning. -- Ground-Level Ozone Forecasting using Explainable Machine Learning. -- Multi-Objective Lagged Feature Selection based on Dependence Coefficient for Time-Series Forecasting. -- FuSDG: A proposal for a fuzzy assessment of Sustainable Development goals achievement. -- A surrogate assisted approach for fitness computation in robust optimization over time. -- A Path Relinking-based approach for the Bi-Objective Double Floor Corridor Allocation Problem. -- An Experimental Comparison of Qiskit and Pennylane for Hybrid Quantum-Classical Support Vector Machines. -- Preserving the Essential Features in CNNs: Pruning and Analysis. -- Iterated Local Search for the Facility Location problem with Limited Choice rule. -- Driven PCTBagging: Seeking greater discriminating capacity for the same level of interpretability. -- Semi-supervised learning methods for Semantic Segmentation of Polyps. -- Community-Based Topic Modeling with Contextual Outlier Handling. -- Toward Explaining Competitive Success in League of Legends: A Machine Learning Analysis. -- Reconstruction-based Anomaly Detection in Wind Turbine Operation Time Series using Generative Models. -- Multi-class and Multi-label Classification of an Assembly Task in Manufacturing. -- Image Processing and Deep Learning Methods for the Semantic Segmentation of Blastocyst Structures. -- Multivariate-Autoencoder flow-analogue method for heat waves reconstruction. -- HEX-GNN: Hierarchical EXpanders for Node Classification. -- The notion of bond in the multi-adjoint concept lattice framework. -- Exploring the use of LLMs for teaching AI and Robotics concepts at a Master's Degree. -- Exploring the Capabilities and Limitations of Neural Methods in the Maximum Cut. |
| Record Nr. | UNINA-9910865239103321 |
Alonso-Betanzos Amparo
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 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 Logic, Symbolic and mathematical 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
Logic, Symbolic and mathematical 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 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
Logic, Symbolic and mathematical 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 | ||
| ||
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
Logic, Symbolic and mathematical 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 | ||
| ||
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) Logic, Symbolic and mathematical 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 | ||
| ||