Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)

Συγγραφείς: Delgrande, James P., Glimm, Birte, Meyer, Thomas, Truszczynski, Miroslaw, Wolter, Frank

Θεματικοί όροι: Computing methodologies → Artificial intelligence, Computing methodologies → Knowledge representation and reasoning, Information systems → Information integration, Theory of computation → Semantics and reasoning, Theory of computation → Complexity theory and logic, Knowledge representation and reasoning, Applications of logics, Formal logic, Declarative representations, Theory of computation → Logic

Contrastive Antichains in Hierarchies

Συγγραφείς: Bendimerad, Anes, Lijffijt, Jefrey, Plantevit, Marc, Robardet, Céline, de Bie, Tijl

Συνεισφορές: Robardet, Céline

Πηγή: KDD'19: PROCEEDINGS OF THE 25TH ACM SIGKDD INTERNATIONAL CONFERENCCE ON KNOWLEDGE DISCOVERY AND DATA MINING
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining

Θεματικοί όροι: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Jefrey Lijffijt, Technology and Engineering, Learning in probabilistic graphical models, SUBGROUP DISCOVERY, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], 02 engineering and technology, Antichains, Pattern Mining, • Computing methodologies → Knowledge representation and reasoning, Pattern Mining ACM Reference Format: Anes Bendimerad, and Tijl De, 0202 electrical engineering, electronic engineering, information engineering, Marc Plantevit, Unsupervised learning KEYWORDS Antichains, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], CCS CONCEPTS • Mathematics of computing → Information theory, Probabilis- tic representations, Céline Robardet, Subjective Interestingness

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://biblio.ugent.be/publication/8631387/file/8631393.pdf
https://biblio.ugent.be/publication/8631387/file/8631393.pdf
https://biblio.ugent.be/publication/8631387
https://hal.archives-ouvertes.fr/hal-02114775
https://hal.archives-ouvertes.fr/hal-02114775/document
https://dblp.uni-trier.de/db/conf/kdd/kdd2019.html#BendimeradLPRB19
https://doi.org/10.1145/3292500.3330954
https://hal.science/hal-02114775v1
https://hal.science/hal-02114775v1/document
https://doi.org/10.1145/3292500.3330954
https://biblio.ugent.be/publication/8631387
http://doi.org/10.1145/3292500.3330954
https://biblio.ugent.be/publication/8631387/file/8631393
http://hdl.handle.net/1854/LU-8631387

Trust, Accountability, and Autonomy in Knowledge Graph-based AI for Self-determination

Συγγραφείς: Ibáñez, Luis-Daniel, Domingue, John, Kirrane, Sabrina, Seneviratne, Oshani, Third, Aisling, Vidal, Maria-Esther

Συνεισφορές: Luis-Daniel Ibáñez and John Domingue and Sabrina Kirrane and Oshani Seneviratne and Aisling Third and Maria-Esther Vidal, Hogan, Aidan, Horrocks, Ian, Hotho, Andreas, Kagal, Lalana

Πηγή: Transactions on Graph Data and Knowledge, Vol 1, Iss 1, Pp 9:1-9:32 (2023)

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, Computing methodologies → Knowledge representation and reasoning, Trust, Security and privacy → Human and societal aspects of security and privacy, Computer Science - Computers and Society, Computers and Society (cs.CY), Computer Science - Multiagent Systems, Accountability, Knowledge Graphs, autonomy, Autonomy, Human-centered computing → Collaborative and social computing theory, concepts and paradigms, Computing methodologies → Distributed artificial intelligence, trust, QA75.5-76.95, 16. Peace & justice, Social and professional topics → Computing / technology policy, knowledge graphs, Artificial Intelligence (cs.AI), accountability, AI, ai, Electronic computers. Computer science, ddc:004, Multiagent Systems (cs.MA)

