Advanced search
Advanced search in people
Artificial Intelligence > 2017 > 251 > C > 62-97
Artificial Intelligence > 2016 > 238 > C > 1-10
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Language Extensions and Implementation > 239-253
Lecture Notes in Computer Science > Hybrid Artificial Intelligence Systems > HAIS Applications > 68-76
Studia Logica > 2016 > 104 > 4 > 705-739
Journal of Philosophical Logic > 2015 > 44 > 2 > 203-236
Journal of Applied Logic > 2013 > 11 > 3 > 289-308
Artificial Intelligence > 2011 > 175 > 1 > 49-78
Artificial Intelligence > 2011 > 175 > 1 > 120-141
Artificial Intelligence > 2011 > 175 > 1 > 1-24
Artificial Intelligence > 2011 > 175 > 1 > 25-48
KI - Künstliche Intelligenz > 2010 > 24 > 2 > 175-178
Journal of Intelligent Information Systems > 2010 > 35 > 2 > 157-212
Robotics and Autonomous Systems > 2008 > 56 > 11 > 967-979
Robotics and Autonomous Systems > 2008 > 56 > 11 > 980-991
Journal of Applied Logic > 2008 > 6 > 3 > 380-415
Journal of Logic, Language and Information > 2008 > 17 > 1 > 109-129
Artificial Intelligence > 2007 > 171 > 16-17 > 951-984