https://research.aalto.fi/en/publications/introducing-real-variables-and-integer-objective-functions-to-ans/
Introducing Real Variables and Integer Objective Functions to Answer Set Programming - Aalto...
answer set programmingreal variablesobjective functionsintroducinginteger
https://portal.mardi4nfdi.de/wiki/Answer_set_programming
Answer set programming - MaRDI portal
answer set programmingmardiportal
https://www.cs.uni-potsdam.de/wv/publications/DBLP_journals/corr/abs-2405-11305.html
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
Knowledge Processing and Information Systems
answer set programmingsearch forcombinatorial optimizationlargeneighborhood
Sponsored https://ctwmsg.com/?siteId=jasmin&cobrandId=&superCategoryName=&categoryName=fetish&pageName=listpage&prm[psid]=robuta&prm[pstool]=211_18&prm[psprogram]=pps&prm[campaign_id]=&subAffId=
Live Sex Cams and Adult Chat with Webcam Girls | LiveJasmin
Chat for free on LiveJasmin and watch HD Live Sex cam shows! 2000+ Models are waiting for You, no registration required.
https://lisa.unical.it/items/d6d74e74-e0d8-4ea7-bc50-4fb0985b861e/full
APPLICATIONS OF ANSWER SET PROGRAMMING TO LINEAR TEMPORAL LOGIC OVER FINITE TRACES
Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to express high level specifications that require reasoning about time. It was introduced in...
answer set programminglinear temporal logicapplicationsfinitetraces
https://portal.mardi4nfdi.de/wiki/Multi-criteria_optimization_in_answer_set_programming
Multi-criteria optimization in answer set programming - MaRDI portal
answer set programmingmulticriteriaoptimizationmardi