Pages that link to "Item:Q4311648"

The following pages link to Structuring logic programs: a modal approach (Q4311648):

Displayed 3 items.

• Semantics of structured normal logic programs (Q444364) ‎ (← links)
• Translating propositional extended conjunctions of Horn clauses into Boolean circuits (Q964389) ‎ (← links)
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) ‎ (← links)