


default search action
Artificial 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














