Do Arduinos Dream of Efficient Reasoners?

Sat, 01 Jan 2022 00:00:00 +0100

Alexandre Bento, Lionel Médini, Kamal Singh, Frédérique Laforest:
Do Arduinos Dream of Efficient Reasoners? ESWC 2022: 289-304