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.
Vivid logic : Knowledge-based reasoning with two kinds of negation / Gerd Wagner
| Vivid logic : Knowledge-based reasoning with two kinds of negation / Gerd Wagner |
| Autore | Wagner, Gerd <1957- > |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | XII, 148 p. ; 24 cm |
| Disciplina |
006.3
006.33 |
| Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
| Soggetto topico |
Sistema esperto
Logica simbolica Logica matematica |
| ISBN |
0387576045
3540576045 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10005707 |
Wagner, Gerd <1957- >
|
||
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Web Reasoning and Rule Systems [[electronic resource] ] : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings / / edited by Pascal Hitzler, Thomas Lukasiewicz
| Web Reasoning and Rule Systems [[electronic resource] ] : Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings / / edited by Pascal Hitzler, Thomas Lukasiewicz |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 259 p. 43 illus.) |
| Disciplina | 006.33 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Computer communication systems
Computer engineering Software engineering Application software Computers Information storage and retrieval Computer Communication Networks Computer Engineering Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Information Systems and Communication Service Information Storage and Retrieval |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-38924-9
9786613567161 3-642-15918-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks and Tutorial -- Query Answering under Non-guarded Rules in Datalog+/- -- Data Validation with OWL Integrity Constraints -- SPARQL1.1: New Features and Friends (OWL2, RIF) -- Full Papers -- Usability of a Visual Language for DL Concept Descriptions -- A Rule-Based Language for Complex Event Processing and Reasoning -- Analyzing the AIR Language: A Semantic Web (Production) Rule Language -- Query-Based Access Control for Ontologies -- On the Semantic Relationship between Datalog and Description Logics -- Inconsistency-Tolerant Semantics for Description Logics -- Extending Paraconsistent -- Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries -- Defeasibility in Answer Set Programs via Argumentation Theories -- Short Papers -- A Rule-Based Approach to XML Processing and Web Reasoning -- Learning to Rank Individuals in Description Logics Using Kernel Perceptrons -- A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies -- Secrecy-Preserving Query Answering for Instance Checking in -- Embeddings of Simple Modular Extended RDF -- KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge -- Poster/Position Papers -- Composition of Semantic Web Services in a Constructive Description Logic -- A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules -- Rule-Based Spam E-mail Annotation -- A RESTful SWRL Rule Editor -- PhD Description -- On the Termination of the Chase Algorithm -- System Descriptions -- Processing RIF and OWL2RL within DLVHEX -- A RPL through RDF: Expressive Navigation in RDF Graphs. |
| Record Nr. | UNISA-996465905503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Wissensmanagement, Kompetenzmanagement und Modelltheorie [[electronic resource] ] : Ein Integrationsansatz zum erfolgreichen Transfer von Expertise in betrieblichen Abläufen / / Bernhard Mayr
| Wissensmanagement, Kompetenzmanagement und Modelltheorie [[electronic resource] ] : Ein Integrationsansatz zum erfolgreichen Transfer von Expertise in betrieblichen Abläufen / / Bernhard Mayr |
| Autore | Mayr Bernhard |
| Pubbl/distr/stampa | Hamburg, : Diplomica Verlag, 2009 |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina | 006.33 |
| Soggetto topico | Knowledge management |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-8366-2091-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Wissensmanagement,Kompetenzmanagement und Modelltheorie; Inhaltsverzeichnis; 1 Einleitung und Motivation; 2 Grundlagen für Organisationales Lernen; 3 Wissensmanagement; 4 Kompetenzmanagement; 5 Integration von Wissensmanagement und Kompetenzmanagement in einem modelltheoretischenAnsatz; 6 Zusammenfassung; 7 Ausblick; 8 Anhang A: Zusammenfassung der Experteninterviews; 9 Anhang B: Lebenslauf des Autors; 10 Abbildungs- und Tabellenverzeichnis; 11 Literatur |
| Record Nr. | UNINA-9910458916903321 |
|
Mayr Bernhard
|
||
| Hamburg, : Diplomica Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Wissensmanagement, Kompetenzmanagement und Modelltheorie [[electronic resource] ] : Ein Integrationsansatz zum erfolgreichen Transfer von Expertise in betrieblichen Abläufen / / Bernhard Mayr
| Wissensmanagement, Kompetenzmanagement und Modelltheorie [[electronic resource] ] : Ein Integrationsansatz zum erfolgreichen Transfer von Expertise in betrieblichen Abläufen / / Bernhard Mayr |
| Autore | Mayr Bernhard |
| Pubbl/distr/stampa | Hamburg, : Diplomica Verlag, 2009 |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina | 006.33 |
| Soggetto topico | Knowledge management |
| ISBN | 3-8366-2091-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Wissensmanagement,Kompetenzmanagement und Modelltheorie; Inhaltsverzeichnis; 1 Einleitung und Motivation; 2 Grundlagen für Organisationales Lernen; 3 Wissensmanagement; 4 Kompetenzmanagement; 5 Integration von Wissensmanagement und Kompetenzmanagement in einem modelltheoretischenAnsatz; 6 Zusammenfassung; 7 Ausblick; 8 Anhang A: Zusammenfassung der Experteninterviews; 9 Anhang B: Lebenslauf des Autors; 10 Abbildungs- und Tabellenverzeichnis; 11 Literatur |
| Record Nr. | UNINA-9910785103103321 |
|
Mayr Bernhard
|
||
| Hamburg, : Diplomica Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Wissensmanagement, Kompetenzmanagement und Modelltheorie : Ein Integrationsansatz zum erfolgreichen Transfer von Expertise in betrieblichen Abläufen / / Bernhard Mayr
| Wissensmanagement, Kompetenzmanagement und Modelltheorie : Ein Integrationsansatz zum erfolgreichen Transfer von Expertise in betrieblichen Abläufen / / Bernhard Mayr |
| Autore | Mayr Bernhard |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hamburg, : Diplomica Verlag, 2009 |
| Descrizione fisica | 1 online resource (235 p.) |
| Disciplina | 006.33 |
| Soggetto topico | Knowledge management |
| ISBN |
9783836620918
383662091X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Wissensmanagement,Kompetenzmanagement und Modelltheorie; Inhaltsverzeichnis; 1 Einleitung und Motivation; 2 Grundlagen für Organisationales Lernen; 3 Wissensmanagement; 4 Kompetenzmanagement; 5 Integration von Wissensmanagement und Kompetenzmanagement in einem modelltheoretischenAnsatz; 6 Zusammenfassung; 7 Ausblick; 8 Anhang A: Zusammenfassung der Experteninterviews; 9 Anhang B: Lebenslauf des Autors; 10 Abbildungs- und Tabellenverzeichnis; 11 Literatur |
| Record Nr. | UNINA-9910964956903321 |
|
Mayr Bernhard
|
||
| Hamburg, : Diplomica Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Workshops proceedings of the 5th International Conference on Intelligent Environments [[electronic resource] /] / edited by Michael Schneider ... [et al.]
| Workshops proceedings of the 5th International Conference on Intelligent Environments [[electronic resource] /] / edited by Michael Schneider ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (356 p.) |
| Disciplina | 006.33 |
| Altri autori (Persone) | SchneiderMichael |
| Collana | Ambient intelligence and smart environments |
| Soggetto topico |
Ambient intelligence
Human-computer interaction |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6612454695
1-282-45469-2 9786612454691 1-60750-464-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Contents; 1st International Workshop on Digital Object Memories (DOMe'09); 1st International Workshop on RFID Technology: Concepts, Practices & Solutions (RFID'09); 4th International Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'09); 1st International Workshop on Ethical Design of Ambient Intelligence (EDAmI'09); 1st International Workshop on Smart Offices and Other Workplaces (SOOW'09); Subject Index; Author Index |
| Record Nr. | UNINA-9910457134603321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Workshops proceedings of the 5th International Conference on Intelligent Environments [[electronic resource] /] / edited by Michael Schneider ... [et al.]
| Workshops proceedings of the 5th International Conference on Intelligent Environments [[electronic resource] /] / edited by Michael Schneider ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2009 |
| Descrizione fisica | 1 online resource (356 p.) |
| Disciplina | 006.33 |
| Altri autori (Persone) | SchneiderMichael |
| Collana | Ambient intelligence and smart environments |
| Soggetto topico |
Ambient intelligence
Human-computer interaction |
| ISBN |
6612454695
1-282-45469-2 9786612454691 1-60750-464-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Preface; Contents; 1st International Workshop on Digital Object Memories (DOMe'09); 1st International Workshop on RFID Technology: Concepts, Practices & Solutions (RFID'09); 4th International Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI'09); 1st International Workshop on Ethical Design of Ambient Intelligence (EDAmI'09); 1st International Workshop on Smart Offices and Other Workplaces (SOOW'09); Subject Index; Author Index |
| Record Nr. | UNINA-9910781060003321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
XPS-99 : knowledge-based systems : survey and future directions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 3-5, 1999 : proceedings / / Frank Puppe, editor
| XPS-99 : knowledge-based systems : survey and future directions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 3-5, 1999 : proceedings / / Frank Puppe, editor |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (VIII, 236 p.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Expert systems (Computer science) |
| ISBN | 3-540-49149-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Knowledge Engineering: Survey and Future Directions -- Knowledge-Based Diagnosis – Survey and Future Directions -- Knowledge-Based Configuration- Survey and Future Directions -- Case-Based Reasoning – Survey and Future Directions -- Technical Papers: Methods -- Meeting Re-use Requirements of Real-Life Diagnosis Applications -- Towards Reusable Intelligent Scheduling Software -- Organizational Memory: Knowledge Acquisition, Integration, and Retrieval Issues -- A Competence Knowledge Base System as Part of the Organizational Memory -- Practical Evaluation of an Organizational Memory Using the Goal-Question-Metric Technique -- On Texts, Cases, and Concepts -- Integrated Case-Based Neural Network Approach to Problem Solving -- Technical Papers: Applications -- PRO_PLANT -- WEkI A Knowledge Based System of Suva for the Assignment of Companies to Risk Related Groups -- Expert System Technology in Aircraft Fleet Management – The Development of SAREX -- Experiences with a Knowledge-Based Tutoring System for Student Education in Rheumatology -- Computer Assisted Editing of Genomic Sequences – Why and how We Evaluated a Prototype -- Experiences of Using a Computer-Aided Therapy Planning for Pediatric Oncology in Clinical Routine -- Experiences with Knowledge-Based Data Cleansing at the Epidemiological Cancer Registry of Lower-Saxony. |
| Record Nr. | UNINA-9910143468703321 |
| Berlin : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
XPS-99 : knowledge-based systems : survey and future directions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 3-5, 1999 : proceedings / / Frank Puppe, editor
| XPS-99 : knowledge-based systems : survey and future directions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 3-5, 1999 : proceedings / / Frank Puppe, editor |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (VIII, 236 p.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Expert systems (Computer science) |
| ISBN | 3-540-49149-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Knowledge Engineering: Survey and Future Directions -- Knowledge-Based Diagnosis – Survey and Future Directions -- Knowledge-Based Configuration- Survey and Future Directions -- Case-Based Reasoning – Survey and Future Directions -- Technical Papers: Methods -- Meeting Re-use Requirements of Real-Life Diagnosis Applications -- Towards Reusable Intelligent Scheduling Software -- Organizational Memory: Knowledge Acquisition, Integration, and Retrieval Issues -- A Competence Knowledge Base System as Part of the Organizational Memory -- Practical Evaluation of an Organizational Memory Using the Goal-Question-Metric Technique -- On Texts, Cases, and Concepts -- Integrated Case-Based Neural Network Approach to Problem Solving -- Technical Papers: Applications -- PRO_PLANT -- WEkI A Knowledge Based System of Suva for the Assignment of Companies to Risk Related Groups -- Expert System Technology in Aircraft Fleet Management – The Development of SAREX -- Experiences with a Knowledge-Based Tutoring System for Student Education in Rheumatology -- Computer Assisted Editing of Genomic Sequences – Why and how We Evaluated a Prototype -- Experiences of Using a Computer-Aided Therapy Planning for Pediatric Oncology in Clinical Routine -- Experiences with Knowledge-Based Data Cleansing at the Epidemiological Cancer Registry of Lower-Saxony. |
| Record Nr. | UNISA-996465506703316 |
| Berlin : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Zum Verständnis des Löslichkeitskonzeptes im Chemieunterricht : der Effekt von Methoden progressiver und kollaborativer Reflexion / / Thomas Grüss-Niehaus
| Zum Verständnis des Löslichkeitskonzeptes im Chemieunterricht : der Effekt von Methoden progressiver und kollaborativer Reflexion / / Thomas Grüss-Niehaus |
| Autore | Grüss-Niehaus Thomas |
| Pubbl/distr/stampa | Berlin : , : Logos Verlag Berlin, , [2010] |
| Descrizione fisica | 1 online resource (294 pages) |
| Disciplina | 006.33 |
| Soggetto topico | Knowledge and learning |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-8325-9895-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910467072603321 |
|
Grüss-Niehaus Thomas
|
||
| Berlin : , : Logos Verlag Berlin, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
