Exploiting Functional Dependencies in Declarative Problem Specifications

Marco Cadoli, Toni Mancini. Exploiting Functional Dependencies in Declarative Problem Specifications. In José Júlio Alferes, João Alexandre Leite, editors, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Volume 3229 of Lecture Notes in Computer Science, pages 628-640, Springer, 2004. [doi]

@inproceedings{CadoliM04,
  title = {Exploiting Functional Dependencies in Declarative Problem Specifications},
  author = {Marco Cadoli and Toni Mancini},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3229&spage=628},
  researchr = {https://researchr.org/publication/CadoliM04},
  cites = {0},
  citedby = {0},
  pages = {628-640},
  booktitle = {Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  editor = {José Júlio Alferes and João Alexandre Leite},
  volume = {3229},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23242-7},
}