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.
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VII, 209 p. 77 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Algorithms Computer logic Computer programming Computers Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Techniques Computation by Abstract Devices |
| ISBN | 3-642-29449-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bayesian networks -- semantic networks -- conceptual graphs -- formal concept analysis -- cp-nets -- gai-nets -- euler diagrams -- existential graphs -- semantic Web -- recommender systems.-bioinformatics. |
| Record Nr. | UNISA-996465557203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Engineering and Knowledge Management. Methods, Models, and Tools [[electronic resource] ] : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 Proceedings / / edited by Rose Dieng, Olivier Corby
| Knowledge Engineering and Knowledge Management. Methods, Models, and Tools [[electronic resource] ] : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 Proceedings / / edited by Rose Dieng, Olivier Corby |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 462 p.) |
| Disciplina | 006.3/31 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-39967-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Modelling Languages and Tools -- OIL in a Nutshell -- The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility -- A Case Study in Using Protégé-2000 as a Tool for CommonKADS -- The MOKA Modelling Language -- Md??: A Modelling Language to Build a Formal Ontology in Either Description Logics or Conceptual Graphs -- Ontologies -- Ontology’s Crossed Life Cycles -- A Roadmap to Ontology Specification Languages -- A Formal Ontology of Properties -- Construction and Deployment of a Plant Ontology -- The Role of Ontologies for an Effective and Unambiguous Dissemination of Clinical Guidelines -- Supporting Inheritance Mechanisms in Ontology Representation -- Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases -- Knowledge Acquisition from Texts -- Revisiting Ontology Design: A Method Based on Corpus Analysis -- Mining Ontologies from Text -- SVETLAN’ Or How to Classify Words Using Their Context -- Machine Learning -- KIDS: An Iterative Algorithm to Organize Relational Knowledge -- Informed Selection of Training Examples for Knowledge Refinement -- Experiences with a Generic Refinement Toolkit -- Knowledge Management & E-Commerce -- What’s in an Electronic Business Model? -- Chinese Encyclopaedias and Balinese Cockfights - Lessons for Business Process Change and Knowledge Management -- Using Problem-Solving Models to Design Efficient Cooperative Knowledge-Management Systems Based on Formalization and Traceability of Argumentation -- Integrating Textual Knowledge and Formal Knowledge for Improving Traceability -- Knowledge Management by Reusing Experience -- Problem-Solving Methods -- Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures -- The Nature of Knowledge in an Abductive Event Calculus Planner -- Adapting Tableaux for Classification -- Knowledge Representation -- Conceptual Information Systems Discussed through an IT-Security Tool -- Translations of Ripple Down Rules into Logic Formalisms -- Generalising Ripple-Down Rules -- Validation, Evaluation and Certification -- Monitoring Knowledge Acquisition Instead of Evaluating Knowledge Bases -- Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems -- Certifying KBSs: Using CommonKADS to Provide Supporting Evidence for Fitness for Purpose of KBSs -- Methodologies -- Kinesys, a Participative Approach to the Design of Knowledge Systems -- An Organizational Semiotics Model for Multi-agent Systems Design. |
| Record Nr. | UNISA-996466037603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Engineering and Knowledge Management. Methods, Models, and Tools : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 Proceedings / / edited by Rose Dieng, Olivier Corby
| Knowledge Engineering and Knowledge Management. Methods, Models, and Tools : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 Proceedings / / edited by Rose Dieng, Olivier Corby |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XIV, 462 p.) |
| Disciplina | 006.3/31 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-39967-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Modelling Languages and Tools -- OIL in a Nutshell -- The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility -- A Case Study in Using Protégé-2000 as a Tool for CommonKADS -- The MOKA Modelling Language -- Md??: A Modelling Language to Build a Formal Ontology in Either Description Logics or Conceptual Graphs -- Ontologies -- Ontology’s Crossed Life Cycles -- A Roadmap to Ontology Specification Languages -- A Formal Ontology of Properties -- Construction and Deployment of a Plant Ontology -- The Role of Ontologies for an Effective and Unambiguous Dissemination of Clinical Guidelines -- Supporting Inheritance Mechanisms in Ontology Representation -- Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases -- Knowledge Acquisition from Texts -- Revisiting Ontology Design: A Method Based on Corpus Analysis -- Mining Ontologies from Text -- SVETLAN’ Or How to Classify Words Using Their Context -- Machine Learning -- KIDS: An Iterative Algorithm to Organize Relational Knowledge -- Informed Selection of Training Examples for Knowledge Refinement -- Experiences with a Generic Refinement Toolkit -- Knowledge Management & E-Commerce -- What’s in an Electronic Business Model? -- Chinese Encyclopaedias and Balinese Cockfights - Lessons for Business Process Change and Knowledge Management -- Using Problem-Solving Models to Design Efficient Cooperative Knowledge-Management Systems Based on Formalization and Traceability of Argumentation -- Integrating Textual Knowledge and Formal Knowledge for Improving Traceability -- Knowledge Management by Reusing Experience -- Problem-Solving Methods -- Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures -- The Nature of Knowledge in an Abductive Event Calculus Planner -- Adapting Tableaux for Classification -- Knowledge Representation -- Conceptual Information Systems Discussed through an IT-Security Tool -- Translations of Ripple Down Rules into Logic Formalisms -- Generalising Ripple-Down Rules -- Validation, Evaluation and Certification -- Monitoring Knowledge Acquisition Instead of Evaluating Knowledge Bases -- Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems -- Certifying KBSs: Using CommonKADS to Provide Supporting Evidence for Fitness for Purpose of KBSs -- Methodologies -- Kinesys, a Participative Approach to the Design of Knowledge Systems -- An Organizational Semiotics Model for Multi-agent Systems Design. |
| Record Nr. | UNINA-9910143607303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||