|start | find | index | login or register | edit|
by earl, 4946 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
|earl.strain.at • esa3 • online for 6837 days • c'est un vanilla site|