Model revision inference for extensions of first order logic

Preprint English OPEN
Jansen, Joachim;
(2014)
  • Subject: Computer Science - Artificial Intelligence

I am Joachim Jansen and this is my research summary, part of my application to the Doctoral Consortium at ICLP'14. I am a PhD student in the Knowledge Representation and Reasoning (KRR) research group, a subgroup of the Declarative Languages and Artificial Intelligence ... View more
  • References (15)
    15 references, page 1 of 2

    ABO, I., DETERS, M., NIEUWENHUIS, R., AND STUCKEY, P. 2011. Reducing chaos in sat-like search: Finding solutions close to a given one. In Theory and Applications of Satisfiability Testing - SAT 2011. 273-286.

    APT, K. R. 2003. Principles of Constraint Programming. Cambridge University Press.

    BLOCKEEL, H., BRUYNOOGHE, M., BART, B., DE CAT, B., DE POOTER, S., DENECKER, M., LABARRE, A., RAMON, J., AND VERWER, S. 2013. Predicate logic as a modeling language: Modeling and solving some machine learning and data mining problems with idp3. CoRR abs/1309.6883.

    CLIMENT, L., WALLACE, R. J., SALIDO, M. A., AND BARBER, F. 2014. Robustness and stability in constraint programming under dynamism and uncertainty. J. Artif. Intell. Res. (JAIR) 49, 49-78.

    DE CAT, B., JANSEN, J., AND JANSSENS, G. 2013. IDP3: Combining symbolic and ground reasoning for model generation. In Workshop on Grounding and Transformations for Theories with Variables, La Corun˜a, 15 Sept 2013.

    DE POOTER, S., WITTOCX, J., AND DENECKER, M. 2011. programming environment. CoRR abs/1108.5667.

    FREEMAN-BENSON, B. N., MALONEY, J., AND BORNING, A. 1990. An incremental constraint solver. Commun. ACM 33, 1, 54-63.

    GEBSER, M., GROTE, T., KAMINSKI, R., AND SCHAUB, T. 2011. Reactive answer set programming. In Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, vol. 6645. 54-66.

    GEBSER, M., KAMINSKI, R., KAUFMANN, B., AND SCHAUB, T. 2012. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers.

    IDP 2013. The IDP system. http://dtai.cs.kuleuven.be/krr/software.

  • Related Research Results (2)
  • Metrics
Share - Bookmark