-
1مؤتمر
المؤلفون: Lehtonen, Tuomo, Wallner, Johannes P., Järvisalo, Matti
المساهمون: Calvanese, Diego, Erdem, Esra, Thielscher, Michael, Department of Computer Science, Helsinki Institute for Information Technology, Constraint Reasoning and Optimization research group / Matti Järvisalo
مصطلحات موضوعية: 113 Computer and information sciences
وصف الملف: application/pdf
العلاقة: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020); Lehtonen , T , Wallner , J P & Järvisalo , M 2020 , An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework . in D Calvanese , E Erdem & M Thielscher (eds) , Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) . International Joint Conferences on Artificial Intelligence , pp. 636-646 , International Conference on Principles of Knowledge Representation and Reasoning , Rhodes , Greece , 12/09/2020 . https://doi.org/10.24963/kr.2020/63Test; conference; ORCID: /0000-0003-2572-063X/work/88676003; ORCID: /0000-0001-6117-4854/work/88678147; 52d83b21-c43f-4574-aafa-151d9cf766d2; http://hdl.handle.net/10138/326066Test; 000720083100062
-
2مؤتمر
المؤلفون: Niskanen, Andreas, Järvisalo, Matti
المساهمون: Calvanese, Diego, Erdem, Esra, Thielscher, Michael, Constraint Reasoning and Optimization research group / Matti Järvisalo, Department of Computer Science, Helsinki Institute for Information Technology
مصطلحات موضوعية: 113 Computer and information sciences
وصف الملف: application/pdf
العلاقة: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020); Niskanen , A & Järvisalo , M 2020 , μ-toksia: An Efficient Abstract Argumentation Reasoner . in D Calvanese , E Erdem & M Thielscher (eds) , Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) . International Joint Conference on Artificial Intelligence, Inc , pp. 800-804 , International Conference on Principles of Knowledge Representation and Reasoning , Rhodes , Greece , 12/09/2020 . https://doi.org/10.24963/kr.2020/82Test; conference; ORCID: /0000-0003-2572-063X/work/88676006; ORCID: /0000-0003-3197-2075/work/88677654; 7562f093-1be0-4bf6-8d21-2d9fadec7f64; http://hdl.handle.net/10138/326063Test; 000720083100081
-
3مؤتمر
المؤلفون: Niskanen, Andreas, Järvisalo, Matti
المساهمون: Calvanese, Diego, Erdem, Esra, Thielscher, Michael, Constraint Reasoning and Optimization research group / Matti Järvisalo, Department of Computer Science, Helsinki Institute for Information Technology
مصطلحات موضوعية: 113 Computer and information sciences
وصف الملف: application/pdf
العلاقة: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020); Niskanen , A & Järvisalo , M 2020 , Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation . in D Calvanese , E Erdem & M Thielscher (eds) , Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) . International Joint Conferences on Artificial Intelligence , pp. 667-671 , International Conference on Principles of Knowledge Representation and Reasoning , Rhodes , Greece , 12/09/2020 . https://doi.org/10.24963/kr.2020/67Test; conference; ORCID: /0000-0003-2572-063X/work/88676004; ORCID: /0000-0003-3197-2075/work/88677652; e2bdde2a-4515-4366-b968-09a31e48132e; http://hdl.handle.net/10138/326064Test; 000720083100066
-
4مؤتمر
المساهمون: Thielscher, Michael, Toni, Francesca, Wolter, Frank, Constraint Reasoning and Optimization research group / Matti Järvisalo, Department of Computer Science, Helsinki Institute for Information Technology, The Finnish Center of Excellence in Computational Inference Research (COIN)
مصطلحات موضوعية: 113 Computer and information sciences
وصف الملف: application/pdf
العلاقة: Unknown funder; Principles of Knowledge Representation and Reasoning; Proceedings (International Conference on Principles of Knowledge Representation and Reasoning); Niskanen , A J A , Wallner , J & Järvisalo , M J 2018 , Extension Enforcement under Grounded Semantics in Abstract Argumentation . in M Thielscher , F Toni & F Wolter (eds) , Principles of Knowledge Representation and Reasoning : Proceedings of the Sixteenth International Conference (KR2018) . Proceedings (International Conference on Principles of Knowledge Representation and Reasoning) , AAAI Press , Palo Alto, CA , pp. 178-182 , 16th International Conference on Principles of Knowledge Representation and Reasoning , Tempe , Arizona , United States , 27/10/2018 . < https://aaai.org/ocs/index.php/KR/KR18/paper/view/18040Test >; conference; ORCID: /0000-0003-2572-063X/work/53184251; ORCID: /0000-0003-3197-2075/work/66563611; b805b8c4-8418-487b-bf08-83f4fc02cf44; http://hdl.handle.net/10138/309059Test; 000492398600021
-
5مؤتمر
المساهمون: Thielscher, Michael, Toni, Francesca, Wolter, Frank, Department of Computer Science, Helsinki Institute for Information Technology, Constraint Reasoning and Optimization research group / Matti Järvisalo, The Finnish Center of Excellence in Computational Inference Research (COIN)
مصطلحات موضوعية: 113 Computer and information sciences
وصف الملف: application/pdf
العلاقة: Unknown funder; Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018); Saikko , P H A , Dodaro , C , Alviano , M & Järvisalo , M J 2018 , A Hybrid Approach to Optimization in Answer Set Programming . in M Thielscher , F Toni & F Wolter (eds) , Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) . AAAI Press , pp. 32-41 , 16th International Conference on Principles of Knowledge Representation and Reasoning , 30/10/2018 . < https://aaai.org/ocs/index.php/KR/KR18/paper/view/18021Test >; conference; ORCID: /0000-0003-2572-063X/work/53515578; 3386fd9a-605c-4ed6-86b7-6597ace7fc0e; http://hdl.handle.net/10138/298482Test; 000492398600004
-
6
المؤلفون: Matti Järvisalo, Andreas Niskanen
المساهمون: Calvanese, Diego, Erdem, Esra, Thielscher, Michael, Constraint Reasoning and Optimization research group / Matti Järvisalo, Department of Computer Science, Helsinki Institute for Information Technology
المصدر: KR
مصطلحات موضوعية: 010201 computation theory & mathematics, Computer science, education, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0102 computer and information sciences, 02 engineering and technology, Medical diagnosis, 113 Computer and information sciences, 16. Peace & justice, 01 natural sciences, Argumentation theory, Epistemology
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c05f63cda047445456457f712d73194Test
https://doi.org/10.24963/kr.2020/67Test -
7
المؤلفون: Johannes Peter Wallner, Tuomo Lehtonen, Matti Järvisalo
المساهمون: Calvanese, Diego, Erdem, Esra, Thielscher, Michael, Department of Computer Science, Helsinki Institute for Information Technology, Constraint Reasoning and Optimization research group / Matti Järvisalo
المصدر: KR
مصطلحات موضوعية: Argumentative, Computer science, Programming language, education, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 113 Computer and information sciences, 01 natural sciences, Answer set programming, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee0bf57bf66ff8070362427f835816b2Test
http://hdl.handle.net/10138/326066Test -
8
المساهمون: Thielscher, Michael, Toni, Francesca, Wolter, Frank, Constraint Reasoning and Optimization research group / Matti Järvisalo, Department of Computer Science, Helsinki Institute for Information Technology, The Finnish Center of Excellence in Computational Inference Research (COIN)
مصطلحات موضوعية: education, 113 Computer and information sciences
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=od______1593::5257b4d69c6ad820fc4c29cd5ae6ecedTest
http://hdl.handle.net/10138/309059Test -
9
المؤلفون: Saikko, P., Carmine Dodaro, Alviano, M., Järvisalo, M.
المساهمون: Thielscher, Michael, Toni, Francesca, Wolter, Frank, Department of Computer Science, Helsinki Institute for Information Technology, Constraint Reasoning and Optimization research group / Matti Järvisalo, The Finnish Center of Excellence in Computational Inference Research (COIN)
المصدر: Scopus-Elsevier
مصطلحات موضوعية: education, 113 Computer and information sciences
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7dc978facd4b1d124df2d81af567a8d5Test
http://www.scopus.com/inward/record.url?eid=2-s2.0-85084805683&partnerID=MN8TOARSTest