Pages that link to "Item:Q3498490"

The following pages link to $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols (Q3498490):

Displayed 9 items.

• Synonymous theories and knowledge representations in answer set programming (Q414849) ‎ (← links)
• Tractable query answering and rewriting under description logic constraints (Q975872) ‎ (← links)
• A decidable subclass of finitary programs (Q3585163) ‎ (← links)
• Disjunctive ASP with functions: Decidable queries and effective computation (Q3585164) ‎ (← links)
• On finitely recursive programs (Q3621269) ‎ (← links)
• Answer Set Programming: A Primer (Q3638997) ‎ (← links)
• Partial Functions and Equality in Answer Set Programming (Q5504669) ‎ (← links)
• Computable Functions in ASP: Theory and Implementation (Q5504670) ‎ (← links)
• Composing Normal Programs with Function Symbols (Q5504671) ‎ (← links)