:facetid:toc:\"db/journals/ai/ai289.bht\"OK:facetid:toc:db/journals/ai/ai289.bhtShyan AkmalSavana AmmonsHemeng LiMichael GaoLindsay PopowskiJames C. Boerkoel Jr.Quantifying controllability in temporal networks with uncertainty.Artif. Intell.2891033842020Journal Articlesopenjournals/ai/AkmalALGPB2010.1016/J.ARTINT.2020.103384https://doi.org/10.1016/j.artint.2020.103384https://dblp.org/rec/journals/ai/AkmalALGPB20URL#1507887Roberto AmadiniGraeme GangePeter J. StuckeyDashed strings for string constraint solving.Artif. Intell.2891033682020Journal Articlesclosedjournals/ai/AmadiniGS2010.1016/J.ARTINT.2020.103368https://doi.org/10.1016/j.artint.2020.103368https://dblp.org/rec/journals/ai/AmadiniGS20URL#1507891Katie AtkinsonTrevor J. M. Bench-CaponDanushka BollegalaExplanation in AI and law: Past, present and future.Artif. Intell.2891033872020Journal Articlesclosedjournals/ai/AtkinsonBB2010.1016/J.ARTINT.2020.103387https://doi.org/10.1016/j.artint.2020.103387https://dblp.org/rec/journals/ai/AtkinsonBB20URL#1507894Piero A. BonattiLuca IoffredoIliana M. PetrovaLuigi SauroIda Sri Rejeki SiahaanReal-time reasoning in OWL2 for GDPR compliance.Artif. Intell.2891033892020Journal Articlesopenjournals/ai/BonattiIPSS2010.1016/J.ARTINT.2020.103389https://doi.org/10.1016/j.artint.2020.103389https://dblp.org/rec/journals/ai/BonattiIPSS20URL#1507907Pedro CabalarJorge FandinnoLuis Fariñas del CerroAutoepistemic answer set programming.Artif. Intell.2891033822020Journal Articlesclosedjournals/ai/CabalarFC2010.1016/J.ARTINT.2020.103382https://doi.org/10.1016/j.artint.2020.103382https://dblp.org/rec/journals/ai/CabalarFC20URL#1507911Mohamed Sami CherifDjamal HabetAndré AbraméUnderstanding the power of Max-SAT resolution through UP-resilience.Artif. Intell.2891033972020Journal Articlesclosedjournals/ai/CherifHA2010.1016/J.ARTINT.2020.103397https://doi.org/10.1016/j.artint.2020.103397https://dblp.org/rec/journals/ai/CherifHA20URL#1507915Kaya DeuserPavel NaumovOn composition of bounded-recall plans.Artif. Intell.2891033992020Journal Articlesclosedjournals/ai/DeuserN2010.1016/J.ARTINT.2020.103399https://doi.org/10.1016/j.artint.2020.103399https://dblp.org/rec/journals/ai/DeuserN20URL#1507920Armen InantsJérôme EuzenatSo, what exactly is a qualitative calculus?Artif. Intell.2891033852020Journal Articlesclosedjournals/ai/InantsE2010.1016/J.ARTINT.2020.103385https://doi.org/10.1016/j.artint.2020.103385https://dblp.org/rec/journals/ai/InantsE20URL#1507941Jianwen LiGeguang PuYueling ZhangMoshe Y. VardiKristin Y. RozierSAT-based explicit LTLf satisfiability checking.Artif. Intell.2891033692020Journal Articlesclosedjournals/ai/LiPZVR2010.1016/J.ARTINT.2020.103369https://doi.org/10.1016/j.artint.2020.103369https://dblp.org/rec/journals/ai/LiPZVR20URL#1507950Kedian MuIntrinsic approaches to prioritizing diagnoses in multi-context systems.Artif. Intell.2891033832020Journal Articlesclosedjournals/ai/Mu2010.1016/J.ARTINT.2020.103383https://doi.org/10.1016/j.artint.2020.103383https://dblp.org/rec/journals/ai/Mu20URL#1507959Ariel RosenfeldOleg MaksimovSarit KrausWhen security games hit traffic: A deployed optimal traffic enforcement system.Artif. Intell.2891033812020Journal Articlesclosedjournals/ai/RosenfeldMK2010.1016/J.ARTINT.2020.103381https://doi.org/10.1016/j.artint.2020.103381https://dblp.org/rec/journals/ai/RosenfeldMK20URL#1507968Michael J. WooldridgeArtificial Intelligence requires more than deep learning - but what, exactly?Artif. Intell.2891033862020Journal Articlesclosedjournals/ai/Wooldridge2010.1016/J.ARTINT.2020.103386https://doi.org/10.1016/j.artint.2020.103386https://dblp.org/rec/journals/ai/Wooldridge20URL#1507982