An algebraic Prolog for reasoning about possible worlds (bibtex)

@inproceedings{KimmigAAAI11,
  author = "Kimmig, Angelika and Van den Broeck, Guy and De Raedt, Luc",
  title = "An algebraic {P}rolog for reasoning about possible worlds",
  booktitle = "Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, ",
  editor = "Burgard, Wolfram and Roth, Dan",
  publisher = "AAAI Press",
  pages = "209--214",
  year = "2011",
  url="http://starai.cs.ucla.edu/papers/KimmigAAAI11.pdf",
  keywords   = {conference,selective}
}