Pages that link to "Item:Q5431419"

The following pages link to Propositional theories are strongly equivalent to logic programs (Q5431419):

Displaying 3 items.

• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
• Cut-free formulations for a quantified logic of here and there (Q638492) (← links)
• Syntactic ASP forgetting with forks (Q6152659) (← links)