期刊


ISSN0933-1875
刊名Kunstliche Intelligenz
参考译名人工智能
收藏年代1999～2025



全部

1999 2000 2001 2002 2003 2004
2005 2006 2007 2008 2009 2010
2011 2012 2013 2014 2015 2016
2017 2018 2019 2020 2021 2022
2023 2024 2025

2024, vol.38, no.1/2 2024, vol.38, no.3 2024, vol.38, no.4

题名作者出版年年卷期
An ASP Implementation of Defeasible Deontic LogicGovernatori, GuidoGovernatori, Guido20242024, vol.38, no.1/2
What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der TorreSteen, Alexander; Benzmueller, ChristophSteen, Alexander; Benzmueller, Christoph20242024, vol.38, no.1/2
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning: (System Description)Rozek, Brandon; Bringsjord, SelmerRozek, Brandon; Bringsjord, Selmer20242024, vol.38, no.1/2
Learning Normative Behaviour Through Automated Theorem ProvingNeufeld, Emery A.Neufeld, Emery A.20242024, vol.38, no.1/2
Modeling C 0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About GoalsOswald, James T.; Rozek, Brandon; Ferguson, Thomas M.Oswald, James T.; Rozek, Brandon; Ferguson, Thomas M.20242024, vol.38, no.1/2
CLKR: Conditional Logic and Knowledge RepresentationBeierle, Christoph; Haldimann, Jonas; Schwarzer, LeonBeierle, Christoph; Haldimann, Jonas; Schwarzer, Leon20242024, vol.38, no.1/2
Report on "Axiomatizing Conditional Normative Reasoning"Parent, XavierParent, Xavier20242024, vol.38, no.1/2
Semantics of Belief Change Operators for Intelligent AgentsIteration, Postulates, and Realizability: Iteration,?Postulates,?and?RealizabilitySauerwald, KaiSauerwald, Kai20242024, vol.38, no.1/2
Challenges for Non-Classical Reasoning in Contemporary AI ApplicationsSteen, Alexander; Benzmueller, ChristophSteen, Alexander; Benzmueller, Christoph20242024, vol.38, no.1/2
Eye of the BeholderRichter, Kai-FlorianRichter, Kai-Florian20242024, vol.38, no.1/2
12



制造业外文文献服务平台