Author:
Lallouet Arnaud,Moinard Yves,Nicolas Pascal,Stéphan Igor
Publisher
Springer International Publishing
Reference106 articles.
1. Arish J, Carro M (2015) Towards a generic interface to integrate CLP and tabled execution (extended abstract). In: Vos MD, Eiter T, Lierler Y, Toni F (eds) Proceedings of the technical communications of the 31st international conference on logic programming (ICLP 2015), Cork, Ireland, 31 August– 4 Sept 2015. CEUR workshop proceedings, vol 1433.
http://CEUR-WS.org
2. Baral C (2003) Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge
3. Bauters K, Schockaert S, Cock MD, Vermeir D (2014) Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions. Int J Approx Reason 55(2):739–761
4. Bauters K, Schockaert S, Cock MD, Vermeir D (2015) Characterizing and extending answer set semantics using possibility theory. Theory Pract Log Program 15(1):79–116
5. Benferhat S, Ben-Naim J, Papini O, Würbel É (2010) An answer set programming encoding of prioritized removed sets revision: application to GIS. Appl Intell 32(1):60–87
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A comparative analysis of satisfiability logical structure in Discrete Hopfield Neural Network;1ST JOINT INTERNATIONAL CONFERENCE ON MATHEMATICS, STATISTICS AND ENGINEERING (J-CoMSE 2021): J-COMSE 2021 CONFERENCE PROCEEDING;2022
2. The dilemma between arc and bounds consistency;International Journal of Intelligent Systems;2020-07-22