Articles with public access mandates - Vladimir LifschitzLearn more
Available somewhere: 9
Bwibots: A platform for bridging the gap between ai and human–robot interaction research
P Khandelwal, S Zhang, J Sinapov, M Leonetti, J Thomason, F Yang, ...
The International Journal of Robotics Research 36 (5-7), 635-659, 2017
Mandates: US National Science Foundation, US Department of Defense
Answer sets and the language of answer set programming
V Lifschitz
AI Magazine 37 (3), 7-12, 2016
Mandates: US National Science Foundation
Infinitary equilibrium logic and strongly equivalent logic programs
A Harrison, V Lifschitz, D Pearce, A Valverde
Artificial Intelligence 246, 22-33, 2017
Mandates: US National Science Foundation
Achievements in answer set programming
V Lifschitz
Theory and Practice of Logic Programming 17 (5-6), 961-973, 2017
Mandates: US National Science Foundation
Program completion in the input language of GRINGO
A Harrison, V Lifschitz, D Raju
Theory and Practice of Logic Programming 17 (5-6), 855-871, 2017
Mandates: US National Science Foundation
Relating two dialects of answer set programming
A Harrison, V Lifschitz
Theory and Practice of Logic Programming 19 (5-6), 1006-1020, 2019
Mandates: US National Science Foundation
Stable models for infinitary formulas with extensional atoms
A Harrison, V Lifschitz
Theory and Practice of Logic Programming 16 (5-6), 771-786, 2016
Mandates: US National Science Foundation
Intelligent instantiation and supersafe rules
V Lifschitz
Technical Communications of the 32nd International Conference on Logic …, 2016
Mandates: US National Science Foundation
Proving infinitary formulas
A Harrison, V Lifschitz, J Michael
Theory and Practice of Logic Programming 16 (5-6), 787-799, 2016
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program