Imperial College London
Dr Fariba Sadri

DrFaribaSadri

Faculty of Engineering, Department of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8224f.sadri Website

 
 
//

Location

 

447Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Mancarella:2009:10.1017/S1471068409990093,
author = {Mancarella, P and Terreni, G and Sadri, F and Toni, F and Endriss, U},
doi = {10.1017/S1471068409990093},
journal = {THEORY AND PRACTICE OF LOGIC PROGRAMMING},
pages = {691--750},
title = {The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments},
url = {http://dx.doi.org/10.1017/S1471068409990093},
volume = {9},
year = {2009}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Mancarella,P
AU  - Terreni,G
AU  - Sadri,F
AU  - Toni,F
AU  - Endriss,U
DO  - 10.1017/S1471068409990093
EP  - 750
PY  - 2009///
SN  - 1471-0684
SP  - 691
TI  - The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
T2  - THEORY AND PRACTICE OF LOGIC PROGRAMMING
UR  - http://dx.doi.org/10.1017/S1471068409990093
UR  - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000271985400001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=a2bf6146997ec60c407a63945d4e92bb
VL  - 9
ER  -
Download