dlvhex
by earl, 6801 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
search
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
