|start | find | index | login or register | edit|
by earl, 5612 days ago"dlvhex is the name of a prototype application for computing the models of so-called HEX-programs, which are an extension of Answer-Set Programs towards integration of external computation sources."
Developed at TU Wien as part of the research project "Answer Set Programming for the Semantic Web".
People: Roman Schindlauer, Thomas Eiter, Giovambattista Ianni, [create Hans Tompits]
See also: DLV, Answer Set Programming
4 active users
|earl.strain.at • esa3 • online for 7503 days • c'est un vanilla site|