dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Fariba Sadri (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulrich Endriss: The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments CoRR abs/0906.1182: (2009)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP 9(6): 691-750 (2009)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Programming Applications in CIFF. LPNMR 2007: 284-289
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Planning Partially for Situated Agents. CLIMA 2004: 230-248
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni: The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. Global Computing 2004: 340-367
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: The CIFF Proof Procedure for Abductive Logic Programming with Constraints. JELIA 2004: 31-43
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni: Abductive Logic Programming with CIFF: System Description. JELIA 2004: 680-684

Selection of 7 from 55 records - Fariba Sadri has 27 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page