The following pages link to (Q4244297):
Displayed 4 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)