Pages that link to "Item:Q4593064"

The following pages link to The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064):

Displaying 6 items.

• Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
• Lazy stream manipulation in prolog via backtracking: the case of \textbf{2P-Kt} (Q2055817) (← links)
• The Fusemate logic programming system (Q2055893) (← links)
• Stepwise debugging of answer-set programs (Q4603428) (← links)
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
• The DLV system for knowledge representation and reasoning (Q5277755) (← links)