Περιγραφή αρχείου: application/pdf; text

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2310.19503
https://doaj.org/article/1b2535601e7c423c889f3f1054e115e2
https://research.wu.ac.at/de/publications/669cbb8c-7b2b-45cb-97f0-ae9ffd0c3dc3
https://drops.dagstuhl.de/entities/document/10.4230/TGDK.1.1.9
https://eprints.soton.ac.uk/485783/

Transcepts: Connecting Entity Representations Across Conceptual Views on Spatial Information (Short Paper)

Συγγραφείς: Top, Eric J., Scheider, Simon

Συνεισφορές: Eric J. Top and Simon Scheider, Ishikawa, Toru, Fabrikant, Sara Irina, Winter, Stephan

Θεματικοί όροι: Event, Conceptual Space, Computing methodologies → Knowledge representation and reasoning, Transcept, Field, Network, Knowledge Representation, Spatial Information, Viewpoint, View, Point Of View, Object, Computing methodologies → Spatial and physical reasoning, Relation, ddc:004

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2022.19

Query Definability and Its Approximations in Ontology-based Data Management

Συγγραφείς: Cima, Gianluca, Croce, Federico, Lenzerini, Maurizio

Συνεισφορές: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Università degli Studi di Roma "La Sapienza" = Sapienza University Rome (UNIROMA), ANR-19-CHIA-0014,INTENDED,Gestion intelligente de données imparfaites(2019)

Πηγή: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management ; https://hal.science/hal-03609548 ; CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Nov 2021, Queensland, Australia. ⟨10.1145/3459637.3482466⟩

Θεματικοί όροι: Semantic Technologies, • Computing methodologies → Knowledge representation and reasoning Ontology Based Data Management, Query languages, • Information systems → Ontologies, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Θέμα γεωγραφικό: Queensland, Australia

Διαθεσιμότητα: https://hal.science/hal-03609548
https://hal.science/hal-03609548v1/document
https://hal.science/hal-03609548v1/file/Query%20Definability%20and%20Its%20Approximations%20in%20Ontology-based%20Data%20Management.pdf
https://doi.org/10.1145/3459637.3482466

Qualitative Reasoning and Data Mining

Συγγραφείς: Salhi, Yakoub

Συνεισφορές: Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: International Symposium on Temporal Representation and Reasoning (TIME) ; https://univ-artois.hal.science/hal-03301176 ; International Symposium on Temporal Representation and Reasoning (TIME), 2019, Malaga, Spain. ⟨10.4230/LIPIcs.TIME.2019.9⟩

Θεματικοί όροι: Qualitative Database, Qualitative Pattern Mining, Declarative Approach, SAT Modeling, Information systems → Data mining, Information systems → Association rules, Theory of computation → Constraint and logic programming, Computing methodologies → Knowledge representation and reasoning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Θέμα γεωγραφικό: Malaga, Spain

Διαθεσιμότητα: https://univ-artois.hal.science/hal-03301176
https://univ-artois.hal.science/hal-03301176v1/document
https://univ-artois.hal.science/hal-03301176v1/file/main.pdf
https://doi.org/10.4230/LIPIcs.TIME.2019.9

LIPIcs, Volume 147, TIME'19, Complete Volume

Συγγραφείς: Gamper, Johann, Pinchinat, Sophie, Sciavicco, Guido

Συνεισφορές: Johann Gamper and Sophie Pinchinat and Guido Sciavicco

Θεματικοί όροι: Logic, Information systems, ddc:004, Knowledge representation and reasoning, Theory of computation, Logic, Information systems, Temporal data, Computing methodologies, Knowledge representation and reasoning, Computing methodologies, Theory of computation, Temporal data

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019

LIPIcs, Volume 127, ICDT'19, Complete Volume

Συγγραφείς: Barcelo, Pablo, Calautti, Marco

Συνεισφορές: Pablo Barcelo and Marco Calautti

