Семантика стійких моделей (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Семантика стійких моделей" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

916^th place

1,136^th place

6,762^nd place

4,284^th place

1^st place

low place

low place

low place

ic.ac.uk

M. van Emden and R. Kowalski [1976] The semantics of predicate logic as a programming language. Journal of ACM, Vol. 23, pages 733—742. (англ.)

M. Gelfond [1987] On stratified autoepistemic theories [Архівовано 24 серпня 2007 у Wayback Machine.]. In: Proceedings of AAAI-87, pages 207—211. (англ.)

F. Lin and Y. Zhao [2004] ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence, Vol. 157, pages 115—137. (англ.)

M. Gelfond and V. Lifschitz [1988] The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference on Logic Programming (ICLP), pages 1070—1080. (англ.)
M. Gelfond and V. Lifschitz [1991] Classical negation in logic programs and disjunctive databases. New Generation Computing, Vol. 9, pages 365—385. (англ.)
P. Ferraris and V. Lifschitz [2005] Mathematical foundations of answer set programming. In: We Will Show Them! Essays in Honour of Dov Gabbay, King's College Publications, pages 615—664. (англ.)

M. Gelfond [1987] On stratified autoepistemic theories [Архівовано 24 серпня 2007 у Wayback Machine.]. In: Proceedings of AAAI-87, pages 207—211. (англ.)