Pages that link to "Item:Q2900504"

The following pages link to A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions (Q2900504):

Displaying 2 items.

• P-log: refinement and a new coherency condition (Q2317975) (← links)
• First-order stable model semantics with intensional functions (Q2321299) (← links)