start | find | index | login or register | edit
dlvhex
by earl, 4883 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]

- http://con.fusion.at/dlvhex/

See also: DLV, Answer Set Programming
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6774 days • c'est un vanilla site