Θεματικοί όροι: Computing Methodologies, Knowledge Representation and Reasoning, Theory of computation, Data modeling, Incomplete, inconsistent and uncertain database Information systems, Data management systems, Data streams, Database query processing, Incomplete data, Inconsistent data, Relational database model, Database query processing, Inconsistent data, Computing Methodologies, Incomplete data, ddc:004, Incomplete, inconsistent and uncertain database Information systems, Data management systems, Relational database model, Knowledge Representation and Reasoning, Theory of computation, Data modeling, Data streams

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2019

LIPIcs, Volume 120, TIME'18, Complete Volume

Συγγραφείς: Alechina, Natasha, Nørvåg, Kjetil, Penczek, Wojciech

Συνεισφορές: Natasha Alechina and Kjetil Nørvåg and Wojciech Penczek

Θεματικοί όροι: Theory of computation, Logic, Information systems, Temporal data, Computing methodologies, Knowledge representation and reasoning, Logic, Information systems, ddc:004, Knowledge representation and reasoning, Computing methodologies, Theory of computation, Temporal data

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018

3D Annotation Transfer

Συγγραφείς: A Scalas, M Mortara, M Spagnuolo

Πηγή: 15th EUROGRAPHICS Workshop on Graphics and Cultural Heritage, pp. 77–81, Graz, Austria, September 27-29, 2017
info:cnr-pdr/source/autori:A. Scalas, M. Mortara, and M. Spagnuolo/congresso_nome:15th EUROGRAPHICS Workshop on Graphics and Cultural Heritage/congresso_luogo:Graz, Austria/congresso_data:September 27-29, 2017/anno:2017/pagina_da:77/pagina_a:81/intervallo_pagine:77–81
GCH 2017 Eurographics Workshop on Graphics and Cultural Heritage

Θεματικοί όροι: Computing methodologies : Knowledge representation and reasoning, Shape modeling

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://diglib.eg.org/handle/10.2312/gch20171295
https://dblp.uni-trier.de/db/conf/vast/gch2017.html#ScalasMS17
https://diglib.eg.org/handle/10.2312/gch20171295
https://hdl.handle.net/20.500.14243/342102
https://doi.org/10.2312/gch.20171295

Integrating Ontologies and Vector Space Embeddings Using Conceptual Spaces (Invited Paper)

Συγγραφείς: Bouraoui, Zied, Gutiérrez-Basulto, Víctor, Schockaert, Steven

Συνεισφορές: Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), Université d'Artois (UA)

Πηγή: https://hal.science/hal-04405120 ; Doctoral. Bergen, Norway. 2022.

Θεματικοί όροι: Conceptual Spaces, Ontologies, Vector Space Embeddings, Learning and Reasoning, Computing methodologies → Knowledge representation and reasoning, 2012 ACM Subject Classification Computing methodologies → Knowledge representation and reasoning phrases Conceptual Spaces, Learning and Reasoning Digital Object Identifier 10.4230/OASIcs.AIB.2022.3 Camille Bourgaux, Ana Ozaki, and Rafael Peñaloza Article No. 3 pp. 3:1-3:30 OpenAccess Series in Informatics Schloss Dagstuhl -Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, and Rafael Peñaloza, Article No. 3, pp. 3:1-3:30 OpenAccess Series in Informatics Schloss Dagstuhl -Leibniz-Zentrum für Informatik, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Θέμα γεωγραφικό: Bergen, Norway

Διαθεσιμότητα: https://hal.science/hal-04405120
https://hal.science/hal-04405120v1/document
https://hal.science/hal-04405120v1/file/AIB_2022.pdf
https://doi.org/10.4230/OASIcs.AIB.2022.3

LIPIcs, Volume 120, TIME'18, Complete Volume

Συγγραφείς: Natasha Alechina and Kjetil Nørvåg and Wojciech Penczek, Alechina, Natasha, Nørvåg, Kjetil, Penczek, Wojciech

Όροι ευρετηρίου: Theory of computation, Logic, Information systems, Temporal data, Computing methodologies, Knowledge representation and reasoning, Proceedings, Text, doc-type:ResearchArticle, publishedVersion

Σύνδεσμος: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018
Is Part Of LIPIcs, Volume 120, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)