FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387096360> ?p ?o ?g. }

• W4387096360 endingPage "104023" @default.
• W4387096360 startingPage "104023" @default.
• W4387096360 abstract "We introduce a general, flexible, and extensible framework for quantitative and qualitative preferences among the stable models of logic programs. Since it is straightforward to capture propositional theories and constraint satisfaction problems with logic programs, our approach is also relevant to optimization in satisfiability testing and constraint processing. We show how complex preference relations can be specified through user-defined preference types and their arguments. We describe how preference specifications are handled internally by so-called preference programs, which are used for dominance testing. We also provide algorithms for computing one, or all, preferred stable models of a logic program, and study the complexity of these problems. We implemented our approach in the asprin system by means of multi-shot answer set solving technology. We demonstrate the generality and flexibility of our methodology by showing how easily existing preference languages can be implemented in asprin. Finally, we empirically evaluate our contributions and contrast them with dedicated implementations." @default.
• W4387096360 created "2023-09-28" @default.
• W4387096360 creator A5002046734 @default.
• W4387096360 creator A5058467603 @default.
• W4387096360 creator A5060148794 @default.
• W4387096360 creator A5070528616 @default.
• W4387096360 date "2023-12-01" @default.
• W4387096360 modified "2023-10-18" @default.
• W4387096360 title "A general framework for preferences in answer set programming" @default.
• W4387096360 cites W1927521586 @default.
• W4387096360 cites W1976055110 @default.
• W4387096360 cites W1988793717 @default.
• W4387096360 cites W1998363560 @default.
• W4387096360 cites W2011124182 @default.
• W4387096360 cites W2039887949 @default.
• W4387096360 cites W2051475155 @default.
• W4387096360 cites W2061876041 @default.
• W4387096360 cites W206956553 @default.
• W4387096360 cites W2076698873 @default.
• W4387096360 cites W2083424831 @default.
• W4387096360 cites W2086827285 @default.
• W4387096360 cites W2087432892 @default.
• W4387096360 cites W2088175080 @default.
• W4387096360 cites W2106614716 @default.
• W4387096360 cites W2114660707 @default.
• W4387096360 cites W2136105968 @default.
• W4387096360 cites W2152131859 @default.
• W4387096360 cites W2153367464 @default.
• W4387096360 cites W2160345156 @default.
• W4387096360 cites W2162068502 @default.
• W4387096360 cites W2163787533 @default.
• W4387096360 cites W2187530266 @default.
• W4387096360 cites W2212328841 @default.
• W4387096360 cites W2401337862 @default.
• W4387096360 cites W2471277801 @default.
• W4387096360 cites W2963234253 @default.
• W4387096360 cites W2963772318 @default.
• W4387096360 cites W2963895714 @default.
• W4387096360 cites W2994667977 @default.
• W4387096360 cites W3088092049 @default.
• W4387096360 cites W3088199683 @default.
• W4387096360 cites W3177275367 @default.
• W4387096360 cites W3204002479 @default.
• W4387096360 cites W3213117777 @default.
• W4387096360 cites W4206322461 @default.
• W4387096360 cites W4283811219 @default.
• W4387096360 cites W4366496760 @default.
• W4387096360 cites W58686953 @default.
• W4387096360 cites W807789281 @default.
• W4387096360 doi "https://doi.org/10.1016/j.artint.2023.104023" @default.
• W4387096360 hasPublicationYear "2023" @default.
• W4387096360 type Work @default.
• W4387096360 citedByCount "0" @default.
• W4387096360 crossrefType "journal-article" @default.
• W4387096360 hasAuthorship W4387096360A5002046734 @default.
• W4387096360 hasAuthorship W4387096360A5058467603 @default.
• W4387096360 hasAuthorship W4387096360A5060148794 @default.
• W4387096360 hasAuthorship W4387096360A5070528616 @default.
• W4387096360 hasConcept C105795698 @default.
• W4387096360 hasConcept C126255220 @default.
• W4387096360 hasConcept C128838566 @default.
• W4387096360 hasConcept C137631369 @default.
• W4387096360 hasConcept C154945302 @default.
• W4387096360 hasConcept C15744967 @default.
• W4387096360 hasConcept C168773769 @default.
• W4387096360 hasConcept C173404611 @default.
• W4387096360 hasConcept C177264268 @default.
• W4387096360 hasConcept C182620335 @default.
• W4387096360 hasConcept C199360897 @default.
• W4387096360 hasConcept C199622910 @default.
• W4387096360 hasConcept C26713055 @default.
• W4387096360 hasConcept C2780598303 @default.
• W4387096360 hasConcept C2780767217 @default.
• W4387096360 hasConcept C2781249084 @default.
• W4387096360 hasConcept C33923547 @default.
• W4387096360 hasConcept C41008148 @default.
• W4387096360 hasConcept C44616089 @default.
• W4387096360 hasConcept C49937458 @default.
• W4387096360 hasConcept C542102704 @default.
• W4387096360 hasConcept C80444323 @default.
• W4387096360 hasConceptScore W4387096360C105795698 @default.
• W4387096360 hasConceptScore W4387096360C126255220 @default.
• W4387096360 hasConceptScore W4387096360C128838566 @default.
• W4387096360 hasConceptScore W4387096360C137631369 @default.
• W4387096360 hasConceptScore W4387096360C154945302 @default.
• W4387096360 hasConceptScore W4387096360C15744967 @default.
• W4387096360 hasConceptScore W4387096360C168773769 @default.
• W4387096360 hasConceptScore W4387096360C173404611 @default.
• W4387096360 hasConceptScore W4387096360C177264268 @default.
• W4387096360 hasConceptScore W4387096360C182620335 @default.
• W4387096360 hasConceptScore W4387096360C199360897 @default.
• W4387096360 hasConceptScore W4387096360C199622910 @default.
• W4387096360 hasConceptScore W4387096360C26713055 @default.
• W4387096360 hasConceptScore W4387096360C2780598303 @default.
• W4387096360 hasConceptScore W4387096360C2780767217 @default.
• W4387096360 hasConceptScore W4387096360C2781249084 @default.
• W4387096360 hasConceptScore W4387096360C33923547 @default.
• W4387096360 hasConceptScore W4387096360C41008148 @default.

• next