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.
Handbook of knowledge representation [[electronic resource] /] / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen
| Handbook of knowledge representation [[electronic resource] /] / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen |
| Autore | van Harmelen Frank |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2008 |
| Descrizione fisica | 1 online resource (1035 p.) |
| Disciplina | 006.332 |
| Altri autori (Persone) |
PorterBruce <1956->
LifschitzVladimir Van HarmelenFrank |
| Collana | Foundations of artificial intelligence |
| Soggetto topico | Knowledge representation (Information theory) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-14494-0
9786611144944 0-08-055702-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Handbook of Knowledge Representation; Copyright page; Dedication; Preface; Editors; Contributors; Contents; Part I: General Methods in Knowledge Representation and Reasoning; Chapter 1. Knowledge Representation and Classical Logic; 1.1 Knowledge Representation and Classical Logic; 1.2 Syntax, Semantics and Natural Deduction; 1.3 Automated Theorem Proving; 1.4 Applications of Automated Theorem Provers; 1.5 Suitability of Logic for Knowledge Representation; Acknowledgements; Bibliography; Chapter 2. Satisfiability Solvers; 2.1 Definitions and Notation
2.2 SAT Solver Technology-Complete Methods2.3 SAT Solver Technology-Incomplete Methods; 2.4 Runtime Variance and Problem Structure; 2.5 Beyond SAT: Quantified Boolean Formulas and Model Counting; Bibliography; Chapter 3. Description Logics; 3.1 Introduction; 3.2 A Basic DL and its Extensions; 3.3 Relationships with other Formalisms; 3.4 Tableau Based Reasoning Techniques; 3.5 Complexity; 3.6 Other Reasoning Techniques; 3.7 DLs in Ontology Language Applications; 3.8 Further Reading; Bibliography; Chapter 4. Constraint Programming; 4.1 Introduction; 4.2 Constraint Propagation; 4.3 Search 4.4 Tractability4.5 Modeling; 4.6 Soft Constraints and Optimization; 4.7 Constraint Logic Programming; 4.8 Beyond Finite Domains; 4.9 Distributed Constraint Programming; 4.10 Application Areas; 4.11 Conclusions; Bibliography; Chapter 5. Conceptual Graphs; 5.1 From Existential Graphs to Conceptual Graphs; 5.2 Common Logic; 5.3 Reasoning with Graphs; 5.4 Propositions, Situations, and Metalanguage; 5.5 Research Extensions; Bibliography; Chapter 6. Nonmonotonic Reasoning; 6.1 Introduction; 6.2 Default Logic; 6.3 Autoepistemic Logic; 6.4 Circumscription; 6.5 Nonmonotonic Inference Relations 6.6 Further Issues and ConclusionAcknowledgements; Bibliography; Chapter 7. Answer Sets; 7.1 Introduction; 7.2 Syntax and Semantics of Answer Set Prolog; 7.3 Properties of Logic Programs; 7.4 A Simple Knowledge Base; 7.5 Reasoning in Dynamic Domains; 7.6 Extensions of Answer Set Prolog; 7.7 Conclusion; Acknowledgements; Bibliography; Chapter 8. Belief Revision; 8.1 Introduction; 8.2 Preliminaries; 8.3 The AGM Paradigm; 8.4 Belief Base Change; 8.5 Multiple Belief Change; 8.6 Iterated Revision; 8.7 Non-Prioritized Revision; 8.8 Belief Update; 8.9 Conclusion; Acknowledgements; Bibliography Chapter 9. Qualitative Modeling9.1 Introduction; 9.2 Qualitative Mathematics; 9.3 Ontology; 9.4 Causality; 9.5 Compositional Modeling; 9.6 Qualitative States and Qualitative Simulation; 9.7 Qualitative Spatial Reasoning; 9.8 Qualitative Modeling Applications; 9.9 Frontiers and Resources; Bibliography; Chapter 10. Model-based Problem Solving; 10.1 Introduction; 10.2 Tasks; 10.3 Requirements on Modeling; 10.4 Diagnosis; 10.5 Test and Measurement Proposal, Diagnosability Analysis; 10.6 Remedy Proposal; 10.7 Other Tasks; 10.8 State and Challenges; Acknowledgements; Bibliography Chapter 11. Bayesian Networks |
| Record Nr. | UNINA-9910511777203321 |
van Harmelen Frank
|
||
| Amsterdam, : Elsevier, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of knowledge representation [[electronic resource] /] / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen
| Handbook of knowledge representation [[electronic resource] /] / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen |
| Autore | van Harmelen Frank |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2008 |
| Descrizione fisica | 1 online resource (1035 p.) |
| Disciplina | 006.332 |
| Altri autori (Persone) |
PorterBruce <1956->
LifschitzVladimir Van HarmelenFrank |
| Collana | Foundations of artificial intelligence |
| Soggetto topico | Knowledge representation (Information theory) |
| ISBN |
1-281-14494-0
9786611144944 0-08-055702-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Handbook of Knowledge Representation; Copyright page; Dedication; Preface; Editors; Contributors; Contents; Part I: General Methods in Knowledge Representation and Reasoning; Chapter 1. Knowledge Representation and Classical Logic; 1.1 Knowledge Representation and Classical Logic; 1.2 Syntax, Semantics and Natural Deduction; 1.3 Automated Theorem Proving; 1.4 Applications of Automated Theorem Provers; 1.5 Suitability of Logic for Knowledge Representation; Acknowledgements; Bibliography; Chapter 2. Satisfiability Solvers; 2.1 Definitions and Notation
2.2 SAT Solver Technology-Complete Methods2.3 SAT Solver Technology-Incomplete Methods; 2.4 Runtime Variance and Problem Structure; 2.5 Beyond SAT: Quantified Boolean Formulas and Model Counting; Bibliography; Chapter 3. Description Logics; 3.1 Introduction; 3.2 A Basic DL and its Extensions; 3.3 Relationships with other Formalisms; 3.4 Tableau Based Reasoning Techniques; 3.5 Complexity; 3.6 Other Reasoning Techniques; 3.7 DLs in Ontology Language Applications; 3.8 Further Reading; Bibliography; Chapter 4. Constraint Programming; 4.1 Introduction; 4.2 Constraint Propagation; 4.3 Search 4.4 Tractability4.5 Modeling; 4.6 Soft Constraints and Optimization; 4.7 Constraint Logic Programming; 4.8 Beyond Finite Domains; 4.9 Distributed Constraint Programming; 4.10 Application Areas; 4.11 Conclusions; Bibliography; Chapter 5. Conceptual Graphs; 5.1 From Existential Graphs to Conceptual Graphs; 5.2 Common Logic; 5.3 Reasoning with Graphs; 5.4 Propositions, Situations, and Metalanguage; 5.5 Research Extensions; Bibliography; Chapter 6. Nonmonotonic Reasoning; 6.1 Introduction; 6.2 Default Logic; 6.3 Autoepistemic Logic; 6.4 Circumscription; 6.5 Nonmonotonic Inference Relations 6.6 Further Issues and ConclusionAcknowledgements; Bibliography; Chapter 7. Answer Sets; 7.1 Introduction; 7.2 Syntax and Semantics of Answer Set Prolog; 7.3 Properties of Logic Programs; 7.4 A Simple Knowledge Base; 7.5 Reasoning in Dynamic Domains; 7.6 Extensions of Answer Set Prolog; 7.7 Conclusion; Acknowledgements; Bibliography; Chapter 8. Belief Revision; 8.1 Introduction; 8.2 Preliminaries; 8.3 The AGM Paradigm; 8.4 Belief Base Change; 8.5 Multiple Belief Change; 8.6 Iterated Revision; 8.7 Non-Prioritized Revision; 8.8 Belief Update; 8.9 Conclusion; Acknowledgements; Bibliography Chapter 9. Qualitative Modeling9.1 Introduction; 9.2 Qualitative Mathematics; 9.3 Ontology; 9.4 Causality; 9.5 Compositional Modeling; 9.6 Qualitative States and Qualitative Simulation; 9.7 Qualitative Spatial Reasoning; 9.8 Qualitative Modeling Applications; 9.9 Frontiers and Resources; Bibliography; Chapter 10. Model-based Problem Solving; 10.1 Introduction; 10.2 Tasks; 10.3 Requirements on Modeling; 10.4 Diagnosis; 10.5 Test and Measurement Proposal, Diagnosability Analysis; 10.6 Remedy Proposal; 10.7 Other Tasks; 10.8 State and Challenges; Acknowledgements; Bibliography Chapter 11. Bayesian Networks |
| Record Nr. | UNINA-9910784509403321 |
|
van Harmelen Frank
|
||
| Amsterdam, : Elsevier, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of knowledge representation / / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen
| Handbook of knowledge representation / / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen |
| Autore | van Harmelen Frank |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2008 |
| Descrizione fisica | 1 online resource (1035 p.) |
| Disciplina | 006.332 |
| Altri autori (Persone) |
PorterBruce <1956->
LifschitzVladimir Van HarmelenFrank |
| Collana | Foundations of artificial intelligence |
| Soggetto topico | Knowledge representation (Information theory) |
| ISBN |
1-281-14494-0
9786611144944 0-08-055702-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front cover; Handbook of Knowledge Representation; Copyright page; Dedication; Preface; Editors; Contributors; Contents; Part I: General Methods in Knowledge Representation and Reasoning; Chapter 1. Knowledge Representation and Classical Logic; 1.1 Knowledge Representation and Classical Logic; 1.2 Syntax, Semantics and Natural Deduction; 1.3 Automated Theorem Proving; 1.4 Applications of Automated Theorem Provers; 1.5 Suitability of Logic for Knowledge Representation; Acknowledgements; Bibliography; Chapter 2. Satisfiability Solvers; 2.1 Definitions and Notation
2.2 SAT Solver Technology-Complete Methods2.3 SAT Solver Technology-Incomplete Methods; 2.4 Runtime Variance and Problem Structure; 2.5 Beyond SAT: Quantified Boolean Formulas and Model Counting; Bibliography; Chapter 3. Description Logics; 3.1 Introduction; 3.2 A Basic DL and its Extensions; 3.3 Relationships with other Formalisms; 3.4 Tableau Based Reasoning Techniques; 3.5 Complexity; 3.6 Other Reasoning Techniques; 3.7 DLs in Ontology Language Applications; 3.8 Further Reading; Bibliography; Chapter 4. Constraint Programming; 4.1 Introduction; 4.2 Constraint Propagation; 4.3 Search 4.4 Tractability4.5 Modeling; 4.6 Soft Constraints and Optimization; 4.7 Constraint Logic Programming; 4.8 Beyond Finite Domains; 4.9 Distributed Constraint Programming; 4.10 Application Areas; 4.11 Conclusions; Bibliography; Chapter 5. Conceptual Graphs; 5.1 From Existential Graphs to Conceptual Graphs; 5.2 Common Logic; 5.3 Reasoning with Graphs; 5.4 Propositions, Situations, and Metalanguage; 5.5 Research Extensions; Bibliography; Chapter 6. Nonmonotonic Reasoning; 6.1 Introduction; 6.2 Default Logic; 6.3 Autoepistemic Logic; 6.4 Circumscription; 6.5 Nonmonotonic Inference Relations 6.6 Further Issues and ConclusionAcknowledgements; Bibliography; Chapter 7. Answer Sets; 7.1 Introduction; 7.2 Syntax and Semantics of Answer Set Prolog; 7.3 Properties of Logic Programs; 7.4 A Simple Knowledge Base; 7.5 Reasoning in Dynamic Domains; 7.6 Extensions of Answer Set Prolog; 7.7 Conclusion; Acknowledgements; Bibliography; Chapter 8. Belief Revision; 8.1 Introduction; 8.2 Preliminaries; 8.3 The AGM Paradigm; 8.4 Belief Base Change; 8.5 Multiple Belief Change; 8.6 Iterated Revision; 8.7 Non-Prioritized Revision; 8.8 Belief Update; 8.9 Conclusion; Acknowledgements; Bibliography Chapter 9. Qualitative Modeling9.1 Introduction; 9.2 Qualitative Mathematics; 9.3 Ontology; 9.4 Causality; 9.5 Compositional Modeling; 9.6 Qualitative States and Qualitative Simulation; 9.7 Qualitative Spatial Reasoning; 9.8 Qualitative Modeling Applications; 9.9 Frontiers and Resources; Bibliography; Chapter 10. Model-based Problem Solving; 10.1 Introduction; 10.2 Tasks; 10.3 Requirements on Modeling; 10.4 Diagnosis; 10.5 Test and Measurement Proposal, Diagnosability Analysis; 10.6 Remedy Proposal; 10.7 Other Tasks; 10.8 State and Challenges; Acknowledgements; Bibliography Chapter 11. Bayesian Networks |
| Record Nr. | UNINA-9910822759403321 |
|
van Harmelen Frank
|
||
| Amsterdam, : Elsevier, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A semantic Web primer [[electronic resource] /] / Grigoris Antoniou and Frank van Harmelen
| A semantic Web primer [[electronic resource] /] / Grigoris Antoniou and Frank van Harmelen |
| Autore | Antoniou G (Grigoris) |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, c2008 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 025.04 |
| Altri autori (Persone) | Van HarmelenFrank |
| Collana | Cooperative information systems |
| Soggetto topico | Semantic Web |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-262-30940-8
1-282-09604-4 0-262-25563-4 9786612096044 1-4356-3522-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Brief Contents""; ""Contents""; ""List of Figures""; ""Series Foreword""; ""Preface""; ""1 The Semantic Web Vision""; ""2 Structured Web Documents: XML""; ""3 Describing Web Resources: RDF""; ""4 Web Ontology Language: OWL""; ""5 Logic and Inference: Rules""; ""6 Applications""; ""7 Ontology Engineering""; ""8 Conclusion and Outlook""; ""A Abstract OWL Syntax""; ""Index"" |
| Record Nr. | UNINA-9910452175603321 |
|
Antoniou G (Grigoris)
|
||
| Cambridge, Mass., : MIT Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A semantic Web primer [[electronic resource] /] / Grigoris Antoniou and Frank van Harmelen
| A semantic Web primer [[electronic resource] /] / Grigoris Antoniou and Frank van Harmelen |
| Autore | Antoniou G (Grigoris) |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, c2008 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 025.04 |
| Altri autori (Persone) | Van HarmelenFrank |
| Collana | Cooperative information systems |
| Soggetto topico | Semantic Web |
| ISBN |
0-262-30940-8
1-282-09604-4 0-262-25563-4 9786612096044 1-4356-3522-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Brief Contents""; ""Contents""; ""List of Figures""; ""Series Foreword""; ""Preface""; ""1 The Semantic Web Vision""; ""2 Structured Web Documents: XML""; ""3 Describing Web Resources: RDF""; ""4 Web Ontology Language: OWL""; ""5 Logic and Inference: Rules""; ""6 Applications""; ""7 Ontology Engineering""; ""8 Conclusion and Outlook""; ""A Abstract OWL Syntax""; ""Index"" |
| Record Nr. | UNINA-9910778336103321 |
|
Antoniou G (Grigoris)
|
||
| Cambridge, Mass., : MIT Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A semantic Web primer [[electronic resource] /] / Grigoris Antoniou and Frank van Harmelen
| A semantic Web primer [[electronic resource] /] / Grigoris Antoniou and Frank van Harmelen |
| Autore | Antoniou G (Grigoris) |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, c2008 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 025.04 |
| Altri autori (Persone) | Van HarmelenFrank |
| Collana | Cooperative information systems |
| Soggetto topico | Semantic Web |
| ISBN |
0-262-30940-8
1-282-09604-4 0-262-25563-4 9786612096044 1-4356-3522-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Brief Contents""; ""Contents""; ""List of Figures""; ""Series Foreword""; ""Preface""; ""1 The Semantic Web Vision""; ""2 Structured Web Documents: XML""; ""3 Describing Web Resources: RDF""; ""4 Web Ontology Language: OWL""; ""5 Logic and Inference: Rules""; ""6 Applications""; ""7 Ontology Engineering""; ""8 Conclusion and Outlook""; ""A Abstract OWL Syntax""; ""Index"" |
| Record Nr. | UNINA-9910815319903321 |
|
Antoniou G (Grigoris)
|
||
| Cambridge, Mass., : MIT Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards the semantic web [[electronic resource] ] : ontology-driven knowledge management / / edited by John Davies, Dieter Fensel, and Frank van Harmelen
| Towards the semantic web [[electronic resource] ] : ontology-driven knowledge management / / edited by John Davies, Dieter Fensel, and Frank van Harmelen |
| Pubbl/distr/stampa | Chichester, England ; ; Hoboken, NJ, : J. Wiley, c2003 |
| Descrizione fisica | 1 online resource (312 p.) |
| Disciplina |
006.3/3
658.4038 |
| Altri autori (Persone) |
DaviesJ (N. John)
FenselDieter Van HarmelenFrank |
| Soggetto topico |
Semantic Web
Ontology Knowledge acquisition (Expert systems) |
| ISBN |
1-280-27090-X
9786610270903 0-470-29947-9 0-470-85807-9 0-470-85806-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
TOWARDS THE SEMANTIC WEB; Contents; Foreword; Biographies; List of Contributors; Acknowledgments; 1 Introduction; 2 OIL and DAML+OIL: Ontology Languages for the Semantic Web; 3 A Methodology for Ontology-based Knowledge Management; 4 Ontology Management: Storing, Aligning and Maintaining Ontologies; 5 Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema; 6 Generating Ontologies for the Semantic Web: OntoBuilder; 7 OntoEdit: Collaborative Engineering of Ontologies; 8 QuizRDF: Search Technology for the Semantic Web; 9 Spectacle
10 OntoShare: Evolving Ontologies in a Knowledge Sharing System11 Ontology Middleware and Reasoning; 12 Ontology-based Knowledge Management at Work: The Swiss Life Case Studies; 13 Field Experimenting with Semantic Web Tools in a Virtual Organization; 14 A Future Perspective: Exploiting Peer-to-Peer and the Semantic Web for Knowledge Management; 15 Conclusions: Ontology-driven Knowledge Management - Towards the Semantic Web?; References; Index |
| Record Nr. | UNINA-9910142529403321 |
| Chichester, England ; ; Hoboken, NJ, : J. Wiley, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||