Pages that link to "Item:Q4608717"

The following pages link to Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols (Q4608717):

Displaying 3 items.

• Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks (Q2835878) (← links)
• $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols (Q3498490) (← links)
• Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes (Q5742242) (← links)