Publications in collaboration with researchers from Sobolev Institute of Mathematics (6)

2009

  1. Well-founded and partial stable semantics logical aspects

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. Partial equilibrium logic

    Annals of Mathematics and Artificial Intelligence

2006

  1. Analysing and extending well-founded and partial stable semantics using partial equilibrium logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Logical foundations of well-founded semantics

    Proceedings of the International Conference on Knowledge Representation and Reasoning

  3. On the logic and computation of partial equilibrium models

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Strong negation in well-founded and partial stable semantics for logic programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)