Vi introducerar en kunskapsrepresentation språk AC(C) förlänga syntax och semantik av ASP och CR-Prolog, ge några exempel på dess användning, och presentera en algoritm, ACsolver, för datorsvar uppsättningar av AC(C) program. Algoritmen kräver inte full jordning av ett program och kombinerar "klassiska" ASP lösa metoder med begränsning logik programmeringstekniker och CR-Prolog baserad bortförande. Den AC(C)-baserade metoden gör det ofta möjligt att lösa problem som är omöjliga att lösa genom mer traditionella ASP lösa tekniker. Vi tror att ytterligare utredning av språket och utvecklingen av effektivare och mer pålitliga lösare för sina program kan bidra till att avsevärt utöka området för tillämplighet av svaret uppsättning programmering paradigm.
Ett undantag är AC(C), ett språk som syftar till att integrera ASP och Constraint Logic Programmering REF.
Integrating answer set programming and constraint logic programming
{'venue': 'Annals of Mathematics and Artificial Intelligence', 'journal': 'Annals of Mathematics and Artificial Intelligence', 'mag_field_of_study': ['Computer Science', 'Mathematics']}