An algebraic Prolog for reasoning about possible worlds (bibtex)
by Angelika Kimmig, Guy Van den Broeck and Luc De Raedt
Reference:
Angelika Kimmig, Guy Van den Broeck and Luc De Raedt. An algebraic Prolog for reasoning about possible worlds, In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, (Wolfram Burgard, Dan Roth, eds.), AAAI Press, 2011.
Bibtex Entry:
@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://web.cs.ucla.edu/~guyvdb/papers/KimmigAAAI11.pdf",
  keywords   = {conference,selective}
}
PDF Preview:
(PDF preview not available, download PDF instead)
Powered by bibtexbrowser