Publications of Hanne Vlaeminck

period 2009 - 2012

Articles in internationally reviewed journals

1 reference

• Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. An approximative inference method for solving ∃∀SO satisfiability problems, The Journal of Artificial Intelligence Research, volume 45, pages 79-124, 2012

  @article{351217,
    author = "Vlaeminck, Hanne and Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "An approximative inference method for solving {$\exists$}{$\forall$}{SO} satisfiability problems",
    journal = "The Journal of Artificial Intelligence Research",
    volume = "45",
    pages = "79--124",
    month = Sep,
    year = "2012",
    doi = "10.1613/jair.3658",
    url = "https://lirias.kuleuven.be/handle/123456789/351217",
  }
  

Article in book, internationally recognised scientific publisher

1 reference

• Denecker, Marc; Vennekens, Joost; Vlaeminck, Hanne; Wittocx, Johan; Bruynooghe, Maurice. Answer Set Programming's contributions to classical logic, An analysis of ASP methodology, Balduccini, Marcello; Son, Tran (eds.), Springer Verlag, 2011

  @incollection{281548,
    author = "Denecker, Marc and Vennekens, Joost and Vlaeminck, Hanne and Wittocx, Johan and Bruynooghe, Maurice",
    title = "Answer {S}et {P}rogramming's contributions to classical logic",
    editor = "Balduccini, Marcello and Son, Tran",
    publisher = "Springer Verlag",
    year = "2011",
    doi = "10.1007/978-3-642-20832-4",
    url = "https://lirias.kuleuven.be/handle/123456789/281548",
  }
  

Papers at international conferences and symposia, published in full in proceedings

5 references

• Vlaeminck, Hanne; Vennekens, Joost; Bruynooghe, Maurice; Denecker, Marc. Ordered Epistemic Logic: Semantics, complexity and applications, Brewka, Gerhard; Eiter, Thomas; McIlraith, Sheila A (eds.), Knowledge Representation and Reasoning, Rome, 10-14 July 2012, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, pages 369-379, AAAI Press

  @inproceedings{342463,
    author = "Vlaeminck, Hanne and Vennekens, Joost and Bruynooghe, Maurice and Denecker, Marc",
    title = "Ordered {E}pistemic {L}ogic: {S}emantics, complexity and applications",
    booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, ",
    editor = "Brewka, Gerhard and Eiter, Thomas and McIlraith, Sheila A.",
    publisher = "AAAI Press",
    location = "Palo Alto, California",
    pages = "369--379",
    year = "2012",
    url = "https://lirias.kuleuven.be/handle/123456789/342463",
  }
  

• Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc. A general representation and approximate inference algorithm for sensing actions, Tielscher, Michael; Zhang, Dongmo (eds.), AI, Sydney, 4-7 December 2012, AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, pages 543 -554

  @inproceedings{357669,
    author = "Vlaeminck, Hanne and Vennekens, Joost and Denecker, Marc",
    title = "A general representation and approximate inference algorithm for sensing actions",
    booktitle = "AI 2012: Advances in Artificial Intelligence - 25th Australasian   Joint Conference, ",
    editor = "Tielscher, Michael and Zhang, Dongmo",
    pages = "543 --554",
    month = Dec,
    year = "2012",
    doi = "10.1007/978-3-642-35101-3\_{}46",
    url = "https://lirias.kuleuven.be/handle/123456789/357669",
  }
  

• Vlaeminck, Hanne; Wittocx, Johan; Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice. An approximative inference method for solving ∃∀SO satisfiability problems, Janhunen, Tomi; Niemelä, Ilkka (eds.), European Conference on Logics in Artificial Intelligence (JELIA), Helsinki, 13-16 September 2010, Lecture Notes in Computer Science, volume 6341, pages 326-338, Springer

  @inproceedings{279721,
    author = "Vlaeminck, Hanne and Wittocx, Johan and Vennekens, Joost and Denecker, Marc and Bruynooghe, Maurice",
    title = "An approximative inference method for solving {$\exists$}{$\forall$}{SO} satisfiability problems",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Janhunen, Tomi and Niemel{\"a}, Ilkka",
    publisher = "Springer",
    location = "Berlin/Heidelberg",
    pages = "326--338",
    month = Sep,
    year = "2010",
    doi = "10.1007/978-3-642-15675-5\_{}28",
    url = "https://lirias.kuleuven.be/handle/123456789/279721",
  }
  

• Vlaeminck, Hanne; Vennekens, Joost; Denecker, Marc. A logical framework for configuration software, Principles and Practice of Declarative Programming, Coimbra, Portugal, 7-9 September, 2009, Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP '09, ACM

  @inproceedings{262013,
    author = "Vlaeminck, Hanne and Vennekens, Joost and Denecker, Marc",
    title = "A logical framework for configuration software",
    booktitle = "Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP '09, ",
    publisher = "ACM",
    month = Sep,
    year = "2009",
    doi = "10.1145/1599410.1599428",
    url = "https://lirias.kuleuven.be/handle/123456789/262013",
  }
  

• Wittocx, Johan; Vlaeminck, Hanne; Denecker, Marc. Debugging for model expansion, International Conference on Logic Programming, ICLP, Pasadena, California, US, 14-17 July 2009, Lecture Notes in Computer Science, volume 5649, pages 296-311, Springer

  @inproceedings{229816,
    author = "Wittocx, Johan and Vlaeminck, Hanne and Denecker, Marc",
    title = "Debugging for model expansion",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "296--311",
    month = Jul,
    year = "2009",
    doi = "10.1007/978-3-642-02846-5\_{}26",
    url = "https://lirias.kuleuven.be/handle/123456789/229816",
  }
  

Thesis

1 reference

• Vlaeminck, Hanne. Applications of Feasible Inference for Expressive Logics , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 2012, 178 pages, Denecker, Marc (supervisor) , Vennekens, Joost (cosupervisor)

  @phdthesis{368937,
    author = "Vlaeminck, Hanne",
    title = "Applications of {F}easible {I}nference for {E}xpressive {L}ogics ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    pages = "178",
    month = Dec,
    year = "2012",
    note = "Denecker, Marc (supervisor), Vennekens, Joost (cosupervisor)",
    url = "https://lirias.kuleuven.be/handle/123456789/368937",
  }
  

No publications found for the period 2009-2012 and the types

• Articles in other journals
• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Books, internationally recognised scientific publisher; as editor
• Other published books; as editor
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Meeting abstracts, presented at international conferences and symposia
• Meeting abstracts, presented at other conferences and symposia
• Review
• Internal reports
• Translation without scientific introduction
• Scientific popularisation
• Misc.
• External reports

 
Last update local database Sun May 19 2013 0:18 am; It contains 8 publications of Hanne Vlaeminck.