default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 289
Volume 289, December 2020
- Roberto Amadini
, Graeme Gange, Peter J. Stuckey:
Dashed strings for string constraint solving. 103368 - Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier:
SAT-based explicit LTLf satisfiability checking. 103369 - Ariel Rosenfeld, Oleg Maksimov, Sarit Kraus:
When security games hit traffic: A deployed optimal traffic enforcement system. 103381 - Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Autoepistemic answer set programming. 103382 - Kedian Mu:
Intrinsic approaches to prioritizing diagnoses in multi-context systems. 103383 - Shyan Akmal, Savana Ammons, Hemeng Li, Michael Gao, Lindsay Popowski, James C. Boerkoel Jr.:
Quantifying controllability in temporal networks with uncertainty. 103384 - Armen Inants, Jérôme Euzenat:
So, what exactly is a qualitative calculus? 103385 - Michael J. Wooldridge:
Artificial Intelligence requires more than deep learning - but what, exactly? 103386 - Katie Atkinson, Trevor J. M. Bench-Capon, Danushka Bollegala:
Explanation in AI and law: Past, present and future. 103387 - Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro, Ida Sri Rejeki Siahaan:
Real-time reasoning in OWL2 for GDPR compliance. 103389 - Mohamed Sami Cherif, Djamal Habet, André Abramé:
Understanding the power of Max-SAT resolution through UP-resilience. 103397 - Kaya Deuser, Pavel Naumov:
On composition of bounded-recall plans. 103399
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-25 00:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
