Pages that link to "Item:Q3643117"

From MaRDI portal

← On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117)

Jump to:navigation, search

The following pages link to On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117):

Displaying 2 items.

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
Ordered completion for logic programs with aggregates (Q892233) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q3643117"