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.
Computational Approaches to Analogical Reasoning: Current Trends / / edited by Henri Prade, Gilles Richard
| Computational Approaches to Analogical Reasoning: Current Trends / / edited by Henri Prade, Gilles Richard |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 395 p. 105 illus., 18 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Artificial Intelligence |
| ISBN | 3-642-54516-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Analogy in action -- Part II Modeling analogy -- Part III From cognition to computational experiments. |
| Record Nr. | UNINA-9910299728103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Information and Knowledge Systems [[electronic resource] ] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / / edited by Sebastian Link, Henri Prade
| Foundations of Information and Knowledge Systems [[electronic resource] ] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / / edited by Sebastian Link, Henri Prade |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (373 p.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computers
Mathematical logic Computer science—Mathematics Computer logic Algorithms Theory of Computation Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematics of Computing Algorithm Analysis and Problem Complexity |
| ISBN |
1-280-38573-1
9786613563651 3-642-11829-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Tools and Techniques in Qualitative Reasoning about Space -- A Simple but Formal Semantics for XML Manipulation Languages -- Algorithmic Definability and Completeness in Modal Logic -- Regular Articles -- A Probabilistic Temporal Logic That Can Model Reasoning about Evidence -- An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games -- Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting -- Enhancing Dung’s Preferred Semantics -- On the Distance of Databases -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance in a Metamodel -- Possibilistic Semantics for Logic Programs with Ordered Disjunction -- Semantic Web Search Based on Ontological Conjunctive Queries -- Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework -- The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics -- Theoretical Foundations for Enabling a Web of Knowledge -- Towards Controlled Query Evaluation for Incomplete First-Order Databases -- Bagging Decision Trees on Data Sets with Classification Noise -- Evolving Schemas for Streaming XML -- ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation -- Towards a Paradoxical Description Logic for the Semantic Web -- Towards a Unified Model of Preference-Based Argumentation -- Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data. |
| Record Nr. | UNISA-996465524403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / / edited by Sebastian Link, Henri Prade
| Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / / edited by Sebastian Link, Henri Prade |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (373 p.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computers
Logic, Symbolic and mathematical Computer science—Mathematics Computer logic Algorithms Theory of Computation Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematics of Computing Algorithm Analysis and Problem Complexity |
| ISBN |
1-280-38573-1
9786613563651 3-642-11829-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Tools and Techniques in Qualitative Reasoning about Space -- A Simple but Formal Semantics for XML Manipulation Languages -- Algorithmic Definability and Completeness in Modal Logic -- Regular Articles -- A Probabilistic Temporal Logic That Can Model Reasoning about Evidence -- An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games -- Conjunctive Queries with Constraints: Homomorphism, Containment and Rewriting -- Enhancing Dung’s Preferred Semantics -- On the Distance of Databases -- On the Existence of Armstrong Data Trees for XML Functional Dependencies -- Polymorphism in Datalog and Inheritance in a Metamodel -- Possibilistic Semantics for Logic Programs with Ordered Disjunction -- Semantic Web Search Based on Ontological Conjunctive Queries -- Semantically Characterizing Collaborative Behavior in an Abstract Dialogue Framework -- The Relationship of the Logic of Big-Stepped Probabilities to Standard Probabilistic Logics -- Theoretical Foundations for Enabling a Web of Knowledge -- Towards Controlled Query Evaluation for Incomplete First-Order Databases -- Bagging Decision Trees on Data Sets with Classification Noise -- Evolving Schemas for Streaming XML -- ONTO-EVO A L an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation -- Towards a Paradoxical Description Logic for the Semantic Web -- Towards a Unified Model of Preference-Based Argumentation -- Two Complementary Classification Methods for Designing a Concept Lattice from Interval Data. |
| Record Nr. | UNINA-9910484488503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Guided Tour of Artificial Intelligence Research : Volume II: AI Algorithms / / edited by Pierre Marquis, Odile Papini, Henri Prade
| A Guided Tour of Artificial Intelligence Research : Volume II: AI Algorithms / / edited by Pierre Marquis, Odile Papini, Henri Prade |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (529 pages) |
| Disciplina | 006.3 |
| Soggetto topico |
Artificial intelligence
Computational intelligence Computers Artificial Intelligence Computational Intelligence Theory of Computation |
| ISBN | 3-030-06167-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the content: Heuristically Ordered Search in State Graphs -- Meta-Heuristics and Artificial Intelligence -- Automated Deduction. |
| Record Nr. | UNINA-9910483123303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Guided Tour of Artificial Intelligence Research : Volume I: Knowledge Representation, Reasoning and Learning / / edited by Pierre Marquis, Odile Papini, Henri Prade
| A Guided Tour of Artificial Intelligence Research : Volume I: Knowledge Representation, Reasoning and Learning / / edited by Pierre Marquis, Odile Papini, Henri Prade |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (808 pages) |
| Disciplina | 006.3 |
| Soggetto topico |
Computational intelligence
Artificial intelligence Data mining Computational Intelligence Artificial Intelligence Data Mining and Knowledge Discovery |
| ISBN | 3-030-06164-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the content: Elements for a History of Artificial Intelligence -- Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning -- Representations of Uncertainty in Artificial Intelligence: Probability and Possibility. |
| Record Nr. | UNINA-9910483123603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Guided Tour of Artificial Intelligence Research : Volume III: Interfaces and Applications of Artificial Intelligence / / edited by Pierre Marquis, Odile Papini, Henri Prade
| A Guided Tour of Artificial Intelligence Research : Volume III: Interfaces and Applications of Artificial Intelligence / / edited by Pierre Marquis, Odile Papini, Henri Prade |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (584 pages) : illustrations |
| Disciplina | 006.3 |
| Soggetto topico |
Computational intelligence
Artificial intelligence User interfaces (Computer systems) Computational Intelligence Artificial Intelligence User Interfaces and Human Computer Interaction |
| ISBN | 3-030-06170-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From the content: Theoretical Computer Science: Computability, Decidability and Logic -- Theoretical Computer Science: Computational Complexity -- Databases and Artificial Intelligence. |
| Record Nr. | UNINA-9910483578703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||