@InProceedings{EndrissEtAlJELIA2004,
  author = 	 {Ulle Endriss and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},
  title = 	 {The CIFF Proof Procedure for Abductive Logic Programming with Constraints},
  booktitle = 	 {Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004)},
  year = 	 {2004},
  editor = 	 {J.~J.~Alferes and J.~Leite},
  series = 	 {LNAI},
  volume =       {3229},
  pages =        {31--43},
  month = 	 {September},
  publisher =    {Springer-Verlag},
  url =          {http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlJELIA2004.pdf}
}

{"_id":"GBoPpMJBBZ3f53Qu6","bibbaseid":"endriss-mancarella-sadri-terreni-toni-theciffproofprocedureforabductivelogicprogrammingwithconstraints-2004","authorIDs":[],"author_short":["Endriss, U.","Mancarella, P.","Sadri, F.","Terreni, G.","Toni, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ulle"],"propositions":[],"lastnames":["Endriss"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Mancarella"],"suffixes":[]},{"firstnames":["Fariba"],"propositions":[],"lastnames":["Sadri"],"suffixes":[]},{"firstnames":["Giacomo"],"propositions":[],"lastnames":["Terreni"],"suffixes":[]},{"firstnames":["Francesca"],"propositions":[],"lastnames":["Toni"],"suffixes":[]}],"title":"The CIFF Proof Procedure for Abductive Logic Programming with Constraints","booktitle":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004)","year":"2004","editor":[{"firstnames":[],"propositions":[],"lastnames":["J.~J.~Alferes"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["J.~Leite"],"suffixes":[]}],"series":"LNAI","volume":"3229","pages":"31–43","month":"September","publisher":"Springer-Verlag","url":"http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlJELIA2004.pdf","bibtex":"@InProceedings{EndrissEtAlJELIA2004,\n author = \t {Ulle Endriss and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},\n title = \t {The CIFF Proof Procedure for Abductive Logic Programming with Constraints},\n booktitle = \t {Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004)},\n year = \t {2004},\n editor = \t {J.~J.~Alferes and J.~Leite},\n series = \t {LNAI},\n volume = {3229},\n pages = {31--43},\n month = \t {September},\n publisher = {Springer-Verlag},\n url = {http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlJELIA2004.pdf}\n}\n\n","author_short":["Endriss, U.","Mancarella, P.","Sadri, F.","Terreni, G.","Toni, F."],"editor_short":["J.~J.~Alferes","J.~Leite"],"key":"EndrissEtAlJELIA2004","id":"EndrissEtAlJELIA2004","bibbaseid":"endriss-mancarella-sadri-terreni-toni-theciffproofprocedureforabductivelogicprogrammingwithconstraints-2004","role":"author","urls":{"Paper":"http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlJELIA2004.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"https://staff.science.uva.nl/u.endriss/pubs/data/endriss.bib","creationDate":"2020-01-27T17:22:24.393Z","downloads":0,"keywords":[],"search_terms":["ciff","proof","procedure","abductive","logic","programming","constraints","endriss","mancarella","sadri","terreni","toni"],"title":"The CIFF Proof Procedure for Abductive Logic Programming with Constraints","year":2004,"dataSources":["tttdepmzM7nTNGhka"]}