Artificial Intelligence: Methodology, Systems, and Applications [[electronic resource] ] : 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings / / edited by Gennady Agre, Pascal Hitzler, Adila A. Krisnadhi, Sergei O. Kuznetsov |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIX, 302 p. 80 illus.) |
Disciplina | 004 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Information storage and retrieval Application software User interfaces (Computer systems) Computer simulation Artificial Intelligence Data Mining and Knowledge Discovery Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Simulation and Modeling |
ISBN | 3-319-10554-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Learning Probabilistic Semantic Network of Object-oriented Action and Activity -- Semantic-aware Expert Partitioning -- User-Level Opinion Propagation Analysis in Discussion Forum Threads -- Social News Feed Recommender -- Boolean Matrix Factorisation for Collaborative Filtering: An FCA-Based Approach -- Semi-Supervised Image Segmentation -- Analysis of Rumor Spreading in Communities Based on Modified SIR Model in Microblog -- Modeling a System for Decision Support in Snow Avalanche Warning -- Using Balanced Random Forest and Weighted Random Forest -- Applying Language Technologies on Healthcare Patient Records for Better Treatment of Bulgarian Diabetic Patients -- Incrementally Building Partially Path Consistent Qualitative Constraint Networks -- A Qualitative Spatio-Temporal Framework Based on Point Algebra -- Training Datasets Collection and Evaluation of Feature Selection Methods for Web Content Filtering -- Feature Selection by Distributions Contrasting -- Educational Data Mining for Analysis of Students' Solutions. |
Record Nr. | UNISA-996202526403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence: Methodology, Systems, and Applications : 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, Proceedings / / edited by Gennady Agre, Pascal Hitzler, Adila A. Krisnadhi, Sergei O. Kuznetsov |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIX, 302 p. 80 illus.) |
Disciplina | 004 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Information storage and retrieval Application software User interfaces (Computer systems) Computer simulation Artificial Intelligence Data Mining and Knowledge Discovery Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Simulation and Modeling |
ISBN | 3-319-10554-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Learning Probabilistic Semantic Network of Object-oriented Action and Activity -- Semantic-aware Expert Partitioning -- User-Level Opinion Propagation Analysis in Discussion Forum Threads -- Social News Feed Recommender -- Boolean Matrix Factorisation for Collaborative Filtering: An FCA-Based Approach -- Semi-Supervised Image Segmentation -- Analysis of Rumor Spreading in Communities Based on Modified SIR Model in Microblog -- Modeling a System for Decision Support in Snow Avalanche Warning -- Using Balanced Random Forest and Weighted Random Forest -- Applying Language Technologies on Healthcare Patient Records for Better Treatment of Bulgarian Diabetic Patients -- Incrementally Building Partially Path Consistent Qualitative Constraint Networks -- A Qualitative Spatio-Temporal Framework Based on Point Algebra -- Training Datasets Collection and Evaluation of Feature Selection Methods for Web Content Filtering -- Feature Selection by Distributions Contrasting -- Educational Data Mining for Analysis of Students' Solutions. |
Record Nr. | UNINA-9910483103603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Conceptual structures : inspiration and application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006 : proceedings / / Henrik Scharfe, Pascal Hitzler, Peter hrstrm (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, : Springer, 2006 |
Descrizione fisica | 1 online resource (XII, 460 p.) |
Disciplina | 003/.54 |
Altri autori (Persone) |
ScharfeHenrik
HitzlerPascal hrstrmPeter |
Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
Soggetto topico |
Conceptual structures (Information theory)
Graph theory Logic diagrams Knowledge representation (Information theory) Natural language processing (Computer science) |
ISBN | 3-540-35902-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Formal Ontology, Knowledge Representation and Conceptual Modelling: Old Inspirations, Still Unsolved Problems -- The Persuasive Expansion – Rhetoric, Information Architecture, and Conceptual Structure -- Revision Forever! -- Ontological Constitutions for Classes and Properties -- Peirce’s Contributions to the 21st Century -- Two Iconicity Notions in Peirce’s Diagrammatology -- Contributed Papers -- Simple Conceptual Graphs and Simple Concept Graphs -- Rules Dependencies in Backward Chaining of Conceptual Graphs Rules -- Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes -- Formal Concept Analysis with Constraints by Closure Operators -- Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery -- The MIEL++ Architecture When RDB, CGs and XML Meet for the Sake of Risk Assessment in Food Products -- Some Notes on Proofs with Alpha Graphs -- DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering -- FCA-Based Browsing and Searching of a Collection of Images -- Semantology: Basic Methods for Knowledge Representations -- The Teridentity and Peircean Algebraic Logic -- Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systems -- Querying Formal Contexts with Answer Set Programs -- Towards an Epistemic Logic of Concepts -- Development of Intelligent Systems and Multi-Agents Systems with Amine Platform -- Ontologies in Amine Platform: Structures and Processes -- Building a Pragmatic Methodology for KR Tool Research and Development -- Simple Conceptual Graphs with Atomic Negation and Difference -- A Pattern-Based Approach to Conceptual Clustering in FOL -- Karl Popper’s Critical Rationalism in Agile Software Development -- On Lattices in Access Control Models -- An Application of Relation Algebra to Lexical Databases -- A Framework for Analyzing and Testing Requirements with Actors in Conceptual Graphs -- Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation -- Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs -- Representing Wholes by Structure. |
Altri titoli varianti |
14th International Conference on Conceptual Structures
Fourteenth International Conference on Conceptual Structures ICCS 2006 |
Record Nr. | UNINA-9910484077903321 |
Berlin, : Springer, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Conceptual Structures: Inspiration and Application [[electronic resource] ] : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings / / edited by Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 460 p.) |
Disciplina | 003/.54 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Mathematical logic Algorithms Application software Artificial Intelligence Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) |
ISBN | 3-540-35902-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Formal Ontology, Knowledge Representation and Conceptual Modelling: Old Inspirations, Still Unsolved Problems -- The Persuasive Expansion – Rhetoric, Information Architecture, and Conceptual Structure -- Revision Forever! -- Ontological Constitutions for Classes and Properties -- Peirce’s Contributions to the 21st Century -- Two Iconicity Notions in Peirce’s Diagrammatology -- Contributed Papers -- Simple Conceptual Graphs and Simple Concept Graphs -- Rules Dependencies in Backward Chaining of Conceptual Graphs Rules -- Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes -- Formal Concept Analysis with Constraints by Closure Operators -- Mining a New Fault-Tolerant Pattern Type as an Alternative to Formal Concept Discovery -- The MIEL++ Architecture When RDB, CGs and XML Meet for the Sake of Risk Assessment in Food Products -- Some Notes on Proofs with Alpha Graphs -- DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering -- FCA-Based Browsing and Searching of a Collection of Images -- Semantology: Basic Methods for Knowledge Representations -- The Teridentity and Peircean Algebraic Logic -- Transaction Agent Modelling: From Experts to Concepts to Multi-Agent Systems -- Querying Formal Contexts with Answer Set Programs -- Towards an Epistemic Logic of Concepts -- Development of Intelligent Systems and Multi-Agents Systems with Amine Platform -- Ontologies in Amine Platform: Structures and Processes -- Building a Pragmatic Methodology for KR Tool Research and Development -- Simple Conceptual Graphs with Atomic Negation and Difference -- A Pattern-Based Approach to Conceptual Clustering in FOL -- Karl Popper’s Critical Rationalism in Agile Software Development -- On Lattices in Access Control Models -- An Application of Relation Algebra to Lexical Databases -- A Framework for Analyzing and Testing Requirements with Actors in Conceptual Graphs -- Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation -- Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs -- Representing Wholes by Structure. |
Record Nr. | UNISA-996465974403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Neuro-symbolic artificial intelligence : the state of the art / / edited by Pascal Hitzler and Md Kamruzzaman Sarker |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , [2022] |
Descrizione fisica | 1 online resource (410 pages) |
Disciplina | 006.3 |
Collana | Frontiers in artificial intelligence and applications |
Soggetto topico |
Artificial intelligence
Computational intelligence Artificial Intelligence Intelligence artificielle Intelligence informatique artificial intelligence |
ISBN | 1-64368-245-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910795024903321 |
Amsterdam, Netherlands : , : IOS Press, , [2022] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Neuro-symbolic artificial intelligence : the state of the art / / edited by Pascal Hitzler and Md Kamruzzaman Sarker |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , [2022] |
Descrizione fisica | 1 online resource (410 pages) |
Disciplina | 006.3 |
Collana | Frontiers in artificial intelligence and applications |
Soggetto topico |
Artificial intelligence
Computational intelligence Artificial Intelligence Intelligence artificielle Intelligence informatique artificial intelligence |
ISBN | 1-64368-245-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910825584303321 |
Amsterdam, Netherlands : , : IOS Press, , [2022] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
On the Move to Meaningful Internet Systems: OTM 2011 [[electronic resource] ] : Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II / / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XXVII, 407 p.) |
Disciplina | 004.6 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer communication systems
Software engineering Application software Artificial intelligence Algorithms Management information systems Computer science Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Artificial Intelligence Algorithm Analysis and Problem Complexity Management of Computing and Information Systems |
ISBN | 3-642-25106-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465707703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
On the Move to Meaningful Internet Systems: OTM 2011 [[electronic resource] ] : Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh K. Mohania |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XXVIII, 430 p.) |
Disciplina | 004.6 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer communication systems
Software engineering Application software Artificial intelligence Algorithms Management information systems Computer science Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Artificial Intelligence Algorithm Analysis and Problem Complexity Management of Computing and Information Systems |
ISBN | 3-642-25109-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465697403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ontology engineering with ontology design patterns : foundations and applications / / edited by Pascal Hitzler [and four others] |
Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Berlin, Germany : , : IOS Press : , : AKA, , 2016 |
Descrizione fisica | 1 online resource (388 pages) : illustrations (some color) |
Disciplina | 006.332 |
Collana | Studies on the Semantic Web |
Soggetto topico | Ontologies (Information retrieval) |
ISBN | 1-61499-676-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910154876103321 |
Amsterdam, Netherlands ; ; Berlin, Germany : , : IOS Press : , : AKA, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Semantic Web [[electronic resource] ] : 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings / / edited by Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J.G. Gray, Vanessa Lopez, Armin Haller, Karl Hammar |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XXX, 622 p. 330 illus., 104 illus. in color.) |
Disciplina | 025.0427 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Information storage and retrieval
Mathematical logic Knowledge representation (Information theory) Application software Database management Natural language processing (Computer science) Information Storage and Retrieval Mathematical Logic and Formal Languages Knowledge based Systems Information Systems Applications (incl. Internet) Database Management Natural Language Processing (NLP) |
ISBN | 3-030-21348-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466326003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|