A model seeker: Extracting global constraint models from positive examples, CP. pp, pp.141-157, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00754341
Constraint acquisition, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01276188
Constraint acquisition via partial queries, IJCAI. pp, pp.475-481, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00830325
A sat-based version space algorithm for acquiring constraint satisfaction problems, pp.23-34, 2005. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00106044
, One ASP encoding that we discovered in a public repository worked mostly by pure luck. The following constraint :-queen(X1,Y1)
, works because abs is not actually absolute value but an uninterpreted function, essentially it checks X == Y , and that is indeed the found solution. (This kind of bugs would be extremely hard to find using traditional debuggers, since technically the encoding produced correct solutions.). Also, while working on the aggregate extension use-case, we discovered a subtle bug: the case of a single celebrity was not handled correctly
Functional pearls: Finding celebrities: A lesson in functional programming, J. Funct. Program, vol.16, issue.1, pp.13-20, 2006. ,
Asprin: Customizing answer set preferences without a headache, AAAI. pp, pp.1467-1474, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01187001
Radio link frequency assignment, Constraints, vol.4, issue.1, pp.79-89, 1999. ,
Predicate logic as a modelling language: The IDP system, 2014. ,
Logical and Relational Learning: From ILP to MRDM (Cognitive Technologies), 2008. ,
Reasoning web. semantic technologies for information systems. chap. Answer Set Programming: A Primer, pp.40-110, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01913203
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications, TPLP, vol.6, issue.1-2, pp.23-60, 2006. ,
Semantics and complexity of recursive aggregates in answer set programming, Artificial Intelligence, vol.175, issue.1, pp.278-298, 2011. ,
Answer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning, 2012. ,
A meta-programming technique for debugging answer-set programs ,
The stable model semantics for logic programming, ICLP/SLP, vol.88, pp.1070-1080, 1988. ,
Complexity of n-queens completion, J. Artif. Intell. Res, vol.59, pp.815-848, 2017. ,
Inductive programming meets the real world, Commun. ACM, vol.58, issue.11, pp.90-99, 2015. ,
Answer set programming and clasp a tutorial, YSIP. p, p.77, 2014. ,
Jsketch: sketching for java, ESEC/FSE, pp.934-937, 2015. ,
On learning constraint problems, ICTAI. pp, pp.45-52, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01016891
Inductive Learning of Answer Set Programs, pp.311-325, 2014. ,
The ILASP system for learning answer set programs, 2015. ,
Iterative learning of answer set programs from context dependent examples, TPLP, vol.16, issue.5-6, pp.834-848, 2016. ,
The sketching approach to program synthesis, APLAS. pp, pp.4-13, 2009. ,
, Program sketching. STTT, vol.15, pp.475-495, 2013.
Debugging ASP using ILP, Technical Communications ICLP, 2015. ,
What is answer set programming?, 2008. ,
Inductive logic programming: Theory and methods, Journal of Logic Programming, vol.19, issue.20, pp.629-679, 1994. ,
Metainterpretive learning: application to grammatical inference, Machine Learning, vol.94, issue.1, pp.25-49, 2014. ,
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited, Machine Learning, vol.100, issue.1, 2015. ,
Stepping through an Answer-Set Program, pp.134-147, 2011. ,
CSPLib problem 110: Peaceably co-existing armies of queens, 2015. ,
Nonmonotonic abductive inductive learning, special Issue: Abduction and Induction in Artificial Intelligence, vol.7, pp.329-340, 2009. ,
, Handbook of Constraint Programming, 2006.
Modular synthesis of sketches using models, Verification, Model Checking, and Abstract Interpretation, pp.395-414, 2014. ,