Вы здесь

Главная

система основанная на знаниях

Связанные издания:

Knowledge Science, Engineering and Management, Part I: Proc./13th International Conference, KSEM 2020, Hangzhou, China, August 2020
Knowledge Science, Engineering and Management, Part I: Proc./14th International Conference, KSEM 2021, Tokyo, Japan, August 2021
Leveraging Applications of Formal Methods, Verification and Validation: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021
Logic and Argumentation: Proc./3rd International Conference, CLAR 2020, Hangzhou, China, April 2020
Logic and Argumentation: Proc./4th International Conference, CLAR 2021, Hangzhou, China, October 2021
Logic Programming and Nonmonotonic Reasoning: Proc./15th International Conference, LPNMR 2019, Philadelphia, PA,USA, June 2019
Logics in Artificial Intelligence: Proc./16th European Conference, JELIA 2019, Rende, Italy, May 2019
Logics in Artificial Intelligence: Proc./17th European Conference, JELIA 2021, Virtual Event, May 2021
MDATA: A New Knowledge Representation Model: Theory, Methods and Applications
Mining Intelligence and Knowledge Exploration: Proc./6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 2018
Model and Data Engineering: Proc./10th International Conference, MEDI 2021, Tallinn, Estonia, June 2021
Modeling Decisions for Artificial Intelligence: Proc./17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2020
Modeling Decisions for Artificial Intelligence: Proc./International Conference, MDAI 2019, Milan, Italy, September 2019
Multi-disciplinary Trends in Artificial Intelligence: Proc./11th International Workshop, MIWAI 2017, Gadong, Brunei, November 2017
Ontologies and Concepts in Mind and Machine: Proc./25th International Conference on Conceptual Structures, ICCS 2020, Bolzano, Italy, September 2020
Performance Evaluation and Benchmarking: Revised Selected Papers/12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 2020
Performance Evaluation and Benchmarking: Revised Selected Papers/13th TPC TC 2021, Copenhagen, Denmark, August 2021
Perspectives of System Informatics: Revised Selected Papers/12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk Russia, July 2019
Practical Aspects of Declarative Languages: Proc./22nd International Symposium, PADL 2020, New Orleans,LA,USA, January 2020
Practical Aspects of Declarative Languages: Proc./24th International Symposium, PADL 2022, Philadelphia,PA,USA, January 2022
PRIMA 2019: Principles and Practice of Multi-Agent Systems: Proc./22nd International Conference, Turin, Italy, October 2019
Reasoning Web: Declarative Artificial Intelligence: Tutorial Lectures/16th International Summer School 2020, Oslo, Norway, June 2020
Reasoning Web: Declarative Artificial Intelligence: Tutorial Lectures/17th International Summer School 2021, Leuven, Belgium, September 2021
Reasoning Web: Learning, Uncertainty, Streaming, and Scalability: Tutorial Lectures/14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 2018
Relational and Algebraic Methods in Computer Science: Proc./19th International Conference, RAMiCS 2021, Marseille, France, November 2021
Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020
Rules and Reasoning: Proc./3rd International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 2019
Rules and Reasoning: Proc./4th International Joint Conference, RuleML+RR 2020, Oslo, Norwey, June 2020
Rules and Reasoning: Proc./5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 2021
Rules and Reasoning: Proc./International Joint Conference, RuleML+RR 2017, London, UK, July 2017
Scalable Uncertainty Management: Proc./11th International Conference, SUM 2017, Granada, Spain, October 2017
Scalable Uncertainty Management: Proc./12th International Conference, SUM 2018, Milan, Italy, October 2018
Scalable Uncertainty Management: Proc./13th International Conference, SUM 2019, Compiegne, France, December 2019
Scalable Uncertainty Management: Proc./14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 2020
Semantic Systems: In the Era of Knowledge Graphs: Proc./16th International Conference on Semantic Systems, SEMANTICS 2020, Amsterdam, The Netherlands, September 2020
Semantic Technology: Proc./8th Joint International Conference, JIST 2018, Awaji, Japan, November 2018
Semantic Technology: Proc./9th International Conference, JIST 2019, Hangzhou, China, November 2019
Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops: Revised Selected Papers/ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 2020
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 2017
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./15th International Conference, ECSQARU 2019, Belgrade, Serbia, Sptember 2019
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 2021
The Semantic Web: ESWC 2020 Satelite Events: Revised Selected Papers/ESWC 2020 Satelite Events. Heraklion, Crete, Greece, May 2020
The Semantic Web : ESWC 2021 Satellite Events: Revised Selected Papers/ Virtual Event, June 2021
The Semantic Web - ISWC 2019, Part I: Proc./18th International Semantic Web Conference, Auckland, New Zealand, October 2019
The Semantic Web - ISWC 2021: Proc./20th International Semantic Web Conference: ISWC 2021, Virtual Event, October 2021
The Semantic Web: Proc./15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 2018
The Semantic Web: Proc./16th International Conference, ESWC 2019, Portoroz, Slovenia, June 2019
The Semantic Web: Proc./17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 2020
The Semantic Web: Proc./18th International Conference, ESWC 2021, Virtual Event, June 2021
Transactions on Large-Scale Data-and Knowledge-Centered Systems XLIIII