The CIFF Proof Procedure for Abductive Logic Programming with Constraints. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., & Toni, F. In J.~J.~Alferes & J.~Leite, editors, *Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004)*, volume 3229, of *LNAI*, pages 31–43, September, 2004. Springer-Verlag.

Paper bibtex

Paper bibtex

@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} }

Downloads: 0

{"_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"]}