Okładka

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Pokaż inne wersje (2)

This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial In...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
Kolejni autorzy:	Cochez, Michael (Redaktor), Croitoru, Madalina (Redaktor), Marquis, Pierre (Redaktor), Rudolph, Sebastian (Redaktor)
Format:	Elektroniczne Rozdział
Język:	angielski
Wydane:	Springer Nature 2021
Seria:	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence 12640
Hasła przedmiotowe:	Artificial intelligence Information retrieval Network hardware Computer science Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages Computer and Information Systems Applications Formal Languages and Automata Theory open access concept lattices data mining databases fca formal concept analysis formal languages formal logic information analysis information systems knowledge-based system model-based reasoning network protocols ontologies Internet searching Mathematical theory of computation
Dostęp online:	OAPEN Library: download the publication OAPEN Library: description of the publication
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Wydane: (2021)

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
Wydane: (2021)

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Wydane: (2022)

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Wydane: (2022)

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings
Wydane: (2020)

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings
Wydane: (2020)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Wydane: (2020)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Wydane: (2020)

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Wydane: (2020)

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Wydane: (2020)

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Wydane: (2021)

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Wydane: (2021)

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Wydane: (2023)

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Wydane: (2023)

Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Wydane: (2020)

Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers
Wydane: (2020)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Wydane: (2020)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Wydane: (2020)

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Wydane: (2023)

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Wydane: (2021)

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Wydane: (2021)

Entity-Oriented Search
od: Balog, Krisztian
Wydane: (2018)

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Wydane: (2022)

Knowledge Graphs and Big Data Processing
Wydane: (2020)

Knowledge Graphs and Big Data Processing
Wydane: (2020)

The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons
od: Anastasius Gavras
Wydane: (2013)

The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons
od: Galis, Alex
Wydane: (2013)

The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons
od: Galis, Alex
Wydane: (2013)

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Wydane: (2023)

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Wydane: (2023)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Wydane: (2021)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Wydane: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Wydane: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Wydane: (2021)

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
Wydane: (2019)

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
Wydane: (2019)

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings
Wydane: (2020)

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings
Wydane: (2020)

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Wydane: (2022)

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022
Wydane: (2022)