Pages that link to "Item:Q4311648"
From MaRDI portal
The following pages link to Structuring logic programs: a modal approach (Q4311648):
Displaying 7 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)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295) (← links)
- (Q4409167) (← links)
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
- (Q4732449) (← links)