Pages that link to "Item:Q3498490"

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

Displaying 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)