iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/s/FaribaSadri.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CHAP ID - DBLP:series/lncs/KowalskiSCD23 AU - Kowalski, Robert A. AU - Sadri, Fariba AU - Calejo, Miguel AU - Dávila, Jacinto A. TI - Combining Logic Programming and Imperative Programming in LPS. BT - Prolog: The Next 50 Years SP - 210 EP - 223 PY - 2023// DO - 10.1007/978-3-031-35254-6_17 UR - https://doi.org/10.1007/978-3-031-35254-6_17 ER - TY - JOUR ID - DBLP:journals/tplp/BrodaSB22 AU - Broda, Krysia AU - Sadri, Fariba AU - Butler, Stephen TI - Reactive Answer Set Programming. JO - Theory Pract. Log. Program. VL - 22 IS - 3 SP - 367 EP - 418 PY - 2022// DO - 10.1017/S147106842100051X UR - https://doi.org/10.1017/S147106842100051X ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-2109-10633 AU - Broda, Krysia AU - Sadri, Fariba AU - Butler, Stephen TI - Reactive Answer Set Programming. JO - CoRR VL - abs/2109.10633 PY - 2021// UR - https://arxiv.org/abs/2109.10633 ER - TY - JOUR ID - DBLP:journals/tplp/WielemakerRKLSC19 AU - Wielemaker, Jan AU - Riguzzi, Fabrizio AU - Kowalski, Robert A. AU - Lager, Torbjörn AU - Sadri, Fariba AU - Calejo, Miguel TI - Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. JO - Theory Pract. Log. Program. VL - 19 IS - 2 SP - 229 EP - 261 PY - 2019// DO - 10.1017/S1471068418000522 UR - https://doi.org/10.1017/S1471068418000522 ER - TY - CONF ID - DBLP:conf/ami/2018w ED - Chatzigiannakis, Ioannis ED - Sadri, Fariba ED - Hanke, Sten ED - Garschall, Markus ED - Himmelsbach, Julia ED - Lalos, Aris S. ED - Leligou, Helen C. ED - Mylonas, Georgios ED - Neureiter, Katja ED - Skarmeta, Antonio F. TI - 1st Workshop on Behavioral Change and Ambient Intelligence for Sustainability, BRAINS@AmI 2018, and 2nd Workshop on Affective Interaction with Avatars and Robots, WS-AFFIN@AmI 2018, Larnaca, Cyprus, 2018 T3 - Electronic Notes in Theoretical Computer Science VL - 343 PY - 2019// PB - Elsevier UR - https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/343/suppl/C ER - TY - CPAPER ID - DBLP:journals/entcs/Chatzigiannakis19 AU - Chatzigiannakis, Ioannis AU - Sadri, Fariba AU - Hanke, Sten AU - Garschall, Markus AU - Himmelsbach, Julia AU - Lalos, Aris S. AU - Leligou, Helen C. AU - Mylonas, Georgios AU - Neureiter, Katja AU - Skarmeta, Antonio F. TI - Preface. BT - 1st Workshop on Behavioral Change and Ambient Intelligence for Sustainability, BRAINS@AmI 2018, and 2nd Workshop on Affective Interaction with Avatars and Robots, WS-AFFIN@AmI 2018, Larnaca, Cyprus, 2018 SP - 1 EP - 2 PY - 2018// DO - 10.1016/J.ENTCS.2019.04.006 UR - https://doi.org/10.1016/j.entcs.2019.04.006 UR - https://www.wikidata.org/entity/Q113317473 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1808-08042 AU - Wielemaker, Jan AU - Riguzzi, Fabrizio AU - Kowalski, Bob AU - Lager, Torbjörn AU - Sadri, Fariba AU - Calejo, Miguel TI - Using SWISH to realise interactive web based tutorials for logic based languages. JO - CoRR VL - abs/1808.08042 PY - 2018// UR - http://arxiv.org/abs/1808.08042 ER - TY - CPAPER ID - DBLP:conf/ruleml/KowalskiSC17 AU - Kowalski, Robert A. AU - Sadri, Fariba AU - Calejo, Miguel TI - How to do it with LPS (Logic-Based Production System). BT - Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017. PY - 2017// UR - https://ceur-ws.org/Vol-1875/paper16.pdf ER - TY - CONF ID - DBLP:conf/ruleml/2017s ED - Bassiliades, Nick ED - Bikakis, Antonis ED - Costantini, Stefania ED - Franconi, Enrico ED - Giurca, Adrian ED - Kontchakov, Roman ED - Patkos, Theodore ED - Sadri, Fariba ED - Woensel, William Van TI - Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017. T3 - CEUR Workshop Proceedings VL - 1875 PY - 2017// PB - CEUR-WS.org UR - https://ceur-ws.org/Vol-1875 UR - https://nbn-resolving.org/urn:nbn:de:0074-1875-8 ER - TY - CONF ID - DBLP:conf/ruleml/2017 ED - Costantini, Stefania ED - Franconi, Enrico ED - Woensel, William Van ED - Kontchakov, Roman ED - Sadri, Fariba ED - Roman, Dumitru TI - Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings T3 - Lecture Notes in Computer Science VL - 10364 PY - 2017// PB - Springer DO - 10.1007/978-3-319-61252-2 UR - https://doi.org/10.1007/978-3-319-61252-2 SN - ISBN 978-3-319-61251-5 SN - ISBN 978-3-319-61252-2 ER - TY - JOUR ID - DBLP:journals/tplp/KowalskiS16 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Programming in logic without logic programming. JO - Theory Pract. Log. Program. VL - 16 IS - 3 SP - 269 EP - 295 PY - 2016// DO - 10.1017/S1471068416000041 UR - https://doi.org/10.1017/S1471068416000041 ER - TY - CPAPER ID - DBLP:conf/ruleml/Sadri16 AU - Sadri, Fariba TI - An Executable Logic-Based Model for Cutter Suction Dredging Using LPS. BT - Supplementary Proceedings of the RuleML 2016 Challenge, Doctoral Consortium and Industry Track hosted by the 10th International Web Rule Symposium, RuleML 2016, New York, USA, July 6-9, 2016. PY - 2016// UR - https://ceur-ws.org/Vol-1620/paper5.pdf ER - TY - Informal or Other Publication ID - DBLP:journals/corr/KowalskiS16 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Programming in logic without logic programming. JO - CoRR VL - abs/1601.00529 PY - 2016// UR - http://arxiv.org/abs/1601.00529 ER - TY - JOUR ID - DBLP:journals/ngc/KowalskiS15 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Reactive Computing as Model Generation. JO - New Gener. Comput. VL - 33 IS - 1 SP - 33 EP - 67 PY - 2015// DO - 10.1007/S00354-015-0103-Z UR - https://doi.org/10.1007/s00354-015-0103-z ER - TY - CONF ID - DBLP:conf/ruleml/2015c ED - Bassiliades, Nick ED - Fodor, Paul ED - Giurca, Adrian ED - Gottlob, Georg ED - Kliegr, Tomás ED - Nalepa, Grzegorz J. ED - Palmirani, Monica ED - Paschke, Adrian ED - Proctor, Mark ED - Roman, Dumitru ED - Sadri, Fariba ED - Stojanovic, Nenad TI - Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015. T3 - CEUR Workshop Proceedings VL - 1417 PY - 2015// PB - CEUR-WS.org UR - https://ceur-ws.org/Vol-1417 UR - https://nbn-resolving.org/urn:nbn:de:0074-1417-1 ER - TY - CONF ID - DBLP:conf/ruleml/2015 ED - Bassiliades, Nick ED - Gottlob, Georg ED - Sadri, Fariba ED - Paschke, Adrian ED - Roman, Dumitru TI - Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings T3 - Lecture Notes in Computer Science VL - 9202 PY - 2015// PB - Springer DO - 10.1007/978-3-319-21542-6 UR - https://doi.org/10.1007/978-3-319-21542-6 UR - https://www.wikidata.org/entity/Q58197853 SN - ISBN 978-3-319-21541-9 ER - TY - CPAPER ID - DBLP:conf/ruleml/KowalskiS14 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - A Logical Characterization of a Reactive System Language. BT - Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings SP - 22 EP - 36 PY - 2014// DO - 10.1007/978-3-319-09870-8_2 UR - https://doi.org/10.1007/978-3-319-09870-8_2 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/KakasMSST14 AU - Kakas, Antonis C. AU - Mancarella, Paolo AU - Sadri, Fariba AU - Stathis, Kostas AU - Toni, Francesca TI - Computational Logic Foundations of KGP Agents. JO - CoRR VL - abs/1401.3443 PY - 2014// UR - http://arxiv.org/abs/1401.3443 ER - TY - CPAPER ID - DBLP:conf/ami/SadriWX12 AU - Sadri, Fariba AU - Wang, Weikun AU - Xafi, Afroditi TI - Intention Recognition with Clustering. BT - Ambient Intelligence - Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings SP - 379 EP - 384 PY - 2012// DO - 10.1007/978-3-642-34898-3_30 UR - https://doi.org/10.1007/978-3-642-34898-3_30 ER - TY - CPAPER ID - DBLP:conf/ami/AugustoBCCNS12 AU - Augusto, Juan Carlos AU - Bosse, Tibor AU - Castelfranchi, Cristiano AU - Cook, Diane J. AU - Neerincx, Mark A. AU - Sadri, Fariba TI - Sixth International Workshop on Human Aspects in Ambient Intelligence (HAI 2012). BT - Ambient Intelligence - Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings SP - 449 EP - 450 PY - 2012// DO - 10.1007/978-3-642-34898-3_43 UR - https://doi.org/10.1007/978-3-642-34898-3_43 ER - TY - CPAPER ID - DBLP:conf/birthday/KowalskiS12 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Teleo-Reactive Abductive Logic Programs. BT - Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday SP - 12 EP - 32 PY - 2012// DO - 10.1007/978-3-642-29414-3_3 UR - https://doi.org/10.1007/978-3-642-29414-3_3 ER - TY - CPAPER ID - DBLP:conf/ruleml/KowalskiS12 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - A Logic-Based Framework for Reactive Systems. BT - Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings SP - 1 EP - 15 PY - 2012// DO - 10.1007/978-3-642-32689-9_1 UR - https://doi.org/10.1007/978-3-642-32689-9_1 ER - TY - CHAP ID - DBLP:series/aise/Sadri12 AU - Sadri, Fariba TI - Intention Recognition in Agents for Ambient Intelligence: Logic-Based Approaches. BT - Agents and Ambient Intelligence - Achievements and Challenges in the Intersection of Agent Technology and Ambient Intelligence SP - 197 EP - 236 PY - 2012// DO - 10.3233/978-1-61499-050-5-197 UR - https://doi.org/10.3233/978-1-61499-050-5-197 ER - TY - JOUR ID - DBLP:journals/amai/KowalskiS11 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Abductive logic programming agents with destructive databases. JO - Ann. Math. Artif. Intell. VL - 62 IS - 1-2 SP - 129 EP - 158 PY - 2011// DO - 10.1007/S10472-011-9253-Y UR - https://doi.org/10.1007/s10472-011-9253-y ER - TY - JOUR ID - DBLP:journals/csur/Sadri11 AU - Sadri, Fariba TI - Ambient intelligence: A survey. JO - ACM Comput. Surv. VL - 43 IS - 4 SP - 36:1 EP - 36:66 PY - 2011// DO - 10.1145/1978802.1978815 UR - https://doi.org/10.1145/1978802.1978815 ER - TY - CPAPER ID - DBLP:conf/icaart/Sadri11 AU - Sadri, Fariba TI - Intention Recognition with Event Calculus Graphs and Weight of Evidence. BT - ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Rome, Italy, January 28-30, 2011 SP - 470 EP - 475 PY - 2011// ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1109-6340 AU - Endriss, Ulrich AU - Maudet, Nicolas AU - Sadri, Fariba AU - Toni, Francesca TI - Negotiating Socially Optimal Allocations of Resources JO - CoRR VL - abs/1109.6340 PY - 2011// UR - http://arxiv.org/abs/1109.6340 ER - TY - JOUR ID - DBLP:journals/cj/SadriS10 AU - Sadri, Fariba AU - Stathis, Kostas TI - Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction. JO - Comput. J. VL - 53 IS - 8 SP - 1136 EP - 1137 PY - 2010// DO - 10.1093/COMJNL/BXP030 UR - https://doi.org/10.1093/comjnl/bxp030 ER - TY - CPAPER ID - DBLP:conf/clima/KowalskiS10 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - An Agent Language with Destructive Assignment and Model-Theoretic Semantics. BT - Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings SP - 200 EP - 218 PY - 2010// DO - 10.1007/978-3-642-14977-1_16 UR - https://doi.org/10.1007/978-3-642-14977-1_16 ER - TY - CPAPER ID - DBLP:conf/iat/Sadri10 AU - Sadri, Fariba TI - Intention Recognition with Event Calculus Graphs. BT - Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31 - September 3, 2010 SP - 386 EP - 391 PY - 2010// DO - 10.1109/WI-IAT.2010.83 UR - https://doi.org/10.1109/WI-IAT.2010.83 UR - https://doi.ieeecomputersociety.org/10.1109/WI-IAT.2010.83 ER - TY - JOUR ID - DBLP:journals/tplp/MancarellaTSTE09 AU - Mancarella, Paolo AU - Terreni, Giacomo AU - Sadri, Fariba AU - Toni, Francesca AU - Endriss, Ulle TI - The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. JO - Theory Pract. Log. Program. VL - 9 IS - 6 SP - 691 EP - 750 PY - 2009// DO - 10.1017/S1471068409990093 UR - https://doi.org/10.1017/S1471068409990093 UR - https://www.wikidata.org/entity/Q62047999 ER - TY - CPAPER ID - DBLP:conf/rr/KowalskiS09 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. BT - Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings SP - 1 EP - 23 PY - 2009// DO - 10.1007/978-3-642-05082-4_1 UR - https://doi.org/10.1007/978-3-642-05082-4_1 ER - TY - CONF ID - DBLP:conf/clima/2008 ED - Fisher, Michael ED - Sadri, Fariba ED - Thielscher, Michael TI - Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers T3 - Lecture Notes in Computer Science VL - 5405 PY - 2009// PB - Springer DO - 10.1007/978-3-642-02734-5 UR - https://doi.org/10.1007/978-3-642-02734-5 UR - https://www.wikidata.org/entity/Q98283624 SN - ISBN 978-3-642-02733-8 ER - TY - ENCYC ID - DBLP:reference/ai/SadriS09 AU - Sadri, Fariba AU - Stathis, Kostas TI - Ambient Intelligence. BT - Encyclopedia of Artificial Intelligence (3 Volumes) SP - 85 EP - 91 PY - 2009// UR - http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=10230 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-0906-1182 AU - Mancarella, Paolo AU - Terreni, Giacomo AU - Sadri, Fariba AU - Toni, Francesca AU - Endriss, Ulrich TI - The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments JO - CoRR VL - abs/0906.1182 PY - 2009// UR - http://arxiv.org/abs/0906.1182 ER - TY - JOUR ID - DBLP:journals/jair/KakasMSST08 AU - Kakas, Antonis C. AU - Mancarella, Paolo AU - Sadri, Fariba AU - Stathis, Kostas AU - Toni, Francesca TI - Computational Logic Foundations of KGP Agents. JO - J. Artif. Intell. Res. VL - 33 SP - 285 EP - 348 PY - 2008// DO - 10.1613/JAIR.2596 UR - https://doi.org/10.1613/jair.2596 ER - TY - CONF ID - DBLP:conf/clima/2007 ED - Sadri, Fariba ED - Satoh, Ken TI - Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers T3 - Lecture Notes in Computer Science VL - 5056 PY - 2008// PB - Springer DO - 10.1007/978-3-540-88833-8 UR - https://doi.org/10.1007/978-3-540-88833-8 SN - ISBN 978-3-540-88832-1 ER - TY - CPAPER ID - DBLP:conf/ami/BosseCNST07 AU - Bosse, Tibor AU - Castelfranchi, Cristiano AU - Neerincx, Mark A. AU - Sadri, Fariba AU - Treur, Jan TI - First International Workshop on Human Aspects in Ambient Intelligence: Preface. BT - Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers SP - 261 PY - 2007// DO - 10.1007/978-3-540-85379-4_32 UR - https://doi.org/10.1007/978-3-540-85379-4_32 ER - TY - CPAPER ID - DBLP:conf/cia/Sadri07 AU - Sadri, Fariba TI - Multi-agent Cooperative Planning and Information Gathering. BT - Cooperative Information Agents XI, 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings SP - 72 EP - 88 PY - 2007// DO - 10.1007/978-3-540-75119-9_6 UR - https://doi.org/10.1007/978-3-540-75119-9_6 ER - TY - CPAPER ID - DBLP:conf/lpnmr/MancarellaSTT07 AU - Mancarella, Paolo AU - Sadri, Fariba AU - Terreni, Giacomo AU - Toni, Francesca TI - Programming Applications in CIFF. BT - Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings SP - 284 EP - 289 PY - 2007// DO - 10.1007/978-3-540-72200-7_27 UR - https://doi.org/10.1007/978-3-540-72200-7_27 ER - TY - JOUR ID - DBLP:journals/cmot/SadriST06 AU - Sadri, Fariba AU - Stathis, Kostas AU - Toni, Francesca TI - Normative KGP agents. JO - Comput. Math. Organ. Theory VL - 12 IS - 2-3 SP - 101 EP - 126 PY - 2006// DO - 10.1007/S10588-006-9539-5 UR - https://doi.org/10.1007/s10588-006-9539-5 ER - TY - JOUR ID - DBLP:journals/jair/EndrissMST06 AU - Endriss, Ulrich AU - Maudet, Nicolas AU - Sadri, Fariba AU - Toni, Francesca TI - Negotiating Socially Optimal Allocations of Resources. JO - J. Artif. Intell. Res. VL - 25 SP - 315 EP - 348 PY - 2006// DO - 10.1613/JAIR.1870 UR - https://doi.org/10.1613/jair.1870 ER - TY - CPAPER ID - DBLP:conf/ecai/SadriT06 AU - Sadri, Fariba AU - Toni, Francesca TI - Interleaving Belief Updating and Reasoning in Abductive Logic Programming. BT - ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings SP - 442 EP - 446 PY - 2006// ER - TY - CPAPER ID - DBLP:conf/jelia/SadriT06 AU - Sadri, Fariba AU - Toni, Francesca TI - A Formal Analysis of KGP Agents. BT - Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings SP - 413 EP - 425 PY - 2006// DO - 10.1007/11853886_34 UR - https://doi.org/10.1007/11853886_34 ER - TY - CPAPER ID - DBLP:conf/clima/Sadri05 AU - Sadri, Fariba TI - Using the KGP Model of Agency to Design Applications (Tutorial Paper). BT - Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers SP - 165 EP - 185 PY - 2005// DO - 10.1007/11750734_10 UR - https://doi.org/10.1007/11750734_10 ER - TY - CPAPER ID - DBLP:conf/clima/SadriT05 AU - Sadri, Fariba AU - Toni, Francesca TI - Variety of Behaviours Through Profiles in Logic-Based Agents. BT - Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers SP - 206 EP - 225 PY - 2005// DO - 10.1007/11750734_12 UR - https://doi.org/10.1007/11750734_12 ER - TY - CPAPER ID - DBLP:conf/normas/SadriTS05 AU - Sadri, Fariba AU - Toni, Francesca AU - Stathis, Kostas TI - Normative KGP Agents: A Preliminary Report. BT - Symposium on Normative Multi-Agent Systems, NORMAS 2005, part of the SSAISB 2005 Convention, University of Hertfordshire, Hatfield, UK, 12-15 April 2005. Proceedings SP - 85 EP - 96 PY - 2005// UR - http://www.aisb.org.uk/publications/proceedings/aisb05/8_Normas_Final.pdf ER - TY - CPAPER ID - DBLP:conf/clima/KakasMSST04 AU - Kakas, Antonis C. AU - Mancarella, Paolo AU - Sadri, Fariba AU - Stathis, Kostas AU - Toni, Francesca TI - Declarative Agent Control. BT - Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers SP - 96 EP - 110 PY - 2004// DO - 10.1007/11533092_6 UR - https://doi.org/10.1007/11533092_6 ER - TY - CPAPER ID - DBLP:conf/clima/MancarellaSTT04 AU - Mancarella, Paolo AU - Sadri, Fariba AU - Terreni, Giacomo AU - Toni, Francesca TI - Planning Partially for Situated Agents. BT - Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers SP - 230 EP - 248 PY - 2004// DO - 10.1007/11533092_14 UR - https://doi.org/10.1007/11533092_14 ER - TY - CPAPER ID - DBLP:conf/ecai/KakasMSST04 AU - Kakas, Antonis C. AU - Mancarella, Paolo AU - Sadri, Fariba AU - Stathis, Kostas AU - Toni, Francesca TI - The KGP Model of Agency. BT - Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004 SP - 33 EP - 37 PY - 2004// ER - TY - CPAPER ID - DBLP:conf/gc/BraccialiDEKLMSSTT04 AU - Bracciali, Andrea AU - Demetriou, Neophytos AU - Endriss, Ulrich AU - Kakas, Antonis C. AU - Lu, Wenjin AU - Mancarella, Paolo AU - Sadri, Fariba AU - Stathis, Kostas AU - Terreni, Giacomo AU - Toni, Francesca TI - The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. BT - Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers SP - 340 EP - 367 PY - 2004// DO - 10.1007/978-3-540-31794-4_18 UR - https://doi.org/10.1007/978-3-540-31794-4_18 ER - TY - CPAPER ID - DBLP:conf/jelia/EndrissMSTT04 AU - Endriss, Ulrich AU - Mancarella, Paolo AU - Sadri, Fariba AU - Terreni, Giacomo AU - Toni, Francesca TI - The CIFF Proof Procedure for Abductive Logic Programming with Constraints. BT - Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings SP - 31 EP - 43 PY - 2004// DO - 10.1007/978-3-540-30227-8_6 UR - https://doi.org/10.1007/978-3-540-30227-8_6 ER - TY - CPAPER ID - DBLP:conf/jelia/EndrissMSTT04a AU - Endriss, Ulrich AU - Mancarella, Paolo AU - Sadri, Fariba AU - Terreni, Giacomo AU - Toni, Francesca TI - Abductive Logic Programming with CIFF: System Description. BT - Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings SP - 680 EP - 684 PY - 2004// DO - 10.1007/978-3-540-30227-8_56 UR - https://doi.org/10.1007/978-3-540-30227-8_56 ER - TY - JOUR ID - DBLP:journals/amai/DixSS03 AU - Dix, Jürgen AU - Sadri, Fariba AU - Satoh, Ken TI - Introduction. JO - Ann. Math. Artif. Intell. VL - 37 IS - 1-2 SP - 1 EP - 3 PY - 2003// DO - 10.1023/A:1020215020635 UR - https://doi.org/10.1023/A:1020215020635 ER - TY - CPAPER ID - DBLP:conf/agentCL/EndrissMST03 AU - Endriss, Ulrich AU - Maudet, Nicolas AU - Sadri, Fariba AU - Toni, Francesca TI - Logic-Based Agent Communication Protocols. BT - Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003 SP - 91 EP - 107 PY - 2003// DO - 10.1007/978-3-540-24608-4_6 UR - https://doi.org/10.1007/978-3-540-24608-4_6 ER - TY - CPAPER ID - DBLP:conf/atal/EndrissMST03 AU - Endriss, Ulrich AU - Maudet, Nicolas AU - Sadri, Fariba AU - Toni, Francesca TI - On optimal outcomes of negotiations over resources. BT - The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings SP - 177 EP - 184 PY - 2003// DO - 10.1145/860575.860604 UR - https://doi.org/10.1145/860575.860604 UR - https://www.wikidata.org/entity/Q62043045 ER - TY - CPAPER ID - DBLP:conf/atal/EndrissMST03a AU - Endriss, Ulrich AU - Maudet, Nicolas AU - Sadri, Fariba AU - Toni, Francesca TI - Aspects of protocol conformance in inter-agent dialogue. BT - The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings SP - 982 EP - 983 PY - 2003// DO - 10.1145/860575.860756 UR - https://doi.org/10.1145/860575.860756 UR - https://www.wikidata.org/entity/Q62043043 ER - TY - CPAPER ID - DBLP:conf/ijcai/EndrissMST03 AU - Endriss, Ulrich AU - Maudet, Nicolas AU - Sadri, Fariba AU - Toni, Francesca TI - Protocol Conformance for Logic-based Agents. BT - IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 SP - 679 EP - 684 PY - 2003// UR - http://ijcai.org/Proceedings/03/Papers/099.pdf ER - TY - CPAPER ID - DBLP:conf/ijcai/SadriTT03 AU - Sadri, Fariba AU - Toni, Francesca AU - Torroni, Paolo TI - Minimally intrusive negotiating agents for resource sharing. BT - IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 SP - 796 EP - 804 PY - 2003// UR - http://ijcai.org/Proceedings/03/Papers/115.pdf ER - TY - CPAPER ID - DBLP:conf/jelia/SadriTT02 AU - Sadri, Fariba AU - Toni, Francesca AU - Torroni, Paolo TI - An Abductive Logic Programming Architecture for Negotiating Agents. BT - Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings SP - 419 EP - 431 PY - 2002// DO - 10.1007/3-540-45757-7_35 UR - https://doi.org/10.1007/3-540-45757-7_35 ER - TY - CONF ID - DBLP:conf/birthday/2002kowalski1 ED - Kakas, Antonis C. ED - Sadri, Fariba TI - Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I T3 - Lecture Notes in Computer Science VL - 2407 PY - 2002// PB - Springer DO - 10.1007/3-540-45628-7 UR - https://doi.org/10.1007/3-540-45628-7 SN - ISBN 3-540-43959-5 ER - TY - CONF ID - DBLP:conf/birthday/2002kowalski2 ED - Kakas, Antonis C. ED - Sadri, Fariba TI - Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II T3 - Lecture Notes in Computer Science VL - 2408 PY - 2002// PB - Springer DO - 10.1007/3-540-45632-5 UR - https://doi.org/10.1007/3-540-45632-5 SN - ISBN 3-540-43960-9 ER - TY - JOUR ID - DBLP:journals/tocl/AptKS01 AU - Apt, Krzysztof R. AU - Kakas, Antonis C. AU - Sadri, Fariba TI - Editorial. JO - ACM Trans. Comput. Log. VL - 2 IS - 4 SP - 431 PY - 2001// DO - 10.1145/383779.383823 UR - https://doi.org/10.1145/383779.383823 ER - TY - CPAPER ID - DBLP:conf/atal/SadriTT01 AU - Sadri, Fariba AU - Toni, Francesca AU - Torroni, Paolo TI - Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. BT - Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers SP - 405 EP - 421 PY - 2001// DO - 10.1007/3-540-45448-9_30 UR - https://doi.org/10.1007/3-540-45448-9_30 ER - TY - CONF ID - DBLP:conf/cl/2000clima ED - Satoh, Ken ED - Sadri, Fariba TI - CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000 PY - 2000// ER - TY - JOUR ID - DBLP:journals/amai/KowalskiS99 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - From Logic Programming Towards Multi-Agent Systems. JO - Ann. Math. Artif. Intell. VL - 25 IS - 3-4 SP - 391 EP - 419 PY - 1999// DO - 10.1023/A:1018934223383 UR - https://doi.org/10.1023/A:1018934223383 ER - TY - CPAPER ID - DBLP:conf/aiia/SadriT99 AU - Sadri, Fariba AU - Toni, Francesca TI - Abduction with Negation as Failure for Active and Reactive Rules. BT - AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings SP - 49 EP - 60 PY - 1999// DO - 10.1007/3-540-46238-4_5 UR - https://doi.org/10.1007/3-540-46238-4_5 ER - TY - CPAPER ID - DBLP:conf/jelia/DellAcquaST98 AU - Dell'Acqua, Pierangelo AU - Sadri, Fariba AU - Toni, Francesca TI - Combining Introspection and Communication with Rationality and Reactivity in Agents. BT - Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings SP - 17 EP - 32 PY - 1998// DO - 10.1007/3-540-49545-2_2 UR - https://doi.org/10.1007/3-540-49545-2_2 ER - TY - JOUR ID - DBLP:journals/jlp/KowalskiS97 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Reconciling the Event Calculus With the Situation Calculus. JO - J. Log. Program. VL - 31 IS - 1-3 SP - 39 EP - 58 PY - 1997// DO - 10.1016/S0743-1066(96)00137-9 UR - https://doi.org/10.1016/S0743-1066(96)00137-9 ER - TY - CPAPER ID - DBLP:conf/lid/KowalskiS96 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Towards a Unified Agent Architecture that Combines Rationality with Reactivity. BT - Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings SP - 137 EP - 149 PY - 1996// DO - 10.1007/BFB0031739 UR - https://doi.org/10.1007/BFb0031739 ER - TY - CPAPER ID - DBLP:conf/iclp/SadriK95 AU - Sadri, Fariba AU - Kowalski, Robert A. TI - Variants of the Event Calculus. BT - Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995 SP - 67 EP - 81 PY - 1995// ER - TY - CPAPER ID - DBLP:conf/slp/KowalskiS94 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - The Situation Calculus and Event Calculus Compared. BT - Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994 SP - 539 EP - 553 PY - 1994// ER - TY - JOUR ID - DBLP:journals/ngc/KowalskiS91 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Logic Programs with Exceptions. JO - New Gener. Comput. VL - 9 IS - 3/4 SP - 387 EP - 400 PY - 1991// DO - 10.1007/BF03037170 UR - https://doi.org/10.1007/BF03037170 ER - TY - CPAPER ID - DBLP:conf/iclp/KowalskiS90 AU - Kowalski, Robert A. AU - Sadri, Fariba TI - Logic Programs with Exceptions. BT - Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990 SP - 598 EP - 613 PY - 1990// ER - TY - THES ID - DBLP:phd/ethos/Sadri88 AU - Sadri, Fariba TI - A theorem-proving approach to database integrity. PY - 1988// UR - https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.717465 UR - https://hdl.handle.net/10044/1/47238 ER - TY - CHAP ID - DBLP:books/mk/minker88/SadriK88 AU - Sadri, Fariba AU - Kowalski, Robert A. TI - A Theorem-Proving Approach to Database Integrity. BT - Foundations of Deductive Databases and Logic Programming SP - 313 EP - 362 PY - 1988// PB - Morgan Kaufmann DO - 10.1016/B978-0-934613-40-8.50013-0 UR - https://doi.org/10.1016/b978-0-934613-40-8.50013-0 ER - TY - CPAPER ID - DBLP:conf/vldb/KowalskiSS87 AU - Kowalski, Robert A. AU - Sadri, Fariba AU - Soper, Paul TI - Integrity Checking in Deductive Databases. BT - VLDB'87, Proceedings of 13th International Conference on Very Large Data Bases, September 1-4, 1987, Brighton, England SP - 61 EP - 69 PY - 1987// UR - http://www.vldb.org/conf/1987/P061.PDF ER - TY - JOUR ID - DBLP:journals/cacm/SergotSKKHC86 AU - Sergot, Marek J. AU - Sadri, Fariba AU - Kowalski, Robert A. AU - Kriwaczek, F. AU - Hammond, Peter AU - Cory, H. T. TI - The British Nationality Act as a Logic Program. JO - Commun. ACM VL - 29 IS - 5 SP - 370 EP - 386 PY - 1986// DO - 10.1145/5689.5920 UR - https://doi.org/10.1145/5689.5920 ER -