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.
Knowledge Science, Engineering and Management [[electronic resource] ] : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings / / edited by Jérôme Lang, Fangzhen Lin, Ju Wang
| Knowledge Science, Engineering and Management [[electronic resource] ] : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings / / edited by Jérôme Lang, Fangzhen Lin, Ju Wang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVI, 664 p.) |
| Disciplina | 005.741 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Data structures (Computer science)
Artificial intelligence Information storage and retrieval Application software Database management Pattern recognition Data Structures and Information Theory Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) Database Management Pattern Recognition |
| ISBN | 3-540-37035-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules -- Towards a Software/Knowware Co-engineering -- Modeling and Evaluation of Technology Creation Process in Academia -- Knowledge Management Systems (KMS) Continuance in Organizations: A Social Relational Perspective -- Regular Papers -- Modelling the Interaction Between Objects: Roles as Affordances -- Knowledge Acquisition for Diagnosis in Cellular Networks Based on Bayesian Networks -- Building Conceptual Knowledge for Managing Learning Paths in e-Learning -- Measuring Similarity in the Semantic Representation of Moving Objects in Video -- A Case Study for CTL Model Update -- Modeling Strategic Beliefs with Outsmarting Belief Systems -- Marker-Passing Inference in the Scone Knowledge-Base System -- Hyper Tableaux — The Third Version -- A Service-Oriented Group Awareness Model and Its Implementation -- An Outline of a Formal Ontology of Genres -- An OWL-Based Approach for RBAC with Negative Authorization -- LCS: A Linguistic Combination System for Ontology Matching -- Framework for Collaborative Knowledge Sharing and Recommendation Based on Taxonomic Partial Reputations -- On Text Mining Algorithms for Automated Maintenance of Hierarchical Knowledge Directory -- Using Word Clusters to Detect Similar Web Documents -- Construction of Concept Lattices Based on Indiscernibility Matrices -- Selection of Materialized Relations in Ontology Repository Management System -- Combining Topological and Directional Information: First Results -- Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory -- WWW Information Integration Oriented Classification Ontology Integrating Approach -- Configurations for Inference Between Causal Statements -- Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction -- Description and Generation of Computational Agents -- Knowledge Capability: A Definition and Research Model -- Quota-Based Merging Operators for Stratified Knowledge Bases -- Enumerating Minimal Explanations by Minimal Hitting Set Computation -- Observation-Based Logic of Knowledge, Belief, Desire and Intention -- Repairing Inconsistent XML Documents -- A Framework for Automated Test Generation in Intelligent Tutoring Systems -- A Study on Knowledge Creation Support in a Japanese Research Institute -- Identity Conditions for Ontological Analysis -- Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System -- Knowledge Contribution in the Online Virtual Community: Capability and Motivation -- Effective Large Scale Ontology Mapping -- A Comparative Study on Representing Units in Chinese Text Clustering -- A Description Method of Ontology Change Management Using Pi-Calculus -- On Constructing Environment Ontology for Semantic Web Services -- Knowledge Reduction in Incomplete Systems Based on ?–Tolerance Relation -- An Extension Rule Based First-Order Theorem Prover -- An Extended Meta-model for Workflow Resource Model -- Knowledge Reduction Based on Evidence Reasoning Theory in Ordered Information Systems -- A Novel Maximum Distribution Reduction Algorithm for Inconsistent Decision Tables -- An ICA-Based Multivariate Discretization Algorithm -- An Empirical Study of What Drives Users to Share Knowledge in Virtual Communities -- A Method for Evaluating the Knowledge Transfer Ability in Organization -- Information Extraction from Semi-structured Web Documents -- Si-SEEKER: Ontology-Based Semantic Search over Databases -- Efficient Computation of Multi-feature Data Cubes -- NKIMathE – A Multi-purpose Knowledge Management Environment for Mathematical Concepts -- Linguistic Knowledge Representation and Automatic Acquisition Based on a Combination of Ontology with Statistical Method -- Toward Formalizing Usefulness in Propositional Language. |
| Record Nr. | UNISA-996465595303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Science, Engineering and Management : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings / / edited by Jérôme Lang, Fangzhen Lin, Ju Wang
| Knowledge Science, Engineering and Management : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings / / edited by Jérôme Lang, Fangzhen Lin, Ju Wang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XVI, 664 p.) |
| Disciplina | 005.741 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Data structures (Computer science)
Artificial intelligence Information storage and retrieval Application software Database management Pattern recognition Data Structures and Information Theory Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) Database Management Pattern Recognition |
| ISBN | 3-540-37035-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules -- Towards a Software/Knowware Co-engineering -- Modeling and Evaluation of Technology Creation Process in Academia -- Knowledge Management Systems (KMS) Continuance in Organizations: A Social Relational Perspective -- Regular Papers -- Modelling the Interaction Between Objects: Roles as Affordances -- Knowledge Acquisition for Diagnosis in Cellular Networks Based on Bayesian Networks -- Building Conceptual Knowledge for Managing Learning Paths in e-Learning -- Measuring Similarity in the Semantic Representation of Moving Objects in Video -- A Case Study for CTL Model Update -- Modeling Strategic Beliefs with Outsmarting Belief Systems -- Marker-Passing Inference in the Scone Knowledge-Base System -- Hyper Tableaux — The Third Version -- A Service-Oriented Group Awareness Model and Its Implementation -- An Outline of a Formal Ontology of Genres -- An OWL-Based Approach for RBAC with Negative Authorization -- LCS: A Linguistic Combination System for Ontology Matching -- Framework for Collaborative Knowledge Sharing and Recommendation Based on Taxonomic Partial Reputations -- On Text Mining Algorithms for Automated Maintenance of Hierarchical Knowledge Directory -- Using Word Clusters to Detect Similar Web Documents -- Construction of Concept Lattices Based on Indiscernibility Matrices -- Selection of Materialized Relations in Ontology Repository Management System -- Combining Topological and Directional Information: First Results -- Measuring Conflict Between Possibilistic Uncertain Information Through Belief Function Theory -- WWW Information Integration Oriented Classification Ontology Integrating Approach -- Configurations for Inference Between Causal Statements -- Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction -- Description and Generation of Computational Agents -- Knowledge Capability: A Definition and Research Model -- Quota-Based Merging Operators for Stratified Knowledge Bases -- Enumerating Minimal Explanations by Minimal Hitting Set Computation -- Observation-Based Logic of Knowledge, Belief, Desire and Intention -- Repairing Inconsistent XML Documents -- A Framework for Automated Test Generation in Intelligent Tutoring Systems -- A Study on Knowledge Creation Support in a Japanese Research Institute -- Identity Conditions for Ontological Analysis -- Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System -- Knowledge Contribution in the Online Virtual Community: Capability and Motivation -- Effective Large Scale Ontology Mapping -- A Comparative Study on Representing Units in Chinese Text Clustering -- A Description Method of Ontology Change Management Using Pi-Calculus -- On Constructing Environment Ontology for Semantic Web Services -- Knowledge Reduction in Incomplete Systems Based on ?–Tolerance Relation -- An Extension Rule Based First-Order Theorem Prover -- An Extended Meta-model for Workflow Resource Model -- Knowledge Reduction Based on Evidence Reasoning Theory in Ordered Information Systems -- A Novel Maximum Distribution Reduction Algorithm for Inconsistent Decision Tables -- An ICA-Based Multivariate Discretization Algorithm -- An Empirical Study of What Drives Users to Share Knowledge in Virtual Communities -- A Method for Evaluating the Knowledge Transfer Ability in Organization -- Information Extraction from Semi-structured Web Documents -- Si-SEEKER: Ontology-Based Semantic Search over Databases -- Efficient Computation of Multi-feature Data Cubes -- NKIMathE – A Multi-purpose Knowledge Management Environment for Mathematical Concepts -- Linguistic Knowledge Representation and Automatic Acquisition Based on a Combination of Ontology with Statistical Method -- Toward Formalizing Usefulness in Propositional Language. |
| Record Nr. | UNINA-9910484941403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub
| Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 656 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Discrete mathematics Computers Computer science—Mathematics Computer logic Mathematical logic Artificial Intelligence Discrete Mathematics Theory of Computation Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Soggetto genere / forma |
Kongress.
Potsdam (2009) |
| ISBN | 3-642-04238-4 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1. Invited Talks -- SAT, SMT and Applications -- Logic-Based Modeling in Systems Biology -- Integrating Answer Set Programming and Satisfiability Modulo Theories -- Session 2. Technical Papers -- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP -- Splitting a CR-Prolog Program -- Contextual Argumentation in Ambient Intelligence -- Argumentation Context Systems: A Framework for Abstract Group Argumentation -- A Revised Concept of Safety for General Answer Set Programs -- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs -- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs -- Complexity of the Stable Model Semantics for Queries on Incomplete Databases -- Manifold Answer-Set Programs for Meta-reasoning -- A Deductive System for FO(ID) Based on Least Fixpoint Logic -- Computing Stable Models via Reductions to Difference Logic -- A Module-Based Framework for Multi-language Constraint Modeling -- Induction on Failure: Learning Connected Horn Theories -- On Reductive Semantics of Aggregates in Answer Set Programming -- A First Order Forward Chaining Approach for Answer Set Computing -- Knowledge Qualification through Argumentation -- Simple Random Logic Programs -- Max-ASP: Maximum Satisfiability of Answer Set Programs -- Belief Revision with Bounded Treewidth -- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection -- A Default Approach to Semantics of Logic Programs with Constraint Atoms -- The Complexity of Circumscriptive Inference in Post’s Lattice -- Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs -- Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence -- Weight Constraint Programs with Functions -- Session 3. Original Application Papers -- Bridging the Gap between High-Level Reasoning and Low-Level Control -- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming -- An ASP-Based System for e-Tourism -- cc? on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions -- Session 4. Short Papers -- Translating Preferred Answer Set Programs to Propositional Logic -- CR-Prolog as a Specification Language for Constraint Satisfaction Problems -- Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using -- Computing Weighted Solutions in Answer Set Programming -- Representing Multi-agent Planning in CLP -- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results -- AQL: A Query Language for Action Domains Modelled Using Answer Set Programming -- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs -- Layer Supported Models of Logic Programs -- Applying ASP to UML Model Validation -- The Logical Consequence Role in LPNMR: A Parameterized Computation Approach -- Social Default Theories -- Session 5. System Descriptions -- nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver -- An ASP System with Functions, Lists, and Sets -- A Simple Distributed Conflict-Driven Answer Set Solver -- An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic -- On the Input Language of ASP Grounder Gringo -- The Conflict-Driven Answer Set Solver clasp: Progress Report -- System f2lp – Computing Answer Sets of First-Order Formulas -- The First Version of a New ASP Solver : ASPeRiX -- An ASP-Based Data Integration System -- Gorgias-C: Extending Argumentation with Constraint Solving -- Session 6. Summaries of Existing Successful Applications Papers -- ANTON: Composing Logic and Logic Composing -- Modelling Normative Frameworks Using Answer Set Programing -- Generating Optimal Code Using Answer Set Programming -- Logic Programming Techniques in Protein Structure Determination: Methodologies and Results -- PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming -- HAPLO-ASP: Haplotype Inference Using Answer Set Programming -- Using Answer Set Programming to Enhance Operating System Discovery -- Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System -- Session 7. Short Application Papers -- Some DLV Applications for Knowledge Management -- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs -- Optimal Multicore Scheduling: An Application of ASP Techniques -- Session 8 (Panel on Future Applications). Position Papers by the Panelists -- From Data Integration towards Knowledge Mediation -- Integrating Answer Set Modules into Agent Programs -- What Next for ASP? (A Not-Entirely-Well-Informed Opinion) -- Using Lightweight Inference to Solve Lightweight Problems -- Present and Future Challenges for ASP Systems -- ASP: The Future Is Bright -- Exploiting ASP in Real-World Applications: Main Strengths and Challenges -- Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode -- Towards an Embedded Approach to Declarative Problem Solving in ASP -- System Competition. Summary of System Competition -- The Second Answer Set Programming Competition. |
| Record Nr. | UNISA-996465325703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub
| Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings / / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 656 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Discrete mathematics Computers Computer science—Mathematics Computer logic Mathematical logic Artificial Intelligence Discrete Mathematics Theory of Computation Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Soggetto genere / forma |
Kongress.
Potsdam (2009) |
| ISBN | 3-642-04238-4 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session 1. Invited Talks -- SAT, SMT and Applications -- Logic-Based Modeling in Systems Biology -- Integrating Answer Set Programming and Satisfiability Modulo Theories -- Session 2. Technical Papers -- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP -- Splitting a CR-Prolog Program -- Contextual Argumentation in Ambient Intelligence -- Argumentation Context Systems: A Framework for Abstract Group Argumentation -- A Revised Concept of Safety for General Answer Set Programs -- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs -- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs -- Complexity of the Stable Model Semantics for Queries on Incomplete Databases -- Manifold Answer-Set Programs for Meta-reasoning -- A Deductive System for FO(ID) Based on Least Fixpoint Logic -- Computing Stable Models via Reductions to Difference Logic -- A Module-Based Framework for Multi-language Constraint Modeling -- Induction on Failure: Learning Connected Horn Theories -- On Reductive Semantics of Aggregates in Answer Set Programming -- A First Order Forward Chaining Approach for Answer Set Computing -- Knowledge Qualification through Argumentation -- Simple Random Logic Programs -- Max-ASP: Maximum Satisfiability of Answer Set Programs -- Belief Revision with Bounded Treewidth -- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection -- A Default Approach to Semantics of Logic Programs with Constraint Atoms -- The Complexity of Circumscriptive Inference in Post’s Lattice -- Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs -- Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence -- Weight Constraint Programs with Functions -- Session 3. Original Application Papers -- Bridging the Gap between High-Level Reasoning and Low-Level Control -- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming -- An ASP-Based System for e-Tourism -- cc? on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions -- Session 4. Short Papers -- Translating Preferred Answer Set Programs to Propositional Logic -- CR-Prolog as a Specification Language for Constraint Satisfaction Problems -- Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using -- Computing Weighted Solutions in Answer Set Programming -- Representing Multi-agent Planning in CLP -- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results -- AQL: A Query Language for Action Domains Modelled Using Answer Set Programming -- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs -- Layer Supported Models of Logic Programs -- Applying ASP to UML Model Validation -- The Logical Consequence Role in LPNMR: A Parameterized Computation Approach -- Social Default Theories -- Session 5. System Descriptions -- nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver -- An ASP System with Functions, Lists, and Sets -- A Simple Distributed Conflict-Driven Answer Set Solver -- An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic -- On the Input Language of ASP Grounder Gringo -- The Conflict-Driven Answer Set Solver clasp: Progress Report -- System f2lp – Computing Answer Sets of First-Order Formulas -- The First Version of a New ASP Solver : ASPeRiX -- An ASP-Based Data Integration System -- Gorgias-C: Extending Argumentation with Constraint Solving -- Session 6. Summaries of Existing Successful Applications Papers -- ANTON: Composing Logic and Logic Composing -- Modelling Normative Frameworks Using Answer Set Programing -- Generating Optimal Code Using Answer Set Programming -- Logic Programming Techniques in Protein Structure Determination: Methodologies and Results -- PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming -- HAPLO-ASP: Haplotype Inference Using Answer Set Programming -- Using Answer Set Programming to Enhance Operating System Discovery -- Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System -- Session 7. Short Application Papers -- Some DLV Applications for Knowledge Management -- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs -- Optimal Multicore Scheduling: An Application of ASP Techniques -- Session 8 (Panel on Future Applications). Position Papers by the Panelists -- From Data Integration towards Knowledge Mediation -- Integrating Answer Set Modules into Agent Programs -- What Next for ASP? (A Not-Entirely-Well-Informed Opinion) -- Using Lightweight Inference to Solve Lightweight Problems -- Present and Future Challenges for ASP Systems -- ASP: The Future Is Bright -- Exploiting ASP in Real-World Applications: Main Strengths and Challenges -- Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode -- Towards an Embedded Approach to Declarative Problem Solving in ASP -- System Competition. Summary of System Competition -- The Second Answer Set Programming Competition. |
| Record Nr. | UNINA-9910484473503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-disciplinary Trends in Artificial Intelligence [[electronic resource] ] : 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings / / edited by Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya Nayak
| Multi-disciplinary Trends in Artificial Intelligence [[electronic resource] ] : 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings / / edited by Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya Nayak |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 314 p. 82 illus.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Optical data processing Algorithms Application software Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Image Processing and Computer Vision Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Pattern Recognition |
| ISBN | 3-319-49397-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cognitive science -- Computational intelligence -- Computational philosophy -- Game theory -- Machine learning -- Multi-agent systems -- Natural language -- Representation and reasoning -- Speech -- Vision and the web -- Applications of AI in big data; Bioinformatics -- Biometrics -- Decision support -- E-commerce -- Image processing -- Analysis and retrieval -- Industrial applications -- Knowledge management -- Privacy -- Recommender systems -- Security -- Software engineering -- Spam filtering -- Surveillance -- Telecommunications -- Web services. |
| Record Nr. | UNISA-996465512503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multi-disciplinary Trends in Artificial Intelligence : 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings / / edited by Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya Nayak
| Multi-disciplinary Trends in Artificial Intelligence : 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings / / edited by Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya Nayak |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 314 p. 82 illus.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Optical data processing Algorithms Application software Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Image Processing and Computer Vision Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Pattern Recognition |
| ISBN | 3-319-49397-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cognitive science -- Computational intelligence -- Computational philosophy -- Game theory -- Machine learning -- Multi-agent systems -- Natural language -- Representation and reasoning -- Speech -- Vision and the web -- Applications of AI in big data; Bioinformatics -- Biometrics -- Decision support -- E-commerce -- Image processing -- Analysis and retrieval -- Industrial applications -- Knowledge management -- Privacy -- Recommender systems -- Security -- Software engineering -- Spam filtering -- Surveillance -- Telecommunications -- Web services. |
| Record Nr. | UNINA-9910484938703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering [[electronic resource] ] : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
| Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering [[electronic resource] ] : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 259 p. 37 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Application software Data mining Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery |
| ISBN | 3-319-49493-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Understanding Author Intentions: Test Driven Knowledge Graph Construction -- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey -- Navigational and Rule-Based Languages for Graph Databases -- LOD Lab: Scalable Linked Data Processing -- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases -- From Fuzzy to Annotated Semantic Web Languages -- Applying Machine Reasoning and Learning in Real World Applications. |
| Record Nr. | UNISA-996465736103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
| Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / / edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 259 p. 37 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Application software Data mining Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery |
| ISBN | 3-319-49493-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Understanding Author Intentions: Test Driven Knowledge Graph Construction -- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey -- Navigational and Rule-Based Languages for Graph Databases -- LOD Lab: Scalable Linked Data Processing -- Inconsistency-Tolerant Querying of Description Logic Knowledge Bases -- From Fuzzy to Annotated Semantic Web Languages -- Applying Machine Reasoning and Learning in Real World Applications. |
| Record Nr. | UNINA-9910484584603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||