先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


会议名18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)
中译名《第十八届国际知识表示与推理原则会议》
机构European Association for Aritificial Intelligence (EurAI)
会议日期3-12 November 2021
会议地点Online
出版年2021
馆藏号342231


题名作者出版年
Somebody KnowsThomas Agotnes; Yi N. Wang2021
Reasoning about Explanations for Non-validation in SHACLShqiponja Ahmetaj; Robert David; Magdalena Ortiz; Axel Polleres; Bojken Shehu; Mantas Simkus2021
Generalized Temporal Inference via PlanningDiego Aineto; Sergio Jimenez; Eva Onaindia2021
Equivalence of Semantics in ArgumentationLeila Amgoud; Vivien Beuselinck2021
Synthesizing Best-effort Strategies under Multiple Environment SpecificationsBenjamin Aminof; Giuseppe De Giacomo; Alessio Lomuscio; Aniello Murano; Sasha Rubin2021
Characterizations and Classifications of Argumentative EntailmentsOfer Arieli; AnneMarie Borg; Christian Strasser2021
On Free Description Logics with Definite DescriptionsAlessandro Artale; Andrea Mazzullo; Ana Ozaki; Frank Wolter2021
On the Computational Intelligibility of Boolean ClassifiersGilles Audemard; Steve Bellart; Louenas Bounia; Frederic Koriche; Jean-Marie Lagniez; Pierre Marquis2021
Admissibility in Probabilistic ArgumentationChristel Baier; Martin Diller; Clemens Dubslaff; Sarah Alice Gaggl; Holger Hermanns; Nikolai Kafer2021
Correcting Hierarchical Plans by Action DeletionRoman Bartak; Simona Ondrckova; Gregor Behnke; Pascal Bercher2021
Choices and their Consequences - Explaining Acceptable Sets in Abstract Argumentation FrameworksRingo Baumann; Markus Ulbricht2021
DEL-based Epistemic Planning for Human-Robot Collaboration: Theory and ImplementationThomas Bolander; Lasse Dissing; Nicolai Herrmann2021
Enforcing Sets of Formulas in Structured ArgumentationAnneMarie Borg; Floris Bex2021
Capturing Homomorphism-Closed Decidable Queries with Existential RulesCamille Bourgaux; David Carral; Markus Krotzsch; Sebastian Rudolph; Michael Thomazo2021
On the Identifiability of Hierarchical Decision ModelsRoman Bresson; Johanne Cohen; Eyke Hullermeier; Christophe Labreuche; Michele Sebag2021
Parallelisable Existential Rules: a Story of PiecesMaxime Buron; Marie-Laure Mugnier; Michael Thomazo2021
Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure SecurityClaudia Cauli; Magdalena Ortiz; Nir Piterman2021
On Eventual Applicability of Plans in Dynamic Environments with Cyclic PhenomenaLukas Chrpa; Martin Pilat; Jakub Med2021
An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions, and Fallible SensorsJens Classen; James P. Delgrande2021
A Compilation of Succinctness Results for Arithmetic CircuitsAlexis de Colnet; Stefan Mengel2021
1234



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024