103 followers
Datalog +/- track: Mantas Šimkus about Binary Frontier-Guarded ASP with Function Symbols http://t.co/XxWaIVx5ea #ruleml2015
Datalog +/- track: Mantas Šimkus about Binary Frontier-Guarded ASP with Function Symbols http://t.co/XxWaIVx5ea #ruleml2015