Pages that link to "Item:Q5504669"
From MaRDI portal
The following pages link to Partial Functions and Equality in Answer Set Programming (Q5504669):
Displaying 6 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Partial functions in ACL2 (Q1425160) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- P-log: refinement and a new coherency condition (Q2317975) (← links)
- Equivalence Between Answer-Set Programs Under (Partially) Fixed Input (Q2807074) (← links)
- Towards systematic treatment of partial functions in knowledge representation (Q6545581) (← links)