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.
Logics in Artificial Intelligence [[electronic resource] ] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
| Logics in Artificial Intelligence [[electronic resource] ] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz |
| Autore | Gaggl Sarah |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (834 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
MartinezMaria Vanina
OrtizMagdalena |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computers, Special purpose Computer science Machine theory Computer programming Artificial Intelligence Computer and Information Systems Applications Special Purpose and Application-Based Systems Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques |
| ISBN | 3-031-43619-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Special track: Logics for Explainable and Trustworthy AI -- Argumentation -- Answer Set Programming -- Description Logics and Ontological Reasoning -- Logics of Knowledge and Belief -- Non-monotonic Reasoning -- Planning -- Reasoning about Causes and Dependencies -- Reasoning about Quantities and Functions -- Temporal and Spatial Reasoning. |
| Record Nr. | UNISA-996550551803316 |
Gaggl Sarah
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
| Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz |
| Autore | Gaggl Sarah |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (834 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
MartinezMaria Vanina
OrtizMagdalena |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computers, Special purpose Computer science Machine theory Computer programming Artificial Intelligence Computer and Information Systems Applications Special Purpose and Application-Based Systems Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques |
| ISBN | 3-031-43619-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Special track: Logics for Explainable and Trustworthy AI -- Argumentation -- Answer Set Programming -- Description Logics and Ontological Reasoning -- Logics of Knowledge and Belief -- Non-monotonic Reasoning -- Planning -- Reasoning about Causes and Dependencies -- Reasoning about Quantities and Functions -- Temporal and Spatial Reasoning. |
| Record Nr. | UNINA-9910747000103321 |
|
Gaggl Sarah
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Scalable Uncertainty Management : 16th International Conference, SUM 2024, Palermo, Italy, November 27–29, 2024, Proceedings / / edited by Sébastien Destercke, Maria Vanina Martinez, Giuseppe Sanfilippo
| Scalable Uncertainty Management : 16th International Conference, SUM 2024, Palermo, Italy, November 27–29, 2024, Proceedings / / edited by Sébastien Destercke, Maria Vanina Martinez, Giuseppe Sanfilippo |
| Autore | Destercke Sébastien |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (500 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
MartinezMaria Vanina
SanfilippoGiuseppe |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science - Mathematics Machine learning Computer networks Computer systems Data mining Artificial Intelligence Mathematics of Computing Machine Learning Computer Communication Networks Computer System Implementation Data Mining and Knowledge Discovery |
| ISBN |
9783031762352
3031762355 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Repair Based Semantics for Querying Inconsistent Data From Databases to Knowledge Bases and Back -- Looking at conditionals within the possibilistic framework -- From de Finetti’s coherence to new theories for reasoning under uncertainty -- MIP Outer Belief Approximations of Lower Conditional Joint CDFs in Statistical Matching Problems -- Integrating User Preferences into Gradual Bipolar Argumentation for Personalised Decision Support -- Scaling Up Reasoning From Conditional Belief Bases -- On Decisive Revision Operators and Totally Ordered Information -- Judicial Support Tool Finding the k Most Likely Judicial Worlds -- Flexible risk aware sequential decision making -- Entropy and extropy for partial probability assessments on arbitrary families of events -- Robust Discrete Bayesian Classifier under Covariate and Label Noise -- Imprecise Dynamic Value at Risk Induced by a DS Bivariate Random Walk -- Boolean weighting in possibilistic logic -- Possibilistic provenance -- Towards a logical framework for reasoning with stereotypes -- SDF FuzzIA a Fuzzy Ontology based plug in for the intelligent analysis of geothematic data -- On the Completeness and Complexity of Lifted Temporal Inference -- Bel Coalitional Games -- Lifting Partially Observable Stochastic Games -- Inconsistency Measurement in LTLf Based on Minimal Inconsistent Sets and Minimal Correction Sets -- Contribution of Subsets of Variables in Global Sensitivity Analysis with Dependent Variables -- An Ontology Based Approach for Handling Inconsistency in Explainable and Prioritized Access Control Models -- Estimating Causal Effects in Partially Directed Parametric CausalFactor Graphs -- Discrete Minimax Binary Relevance Classifier for Imbalanced Multi label Classification -- Entropic Regularization Schemes for Learning Fuzzy Similarity Measures Based on the d Choquet Integral -- Elicitation for Decision Problems under severe uncertainties -- Accelerate K Mode Algorithms Using The Triangle Inequality -- A Reinforcement Learning Approach for Resolving Inconsistencies in Qualitative Constraint Networks -- r ERBFN an Extension of the Evidential RBFN Accounting for the Dependence Between Positive and Negative Evidence -- Frank’s triangular norms in Piaget’s logical proportions -- Social ranking under incomplete knowledge elicitation of the lex-cel necessary winners -- User’s Preference Modelling with Godel Integral -- Extended Boltzmann Machine Generative Model -- Compact Solution Representation in Qualitative Constraint based Reasoning -- Credibility Limited Revision for Epistemic Spaces -- Towards a Dialogue Game based Semantics for Extended Abstract Argumentation Frameworks based on Indecision Blocking -- Transfer Learning Approach for High Imbalance and Multi Class Classification of Fluorescence Images -- Stability of Extensions in Incomplete Argumentation Frameworks. |
| Record Nr. | UNISA-996630871303316 |
|
Destercke Sébastien
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||