StarExec: A Cross-Community Infrastructure for Logic Solving.

Aaron Stump Geoff Sutcliffe Cesare Tinelli

Published in: IJCAR (2014)

Keyphrases

classical logic
community driven
logic programming
open data
neural network
digital preservation
optimal solution
linear programming
logic programs
building blocks
combinatorial optimization
online communities
learning community
community detection
support environment
experiential knowledge