start | find | index | login or register | edit
by earl, 6646 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
powered by vanilla
echo earlZstrainYat|tr ZY @. • esa3 • online for 8537 days • c'est un vanilla site