Pages that link to "Item:Q1274967"
From MaRDI portal
The following pages link to A semantics for modular general logic programs (Q1274967):
Displaying 12 items.
- A compositional semantics for logic programs (Q1314414) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Modular semantics for theories: an approach to paraconsistent reasoning (Q1633217) (← links)
- Promoting modular nonmonotonic logic programs (Q2909170) (← links)
- Modularity of P-Log Programs (Q3003239) (← links)
- (Q3086692) (← links)
- Relativized hyperequivalence of logic programs for modular programming (Q3648358) (← links)
- A calculus for the construction of modular prolog programs (Q3992238) (← links)
- Programming by combining general logic programs (Q4238481) (← links)
- A computable semantics for general logic programs (Q4730755) (← links)
- (Q4736478) (← links)
- Program Development in Computational Logic (Q5712546) (← links)