Skip to contents Sadri, Fariba [Editor]; Satoh, Ken [Other] ; CLIMA 8 2007 Porto Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 ; revised selected and invited papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5056 Fisher, Michael [Editor]; Sadri, Fariba [Other]; Thielscher, Michael [Other] ; CLIMA 9 2008 Dresden Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5405 Kakas, Antonis C. [Author] ; Sadri, Fariba [Other] Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Published in: Lecture notes in computer science ; 2407 Kakas, Antonis C. [Author] ; Sadri, Fariba [Other] Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Published in: Lecture notes in computer science ; 2408 Fisher, Michael [Other]; Sadri, Fariba [Other]; Thielscher, Michael [Other] Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009 Published in: Lecture notes in computer science ; 5405 Kontchakov, Roman [Editor]; Sadri, Fariba [Editor]; Roman, Dumitru [Editor]; Van Woensel, William [Editor] Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10364 Bassiliades, Nick [Editor]; Gottlob, Georg [Editor]; Sadri, Fariba [Editor]; Paschke, Adrian [Editor]; Roman, Dumitru [Editor] Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2015 Published in: Lecture notes in computer science ; 9202 Carbonell, Jaime G. [Other]; Sadri, Fariba [Other]; Satoh, Ken [Other]; Siekmann, Jörg [Other] Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 5056 Sadri, Fariba Ambient intelligence : A survey : A survey Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2011 Published in: ACM Computing Surveys Sadri, Fariba Lecture Notes in Computer Science: Using the KGP Model of Agency to Design Applications Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Lecture Notes in Computer Science KOWALSKI, ROBERT; SADRI, FARIBA Programming in logic without logic programming Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2016 Published in: Theory and Practice of Logic Programming Kowalski, Robert; Sadri, Fariba Reactive Computing as Model Generation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2015 Published in: New Generation Computing Kowalski, Robert; Sadri, Fariba Rules on the Web. From Theory to Applications: A Logical Characterization of a Reactive System Language Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2014 Published in: Rules on the Web. From Theory to Applications Kowalski, Robert; Sadri, Fariba Rules on the Web: Research and Applications: A Logic-Based Framework for Reactive Systems Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Rules on the Web: Research and Applications Kowalski, Robert; Sadri, Fariba Abductive logic programming agents with destructive databases Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2011 Published in: Annals of Mathematics and Artificial Intelligence Kowalski, Robert; Sadri, Fariba Lecture Notes in Computer Science: An Agent Language with Destructive Assignment and Model-Theoretic Semantics Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2010 Published in: Lecture Notes in Computer Science Ramazani, Ali; Sadri, Fariba One-Pot Synthesis of Alkyl 3-(Diphenylphosphoryl)-3-(10H-phenothiazin-10-yl)propanoates from Alkyl Acetylenecarboxylates, Phenothiazine, and Triphenylphosphine Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2009 Published in: Phosphorus, Sulfur, and Silicon and the Related Elements Kowalski, Robert; Sadri, Fariba Web Reasoning and Rule Systems: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2009 Published in: Web Reasoning and Rule Systems Sadri, Fariba; Toni, Francesca Lecture Notes in Computer Science: Variety of Behaviours Through Profiles in Logic-Based Agents Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Lecture Notes in Computer Science Sadri, Fariba; Toni, Francesca AI*IA 99: Advances in Artificial Intelligence: Abduction with Negation as Failure for Active and Reactive Rules Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: AI*IA 99: Advances in Artificial Intelligence
Sadri, Fariba [Editor]; Satoh, Ken [Other] ; CLIMA 8 2007 Porto Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 ; revised selected and invited papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5056
Fisher, Michael [Editor]; Sadri, Fariba [Other]; Thielscher, Michael [Other] ; CLIMA 9 2008 Dresden Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5405
Kakas, Antonis C. [Author] ; Sadri, Fariba [Other] Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Published in: Lecture notes in computer science ; 2407
Kakas, Antonis C. [Author] ; Sadri, Fariba [Other] Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Published in: Lecture notes in computer science ; 2408
Fisher, Michael [Other]; Sadri, Fariba [Other]; Thielscher, Michael [Other] Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009 Published in: Lecture notes in computer science ; 5405
Kontchakov, Roman [Editor]; Sadri, Fariba [Editor]; Roman, Dumitru [Editor]; Van Woensel, William [Editor] Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10364
Bassiliades, Nick [Editor]; Gottlob, Georg [Editor]; Sadri, Fariba [Editor]; Paschke, Adrian [Editor]; Roman, Dumitru [Editor] Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2015 Published in: Lecture notes in computer science ; 9202
Carbonell, Jaime G. [Other]; Sadri, Fariba [Other]; Satoh, Ken [Other]; Siekmann, Jörg [Other] Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 5056
Sadri, Fariba Ambient intelligence : A survey : A survey Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2011 Published in: ACM Computing Surveys
Sadri, Fariba Lecture Notes in Computer Science: Using the KGP Model of Agency to Design Applications Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Lecture Notes in Computer Science
KOWALSKI, ROBERT; SADRI, FARIBA Programming in logic without logic programming Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2016 Published in: Theory and Practice of Logic Programming
Kowalski, Robert; Sadri, Fariba Reactive Computing as Model Generation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2015 Published in: New Generation Computing
Kowalski, Robert; Sadri, Fariba Rules on the Web. From Theory to Applications: A Logical Characterization of a Reactive System Language Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2014 Published in: Rules on the Web. From Theory to Applications
Kowalski, Robert; Sadri, Fariba Rules on the Web: Research and Applications: A Logic-Based Framework for Reactive Systems Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Rules on the Web: Research and Applications
Kowalski, Robert; Sadri, Fariba Abductive logic programming agents with destructive databases Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2011 Published in: Annals of Mathematics and Artificial Intelligence
Kowalski, Robert; Sadri, Fariba Lecture Notes in Computer Science: An Agent Language with Destructive Assignment and Model-Theoretic Semantics Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2010 Published in: Lecture Notes in Computer Science
Ramazani, Ali; Sadri, Fariba One-Pot Synthesis of Alkyl 3-(Diphenylphosphoryl)-3-(10H-phenothiazin-10-yl)propanoates from Alkyl Acetylenecarboxylates, Phenothiazine, and Triphenylphosphine Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2009 Published in: Phosphorus, Sulfur, and Silicon and the Related Elements
Kowalski, Robert; Sadri, Fariba Web Reasoning and Rule Systems: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2009 Published in: Web Reasoning and Rule Systems
Sadri, Fariba; Toni, Francesca Lecture Notes in Computer Science: Variety of Behaviours Through Profiles in Logic-Based Agents Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Lecture Notes in Computer Science
Sadri, Fariba; Toni, Francesca AI*IA 99: Advances in Artificial Intelligence: Abduction with Negation as Failure for Active and Reactive Rules Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: AI*IA 99: Advances in Artificial Intelligence
> Media type Skip to next facet Articles (48) Wert ausschließen Books (8) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (11) Wert ausschließen Without Specification (43) Wert ausschließen Show more show less
> Language Skip to next facet English (33) Wert ausschließen Not determined (20) Wert ausschließen Persian (3) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (11) Wert ausschließen Mathmatics (10) Wert ausschließen Chemistry and pharmacology (6) Wert ausschließen Technology (5) Wert ausschließen Medicine (2) Wert ausschließen Psychology (1) Wert ausschließen Jurisprudence (1) Wert ausschließen Show more show less
> Creator Skip to next facet Sadri, Fariba (43) Wert ausschließen Kowalski, Robert (10) Wert ausschließen Ramazani, Ali (9) Wert ausschließen Toni, Francesca (9) Wert ausschließen Joo, Sang Woo (6) Wert ausschließen Khoobi, Mehdi (4) Wert ausschließen SADRI, FARIBA (4) Wert ausschließen Asiabi, Pegah Azimzadeh (3) Wert ausschließen Azizkhani, Vahid (3) Wert ausschließen Jafari, Ali (3) Wert ausschließen Kakas, Antonis C. (3) Wert ausschließen Tarasi, Roghayeh (3) Wert ausschließen Ahankar, Hamideh (2) Wert ausschließen Dolatyari, Leila (2) Wert ausschließen Esmaeil Sadri Damirchi (2) Wert ausschließen Fisher, Michael (2) Wert ausschließen Mancarella, Paolo (2) Wert ausschließen Massoudi, Abdolhossain (2) Wert ausschließen Roman, Dumitru (2) Wert ausschließen Satoh, Ken (2) Wert ausschließen Shafiee, Abbas (2) Wert ausschließen Stathis, Kostas (2) Wert ausschließen Thielscher, Michael (2) Wert ausschließen Torroni, Paolo (2) Wert ausschließen Aghahosseini, Hamideh (1) Wert ausschließen Ahmadboukani, Soliman (1) Wert ausschließen Ali Ramazani (1) Wert ausschließen Amini, Issa (1) Wert ausschließen Apt, Krzysztof R. (1) Wert ausschließen Augusto, Juan Carlos (1) Wert ausschließen BRODA, KRYSIA (1) Wert ausschließen BUTLER, STEPHEN (1) Wert ausschließen Bassiliades, Nick (1) Wert ausschließen Bosse, Tibor (1) Wert ausschließen CALEJO, MIGUEL (1) Wert ausschließen CLIMA 8 2007 Porto (1) Wert ausschließen CLIMA 9 2008 Dresden (1) Wert ausschließen Calejo, Miguel (1) Wert ausschließen Carbonell, Jaime G. (1) Wert ausschließen Carinci, Francesco (1) Wert ausschließen Castelfranchi, Cristiano (1) Wert ausschließen Chatzigiannakis, Ioannis (1) Wert ausschließen Cook, Diane (1) Wert ausschließen Cory, Therese (1) Wert ausschließen Cura, Francesca (1) Wert ausschließen Davod Fathi (1) Wert ausschließen Dell’Acqua, Pierangelo (1) Wert ausschließen Dávila, Jacinto (1) Wert ausschließen ENDRISS, ULLE (1) Wert ausschließen Endriss, Ulle (1) Wert ausschließen Esmaeil Sadri Damirch (1) Wert ausschließen Esmaeili Ghazivaoloii, Fariba (1) Wert ausschließen Esmaeli Ghazi Valoii, Fariba (1) Wert ausschließen Fariba Esmaeili Ghazivaloyi (1) Wert ausschließen Fariba Esmaeili Ghazivaoloii (1) Wert ausschließen Fariba Esmaeli Ghazi Valoii (1) Wert ausschließen Fariba Ghaderi (1) Wert ausschließen Fariba Sadri (1) Wert ausschließen Fariba Shirvani (1) Wert ausschließen Fathi, Davod (1) Wert ausschließen Garschall, Markus (1) Wert ausschließen Ghomi, Milad (1) Wert ausschließen Gottlob, Georg (1) Wert ausschließen Hakimeh Adigozali (1) Wert ausschließen Hamideh Ahankar (1) Wert ausschließen Hammond, Peter (1) Wert ausschließen Hanke, Sten (1) Wert ausschließen Himmelsbach, Julia (1) Wert ausschließen Homan Sadri (1) Wert ausschließen Jafary, Fariba (1) Wert ausschließen KOWALSKI, ROBERT (1) Wert ausschließen KOWALSKI, ROBERT A. (1) Wert ausschließen Kakas, Antonis (1) Wert ausschließen Kontchakov, Roman (1) Wert ausschließen Kowalski, Robert A. (1) Wert ausschließen Kriwaczek, Frank (1) Wert ausschließen LAGER, TORBJÖRN (1) Wert ausschließen Lalos, Aris S. (1) Wert ausschließen Lashgari, Hamed (1) Wert ausschließen Leligou, Helen C. (1) Wert ausschließen MANCARELLA, PAOLO (1) Wert ausschließen Mahmood Reza Azghani (1) Wert ausschließen Mahyari, Amir (1) Wert ausschließen Mandana Rezaei (1) Wert ausschließen Maudet, Nicolas (1) Wert ausschließen Mehdi Khoobi (1) Wert ausschließen Mehraban, Shafigh (1) Wert ausschließen Mehri Gholami (1) Wert ausschließen Memarzadeh, Mehrdad (1) Wert ausschließen Milad Ghomi (1) Wert ausschließen Min, Bong‐Ki (1) Wert ausschließen Mohammad Javad Garavi (1) Wert ausschließen Mostafa Gorbani (1) Wert ausschließen Mylonas, Georgios (1) Wert ausschließen Nader Sadri-Aghdam (1) Wert ausschließen Nahid Dayyani (1) Wert ausschließen Nasim Mohammadi (1) Wert ausschließen Nasrabadi, Fatemeh Zeinali (1) Wert ausschließen Neerincx, Mark (1) Wert ausschließen Neureiter, Katja (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (16) Wert ausschließen Informa UK Limited (CrossRef) (8) Wert ausschließen Verbunddaten SWB (8) Wert ausschließen DOAJ Directory of Open Access Journals (6) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (4) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (4) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen Elsevier BV (CrossRef) (2) Wert ausschließen Negah Scientific Publisher (CrossRef) (2) Wert ausschließen Wiley (CrossRef) (2) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen Show more show less