Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alessandra Russo
@article{DBLP:journals/corr/abs-2402-01889,
author = {Daniel Cunnington and
Mark Law and
Jorge Lobo and
Alessandra Russo},
title = {The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning},
journal = {CoRR},
volume = {abs/2402.01889},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.01889},
doi = {10.48550/ARXIV.2402.01889},
eprinttype = {arXiv},
eprint = {2402.01889},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-01889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/CunningtonLLR23,
author = {Daniel Cunnington and
Mark Law and
Jorge Lobo and
Alessandra Russo},
title = {{FFNSL:} Feed-Forward Neural-Symbolic Learner},
journal = {Mach. Learn.},
volume = {112},
number = {2},
pages = {515--569},
year = {2023},
url = {https://doi.org/10.1007/s10994-022-06278-6},
doi = {10.1007/S10994-022-06278-6},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/CunningtonLLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CostantiniPRT23,
author = {Stefania Costantini and
Enrico Pontelli and
Alessandra Russo and
Francesca Toni},
title = {Introduction to the 39\({}^{\mbox{th}}\) International Conference
on Logic Programming Special Issue},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {624--631},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000212},
doi = {10.1017/S1471068423000212},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CostantiniPRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BaughCR23,
author = {Kexin Gu Baugh and
Nuri Cingillioglu and
Alessandra Russo},
editor = {Andreas Martin and
Hans{-}Georg Fill and
Aurona Gerber and
Knut Hinkelmann and
Doug Lenat and
Reinhard Stolle and
Frank van Harmelen},
title = {Neuro-symbolic Rule Learning in Real-world Classification Tasks},
booktitle = {Proceedings of the {AAAI} 2023 Spring Symposium on Challenges Requiring
the Combination of Machine Learning and Knowledge Engineering {(AAAI-MAKE}
2023), Hyatt Regency, San Francisco Airport, California, USA, March
27-29, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3433},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3433/paper12.pdf},
timestamp = {Wed, 02 Aug 2023 16:52:45 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/BaughCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ArdonFR23,
author = {Leo Ardon and
Daniel Furelos{-}Blanco and
Alessandra Russo},
editor = {Francesco Amigoni and
Arunesh Sinha},
title = {Learning Reward Machines in Cooperative Multi-agent Tasks},
booktitle = {Autonomous Agents and Multiagent Systems. Best and Visionary Papers
- {AAMAS} 2023 Workshops, London, UK, May 29 - June 2, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14456},
pages = {43--59},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-56255-6\_3},
doi = {10.1007/978-3-031-56255-6\_3},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/atal/ArdonFR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BelleFRKN23,
author = {Vaishak Belle and
Michael Fisher and
Alessandra Russo and
Ekaterina Komendantskaya and
Alistair Nottle},
editor = {Francesco Amigoni and
Arunesh Sinha},
title = {Neuro-Symbolic {AI} + Agent Systems: {A} First Reflection on Trends,
Opportunities and Challenges},
booktitle = {Autonomous Agents and Multiagent Systems. Best and Visionary Papers
- {AAMAS} 2023 Workshops, London, UK, May 29 - June 2, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14456},
pages = {180--200},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-56255-6\_10},
doi = {10.1007/978-3-031-56255-6\_10},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/BelleFRKN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/JabalB0VCR23,
author = {Amani Abu Jabal and
Elisa Bertino and
Jorge Lobo and
Dinesh C. Verma and
Seraphin B. Calo and
Alessandra Russo},
editor = {Mohamed Shehab and
Maribel Fern{\'{a}}ndez and
Ninghui Li},
title = {{FLAP} - {A} Federated Learning Framework for Attribute-based Access
Control Policies},
booktitle = {Proceedings of the Thirteenth {ACM} Conference on Data and Application
Security and Privacy, {CODASPY} 2023, Charlotte, NC, USA, April 24-26,
2023},
pages = {263--272},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3577923.3583641},
doi = {10.1145/3577923.3583641},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/JabalB0VCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/AlNegheimishMR23,
author = {Hadeel Al{-}Negheimish and
Pranava Madhyastha and
Alessandra Russo},
editor = {Andreas Vlachos and
Isabelle Augenstein},
title = {Towards preserving word order importance through Forced Invalidation},
booktitle = {Proceedings of the 17th Conference of the European Chapter of the
Association for Computational Linguistics, {EACL} 2023, Dubrovnik,
Croatia, May 2-6, 2023},
pages = {2555--2562},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.eacl-main.187},
doi = {10.18653/V1/2023.EACL-MAIN.187},
timestamp = {Thu, 05 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/AlNegheimishMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/Furelos-BlancoL23,
author = {Daniel Furelos{-}Blanco and
Mark Law and
Anders Jonsson and
Krysia Broda and
Alessandra Russo},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Hierarchies of Reward Machines},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {10494--10541},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/furelos-blanco23a.html},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/Furelos-BlancoL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CunningtonL0R23,
author = {Daniel Cunnington and
Mark Law and
Jorge Lobo and
Alessandra Russo},
title = {Neuro-Symbolic Learning of Answer Set Programs from Raw Data},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3586--3596},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/399},
doi = {10.24963/IJCAI.2023/399},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CunningtonL0R23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijclr/RaderR23,
author = {Alexander Philipp Rader and
Alessandra Russo},
editor = {Pablo Le{\'{o}}n Villagr{\'{a}} and
Xue Li},
title = {Active Learning in Neurosymbolic {AI} with Embed2Sym},
booktitle = {Proceedings of the International Workshop on Cognitive {AI} 2023 co-located
with the 3rd International Conference on Learning {\&} Reasoning
{(IJCLR} 2023), Bari, Italy, 13-15 November 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3644},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3644/IJCLR2023\_paper\_20\_new.pdf},
timestamp = {Fri, 12 Apr 2024 20:58:03 +0200},
biburl = {https://dblp.org/rec/conf/ijclr/RaderR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/IeloLFRGR23,
author = {Antonio Ielo and
Mark Law and
Valeria Fionda and
Francesco Ricca and
Giuseppe De Giacomo and
Alessandra Russo},
editor = {Elena Bellodi and
Francesca Alessandra Lisi and
Riccardo Zese},
title = {Towards ILP-Based {LTL} f Passive Learning},
booktitle = {Inductive Logic Programming - 32nd International Conference, {ILP}
2023, Bari, Italy, November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14363},
pages = {30--45},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49299-0\_3},
doi = {10.1007/978-3-031-49299-0\_3},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/IeloLFRGR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2308-14898,
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385},
doi = {10.4204/EPTCS.385},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14061,
author = {Leo Ardon and
Daniel Furelos{-}Blanco and
Alessandra Russo},
title = {Learning Reward Machines in Cooperative Multi-Agent Tasks},
journal = {CoRR},
volume = {abs/2303.14061},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14061},
doi = {10.48550/ARXIV.2303.14061},
eprinttype = {arXiv},
eprint = {2303.14061},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16674,
author = {Kexin Gu Baugh and
Nuri Cingillioglu and
Alessandra Russo},
title = {Neuro-symbolic Rule Learning in Real-world Classification Tasks},
journal = {CoRR},
volume = {abs/2303.16674},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16674},
doi = {10.48550/ARXIV.2303.16674},
eprinttype = {arXiv},
eprint = {2303.16674},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-05221,
author = {Hadeel Al{-}Negheimish and
Pranava Madhyastha and
Alessandra Russo},
title = {Towards preserving word order importance through Forced Invalidation},
journal = {CoRR},
volume = {abs/2304.05221},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.05221},
doi = {10.48550/ARXIV.2304.05221},
eprinttype = {arXiv},
eprint = {2304.05221},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-05221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-17175,
author = {Rakhilya Lee Mekhtieva and
Brandon Forbes and
Dalal Alrajeh and
Brendan Delaney and
Alessandra Russo},
title = {{RECAP-KG:} Mining Knowledge Graphs from Raw {GP} Notes for Remote
{COVID-19} Assessment in Primary Care},
journal = {CoRR},
volume = {abs/2306.17175},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.17175},
doi = {10.48550/ARXIV.2306.17175},
eprinttype = {arXiv},
eprint = {2306.17175},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-17175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-04132,
author = {Amrit Diggavi Seshadri and
Alessandra Russo},
title = {Reasoning over the Behaviour of Objects in Video-Clips for Adverb-Type
Recognition},
journal = {CoRR},
volume = {abs/2307.04132},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.04132},
doi = {10.48550/ARXIV.2307.04132},
eprinttype = {arXiv},
eprint = {2307.04132},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-04132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-05145,
author = {Theo Charalambous and
Yaniv Aspis and
Alessandra Russo},
title = {NeuralFastLAS: Fast Logic-Based Learning from Raw Data},
journal = {CoRR},
volume = {abs/2310.05145},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.05145},
doi = {10.48550/ARXIV.2310.05145},
eprinttype = {arXiv},
eprint = {2310.05145},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-05145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-12309,
author = {Zlatina Mileva and
Antonis Bikakis and
Fabio Aurelio D'Asaro and
Mark Law and
Alessandra Russo},
title = {A Unifying Framework for Learning Argumentation Semantics},
journal = {CoRR},
volume = {abs/2310.12309},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.12309},
doi = {10.48550/ARXIV.2310.12309},
eprinttype = {arXiv},
eprint = {2310.12309},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-12309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/MitchenerTCR22,
author = {Ludovico Mitchener and
David Tuckey and
Matthew Crosby and
Alessandra Russo},
title = {Detect, Understand, Act: {A} Neuro-symbolic Hierarchical Reinforcement
Learning Framework},
journal = {Mach. Learn.},
volume = {111},
number = {4},
pages = {1523--1549},
year = {2022},
url = {https://doi.org/10.1007/s10994-022-06142-7},
doi = {10.1007/S10994-022-06142-7},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/MitchenerTCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TuckeyBR22,
author = {David Tuckey and
Krysia Broda and
Alessandra Russo},
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {A Semantics For Probabilistic Answer Set Programs With Incomplete
Stochastic Knowledge},
booktitle = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193/paper4ASPOCP.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TuckeyBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LawBR22,
author = {Mark Law and
Krysia Broda and
Alessandra Russo},
editor = {Luc De Raedt},
title = {Search Space Expansion for Efficient Incremental Inductive Logic Programming
from Streamed Data},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2697--2704},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/374},
doi = {10.24963/IJCAI.2022/374},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LawBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MitchenerTCR22,
author = {Ludovico Mitchener and
David Tuckey and
Matthew Crosby and
Alessandra Russo},
editor = {Luc De Raedt},
title = {Detect, Understand, Act: {A} Neuro-Symbolic Hierarchical Reinforcement
Learning Framework (Extended Abstract)},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5314--5318},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/742},
doi = {10.24963/IJCAI.2022/742},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MitchenerTCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AspisB0R22,
author = {Yaniv Aspis and
Krysia Broda and
Jorge Lobo and
Alessandra Russo},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/44/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/AspisB0R22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/StromfeltDGR22,
author = {Harald Str{\"{o}}mfelt and
Luke Dickens and
Artur S. d'Avila Garcez and
Alessandra Russo},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Formalizing Consistency and Coherence of Representation Learning},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/2d95270d763751439626d91f57e9a750-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/StromfeltDGR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-12735,
author = {Daniel Cunnington and
Mark Law and
Jorge Lobo and
Alessandra Russo},
title = {Inductive Learning of Complex Knowledge from Raw Data},
journal = {CoRR},
volume = {abs/2205.12735},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.12735},
doi = {10.48550/ARXIV.2205.12735},
eprinttype = {arXiv},
eprint = {2205.12735},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-12735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15752,
author = {Daniel Furelos{-}Blanco and
Mark Law and
Anders Jonsson and
Krysia Broda and
Alessandra Russo},
title = {Hierarchies of Reward Machines},
journal = {CoRR},
volume = {abs/2205.15752},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15752},
doi = {10.48550/ARXIV.2205.15752},
eprinttype = {arXiv},
eprint = {2205.15752},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15752.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-10129,
author = {Jeya Vikranth Jeyakumar and
Luke Dickens and
Luis Garcia and
Yu{-}Hsi Cheng and
Diego Ramirez{-}Echavarria and
Joseph Noor and
Alessandra Russo and
Lance M. Kaplan and
Erik Blasch and
Mani B. Srivastava},
title = {Automatic Concept Extraction for Concept Bottleneck-based Video Classification},
journal = {CoRR},
volume = {abs/2206.10129},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.10129},
doi = {10.48550/ARXIV.2206.10129},
eprinttype = {arXiv},
eprint = {2206.10129},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-10129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07512,
author = {Alex F. Spies and
Alessandra Russo and
Murray Shanahan},
title = {Sparse Relational Reasoning with Object-Centric Representations},
journal = {CoRR},
volume = {abs/2207.07512},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.07512},
doi = {10.48550/ARXIV.2207.07512},
eprinttype = {arXiv},
eprint = {2207.07512},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-07512.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Furelos-BlancoL21,
author = {Daniel Furelos{-}Blanco and
Mark Law and
Anders Jonsson and
Krysia Broda and
Alessandra Russo},
title = {Induction and Exploitation of Subgoal Automata for Reinforcement Learning},
journal = {J. Artif. Intell. Res.},
volume = {70},
pages = {1031--1116},
year = {2021},
url = {https://doi.org/10.1613/jair.1.12372},
doi = {10.1613/JAIR.1.12372},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Furelos-BlancoL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/CunningtonL0R21,
author = {Daniel Cunnington and
Mark Law and
Jorge Lobo and
Alessandra Russo},
editor = {Marianna Bergamaschi Ganapini and
Lior Horesh and
Lu{\'{\i}}s C. Lamb and
Andrea Loreggia and
Nicholas Mattei and
Francesca Rossi and
Biplav Srivastava and
Kristen Brent Venable},
title = {Inductive Learning of Complex Knowledge from Raw Data},
booktitle = {Proceedings of the Thinking Fast and Slow and Other Cognitive Theories
in AI, a {AAAI} 2022 Fall Symposium, Westin Arlington Gateway in Arlington,
Virginia, November 17-19, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3332},
publisher = {CEUR-WS.org},
year = {2021},
url = {http://ceur-ws.org/Vol-3332/paper6.pdf},
timestamp = {Tue, 23 Jan 2024 13:25:45 +0100},
biburl = {https://dblp.org/rec/conf/aaaifs/CunningtonL0R21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/Al-NegheimishMR21,
author = {Hadeel Al{-}Negheimish and
Pranava Madhyastha and
Alessandra Russo},
editor = {Ionut{-}Teodor Sorodoc and
Madhumita Sushil and
Ece Takmaz and
Eneko Agirre},
title = {Discrete Reasoning Templates for Natural Language Understanding},
booktitle = {Proceedings of the 16th Conference of the European Chapter of the
Association for Computational Linguistics: Student Research Workshop,
{EACL} 2021, Online, April 19-23, 2021},
pages = {80--87},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://doi.org/10.18653/v1/2021.eacl-srw.12},
doi = {10.18653/V1/2021.EACL-SRW.12},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eacl/Al-NegheimishMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/Al-NegheimishMR21,
author = {Hadeel Al{-}Negheimish and
Pranava Madhyastha and
Alessandra Russo},
editor = {Marie{-}Francine Moens and
Xuanjing Huang and
Lucia Specia and
Scott Wen{-}tau Yih},
title = {Numerical reasoning in machine reading comprehension tasks: are we
there yet?},
booktitle = {Proceedings of the 2021 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2021, Virtual Event / Punta Cana, Dominican
Republic, 7-11 November, 2021},
pages = {9643--9649},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://doi.org/10.18653/v1/2021.emnlp-main.759},
doi = {10.18653/V1/2021.EMNLP-MAIN.759},
timestamp = {Fri, 16 Feb 2024 08:27:36 +0100},
biburl = {https://dblp.org/rec/conf/emnlp/Al-NegheimishMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fusion/CunningtonLRLK21,
author = {Daniel Cunnington and
Mark Law and
Alessandra Russo and
Jorge Lobo and
Lance M. Kaplan},
title = {Towards Neural-Symbolic Learning to support Human-Agent Operations},
booktitle = {24th {IEEE} International Conference on Information Fusion, {FUSION}
2021, Sun City, South Africa, November 1-4, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://ieeexplore.ieee.org/document/9626876},
timestamp = {Fri, 10 Dec 2021 09:50:55 +0100},
biburl = {https://dblp.org/rec/conf/fusion/CunningtonLRLK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LawRBB21,
author = {Mark Law and
Alessandra Russo and
Krysia Broda and
Elisa Bertino},
editor = {Zhi{-}Hua Zhou},
title = {Scalable Non-observational Predicate Learning in {ASP}},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1936--1943},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/267},
doi = {10.24963/IJCAI.2021/267},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LawRBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/CingilliogluR21,
author = {Nuri Cingillioglu and
Alessandra Russo},
editor = {Artur S. d'Avila Garcez and
Ernesto Jim{\'{e}}nez{-}Ruiz},
title = {pix2rule: End-to-end Neuro-symbolic Rule Learning},
booktitle = {Proceedings of the 15th International Workshop on Neural-Symbolic
Learning and Reasoning as part of the 1st International Joint Conference
on Learning {\&} Reasoning {(IJCLR} 2021), Virtual conference,
October 25-27, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2986},
pages = {15--56},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2986/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/nesy/CingilliogluR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nesy/StromfeltDGR21,
author = {Harald Str{\"{o}}mfelt and
Luke Dickens and
Artur S. d'Avila Garcez and
Alessandra Russo},
editor = {Artur S. d'Avila Garcez and
Ernesto Jim{\'{e}}nez{-}Ruiz},
title = {Coherent and Consistent Relational Transfer Learning with Auto-encoders},
booktitle = {Proceedings of the 15th International Workshop on Neural-Symbolic
Learning and Reasoning as part of the 1st International Joint Conference
on Learning {\&} Reasoning {(IJCLR} 2021), Virtual conference,
October 25-27, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2986},
pages = {176--192},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2986/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nesy/StromfeltDGR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpsisa/DrozdovLLRD21,
author = {Arthur Drozdov and
Mark Law and
Jorge Lobo and
Alessandra Russo and
Mercion Wilathgamuwage Don},
title = {Online Symbolic Learning of Policies for Explainable Security},
booktitle = {3rd {IEEE} International Conference on Trust, Privacy and Security
in Intelligent Systems and Applications, {TPS-ISA} 2021, Atlanta,
GA, USA, December 13-15, 2021},
pages = {269--278},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TPSISA52974.2021.00030},
doi = {10.1109/TPSISA52974.2021.00030},
timestamp = {Thu, 21 Apr 2022 16:21:01 +0200},
biburl = {https://dblp.org/rec/conf/tpsisa/DrozdovLLRD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06644,
author = {Th{\'{e}}ophile Sautory and
Nuri Cingillioglu and
Alessandra Russo},
title = {HySTER: {A} Hybrid Spatio-Temporal Event Reasoner},
journal = {CoRR},
volume = {abs/2101.06644},
year = {2021},
url = {https://arxiv.org/abs/2101.06644},
eprinttype = {arXiv},
eprint = {2101.06644},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-06644.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-02115,
author = {Hadeel Al{-}Negheimish and
Pranava Madhyastha and
Alessandra Russo},
title = {Discrete Reasoning Templates for Natural Language Understanding},
journal = {CoRR},
volume = {abs/2104.02115},
year = {2021},
url = {https://arxiv.org/abs/2104.02115},
eprinttype = {arXiv},
eprint = {2104.02115},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-02115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10908,
author = {David Tuckey and
Alessandra Russo and
Krysia Broda},
title = {{PASOCS:} {A} Parallel Approximate Solver for Probabilistic Logic
Programs under the Credal Semantics},
journal = {CoRR},
volume = {abs/2105.10908},
year = {2021},
url = {https://arxiv.org/abs/2105.10908},
eprinttype = {arXiv},
eprint = {2105.10908},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-07487,
author = {Nuri Cingillioglu and
Alessandra Russo},
title = {pix2rule: End-to-end Neuro-symbolic Rule Learning},
journal = {CoRR},
volume = {abs/2106.07487},
year = {2021},
url = {https://arxiv.org/abs/2106.07487},
eprinttype = {arXiv},
eprint = {2106.07487},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-07487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13103,
author = {Daniel Cunnington and
Mark Law and
Alessandra Russo and
Jorge Lobo},
title = {{FF-NSL:} Feed-Forward Neural-Symbolic Learner},
journal = {CoRR},
volume = {abs/2106.13103},
year = {2021},
url = {https://arxiv.org/abs/2106.13103},
eprinttype = {arXiv},
eprint = {2106.13103},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-13103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08207,
author = {Hadeel Al{-}Negheimish and
Pranava Madhyastha and
Alessandra Russo},
title = {Numerical reasoning in machine reading comprehension tasks: are we
there yet?},
journal = {CoRR},
volume = {abs/2109.08207},
year = {2021},
url = {https://arxiv.org/abs/2109.08207},
eprinttype = {arXiv},
eprint = {2109.08207},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/CasaleAHHJLLPPR20,
author = {Giuliano Casale and
Matej Artac and
Willem{-}Jan van den Heuvel and
Andr{\'{e}} van Hoorn and
Pelle Jakovits and
Frank Leymann and
M. Long and
V. Papanikolaou and
Domenico Presenza and
Alessandra Russo and
Satish Narayana Srirama and
Damian A. Tamburri and
Michael Wurster and
Lulai Zhu},
title = {{RADON:} rational decomposition and orchestration for serverless computing},
journal = {{SICS} Softw.-Intensive Cyber Phys. Syst.},
volume = {35},
number = {1-2},
pages = {77--87},
year = {2020},
url = {https://doi.org/10.1007/s00450-019-00413-w},
doi = {10.1007/S00450-019-00413-W},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ife/CasaleAHHJLLPPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RussoS20,
author = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Model-based software quality assurance tools and techniques presented
at {FASE} 2018},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {1},
pages = {1--2},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00541-3},
doi = {10.1007/S10009-019-00541-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RussoS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiccaR20,
author = {Francesco Ricca and
Alessandra Russo},
title = {Introduction to the 36th International Conference on Logic Programming
Special Issue {I}},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {5},
pages = {587--592},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000149},
doi = {10.1017/S1471068420000149},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/RiccaR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiccaR20a,
author = {Francesco Ricca and
Alessandra Russo},
title = {Introduction to the 36th International Conference on Logic Programming
Special Issue {II}},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {6},
pages = {815--817},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000150},
doi = {10.1017/S1471068420000150},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/RiccaR20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LawRBB020,
author = {Mark Law and
Alessandra Russo and
Elisa Bertino and
Krysia Broda and
Jorge Lobo},
title = {FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific
Optimisation Criteria},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2877--2885},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5678},
doi = {10.1609/AAAI.V34I03.5678},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LawRBB020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Furelos-BlancoL20,
author = {Daniel Furelos{-}Blanco and
Mark Law and
Alessandra Russo and
Krysia Broda and
Anders Jonsson},
title = {Induction of Subgoal Automata for Reinforcement Learning},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {3890--3897},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i04.5802},
doi = {10.1609/AAAI.V34I04.5802},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/Furelos-BlancoL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GomoluchARB20,
author = {Pawel Gomoluch and
Dalal Alrajeh and
Alessandra Russo and
Antonio Bucchiarone},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Learning Neural Search Policies for Classical Planning},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {522--530},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6748},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/GomoluchARB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/JabalBLLRCV20,
author = {Amani Abu Jabal and
Elisa Bertino and
Jorge Lobo and
Mark Law and
Alessandra Russo and
Seraphin B. Calo and
Dinesh C. Verma},
editor = {Liqun Chen and
Ninghui Li and
Kaitai Liang and
Steve A. Schneider},
title = {Polisma - {A} Framework for Learning Attribute-Based Access Control
Policies},
booktitle = {Computer Security - {ESORICS} 2020 - 25th European Symposium on Research
in Computer Security, {ESORICS} 2020, Guildford, UK, September 14-18,
2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12308},
pages = {523--544},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58951-6\_26},
doi = {10.1007/978-3-030-58951-6\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/JabalBLLRCV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/XiaBR20,
author = {Shuang Xia and
Krysia Broda and
Alessandra Russo},
editor = {Gr{\'{e}}goire Danoy and
Jun Pang and
Geoff Sutcliffe},
title = {Topical Neural Theorem Prover that Induces Rules},
booktitle = {6th Global Conference on Artificial Intelligence, {GCAI} 2020, Hangzhou,
China, April 6-9, 2020},
series = {EPiC Series in Computing},
volume = {72},
pages = {107--120},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/wscr},
doi = {10.29007/WSCR},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcai/XiaBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TuckeyBR20,
author = {David Tuckey and
Krysia Broda and
Alessandra Russo},
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {Towards Structure Learning under the Credal Semantics},
booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TuckeyBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AspisBR020,
author = {Yaniv Aspis and
Krysia Broda and
Alessandra Russo and
Jorge Lobo},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Stable and Supported Semantics in Continuous Vector Spaces},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {59--68},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/7},
doi = {10.24963/KR.2020/7},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AspisBR020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/CingilliogluR20,
author = {Nuri Cingillioglu and
Alessandra Russo},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Learning Invariants through Soft Unification},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/5d0d5594d24f0f955548f0fc0ff83d10-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/CingilliogluR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/0001BR20,
author = {Jorge Lobo and
Elisa Bertino and
Alessandra Russo},
editor = {Jorge Lobo and
Scott D. Stoller and
Peng Liu},
title = {On Security Policy Migrations},
booktitle = {Proceedings of the 25th {ACM} Symposium on Access Control Models and
Technologies, {SACMAT} 2020, Barcelona, Spain, June 10-12, 2020},
pages = {179--188},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3381991.3395613},
doi = {10.1145/3381991.3395613},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/0001BR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-09158,
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325},
doi = {10.4204/EPTCS.325},
timestamp = {Wed, 04 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00749,
author = {David Tuckey and
Alessandra Russo and
Krysia Broda},
title = {A general framework for scientifically inspired explanations in {AI}},
journal = {CoRR},
volume = {abs/2003.00749},
year = {2020},
url = {https://arxiv.org/abs/2003.00749},
eprinttype = {arXiv},
eprint = {2003.00749},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00749.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00904,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
title = {The {ILASP} system for Inductive Learning of Answer Set Programs},
journal = {CoRR},
volume = {abs/2005.00904},
year = {2020},
url = {https://arxiv.org/abs/2005.00904},
eprinttype = {arXiv},
eprint = {2005.00904},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-07119,
author = {Daniel Pace and
Alessandra Russo and
Murray Shanahan},
title = {Learning Diverse Representations for Fast Adaptation to Distribution
Shift},
journal = {CoRR},
volume = {abs/2006.07119},
year = {2020},
url = {https://arxiv.org/abs/2006.07119},
eprinttype = {arXiv},
eprint = {2006.07119},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-07119.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-03855,
author = {Daniel Furelos{-}Blanco and
Mark Law and
Anders Jonsson and
Krysia Broda and
Alessandra Russo},
title = {Induction and Exploitation of Subgoal Automata for Reinforcement Learning},
journal = {CoRR},
volume = {abs/2009.03855},
year = {2020},
url = {https://arxiv.org/abs/2009.03855},
eprinttype = {arXiv},
eprint = {2009.03855},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-03855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09767,
author = {Amani Abu Jabal and
Elisa Bertino and
Jorge Lobo and
Dinesh C. Verma and
Seraphin B. Calo and
Alessandra Russo},
title = {{FLAP} - {A} Federated Learning Framework for Attribute-based Access
Control Policies},
journal = {CoRR},
volume = {abs/2010.09767},
year = {2020},
url = {https://arxiv.org/abs/2010.09767},
eprinttype = {arXiv},
eprint = {2010.09767},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-07137,
author = {Harald Str{\"{o}}mfelt and
Luke Dickens and
Artur S. d'Avila Garcez and
Alessandra Russo},
title = {On the Transferability of {VAE} Embeddings using Relational Knowledge
with Semi-Supervision},
journal = {CoRR},
volume = {abs/2011.07137},
year = {2020},
url = {https://arxiv.org/abs/2011.07137},
eprinttype = {arXiv},
eprint = {2011.07137},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-07137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-05023,
author = {Daniel Cunnington and
Alessandra Russo and
Mark Law and
Jorge Lobo and
Lance M. Kaplan},
title = {{NSL:} Hybrid Interpretable Learning From Noisy Raw Data},
journal = {CoRR},
volume = {abs/2012.05023},
year = {2020},
url = {https://arxiv.org/abs/2012.05023},
eprinttype = {arXiv},
eprint = {2012.05023},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-05023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/JabalDBMCVRW19,
author = {Amani Abu Jabal and
Maryam Davari and
Elisa Bertino and
Christian Makaya and
Seraphin B. Calo and
Dinesh C. Verma and
Alessandra Russo and
Christopher Williams},
title = {Methods and Tools for Policy Analysis},
journal = {{ACM} Comput. Surv.},
volume = {51},
number = {6},
pages = {121:1--121:35},
year = {2019},
url = {https://doi.org/10.1145/3295749},
doi = {10.1145/3295749},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/JabalDBMCVRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RussoSW19,
author = {Alessandra Russo and
Andy Sch{\"{u}}rr and
Heike Wehrheim},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {31},
number = {5},
pages = {457--458},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00495-y},
doi = {10.1007/S00165-019-00495-Y},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RussoSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LawRBB019,
author = {Mark Law and
Alessandra Russo and
Elisa Bertino and
Krysia Broda and
Jorge Lobo},
title = {Representing and Learning Grammars in Answer Set Programming},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2919--2928},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012919},
doi = {10.1609/AAAI.V33I01.33012919},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LawRBB019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CingilliogluR19,
author = {Nuri Cingillioglu and
Alessandra Russo},
editor = {Andreas Martin and
Knut Hinkelmann and
Aurona Gerber and
Doug Lenat and
Frank van Harmelen and
Peter Clark},
title = {DeepLogic: Towards End-to-End Differentiable Logical Reasoning},
booktitle = {Proceedings of the {AAAI} 2019 Spring Symposium on Combining Machine
Learning with Knowledge Engineering {(AAAI-MAKE} 2019) Stanford University,
Palo Alto, California, USA, March 25-27, 2019., Stanford University,
Palo Alto, California, USA, March 25-27, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2350},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2350/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/CingilliogluR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GomoluchAR19,
author = {Pawel Gomoluch and
Dalal Alrajeh and
Alessandra Russo},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Learning Classical Planning Strategies with Policy Gradient},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {637--645},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3531},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/GomoluchAR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/CunningtonLRBC19,
author = {Daniel Cunnington and
Mark Law and
Alessandra Russo and
Elisa Bertino and
Seraphin B. Calo},
editor = {Chaitanya K. Baru and
Jun Huan and
Latifur Khan and
Xiaohua Hu and
Ronay Ak and
Yuanyuan Tian and
Roger S. Barga and
Carlo Zaniolo and
Kisung Lee and
Yanfang (Fanny) Ye},
title = {Towards a Neural-Symbolic Generative Policy Model},
booktitle = {2019 {IEEE} International Conference on Big Data {(IEEE} BigData),
Los Angeles, CA, USA, December 9-12, 2019},
pages = {4008--4016},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BigData47090.2019.9005569},
doi = {10.1109/BIGDATA47090.2019.9005569},
timestamp = {Tue, 18 Oct 2022 14:44:48 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/CunningtonLRBC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/VermaCBR019,
author = {Dinesh C. Verma and
Seraphin B. Calo and
Elisa Bertino and
Alessandra Russo and
Graham White},
editor = {Chaitanya K. Baru and
Jun Huan and
Latifur Khan and
Xiaohua Hu and
Ronay Ak and
Yuanyuan Tian and
Roger S. Barga and
Carlo Zaniolo and
Kisung Lee and
Yanfang (Fanny) Ye},
title = {Policy based Ensembles for applying {ML} on Big Data},
booktitle = {2019 {IEEE} International Conference on Big Data {(IEEE} BigData),
Los Angeles, CA, USA, December 9-12, 2019},
pages = {4038--4044},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BigData47090.2019.9006193},
doi = {10.1109/BIGDATA47090.2019.9006193},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/VermaCBR019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Bertino00ICRLCM19,
author = {Elisa Bertino and
Graham White and
Jorge Lobo and
John Ingham and
Gregory H. Cirincione and
Alessandra Russo and
Mark Law and
Seraphin B. Calo and
Irene Manotas and
Dinesh C. Verma and
Amani Abu Jabal and
Daniel Cunnington and
Geeth de Mel},
title = {Generative Policies for Coalition Systems - {A} Symbolic Learning
Framework},
booktitle = {39th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2019, Dallas, TX, USA, July 7-10, 2019},
pages = {1590--1600},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICDCS.2019.00158},
doi = {10.1109/ICDCS.2019.00158},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/Bertino00ICRLCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/WhiteCLBMR19,
author = {Graham White and
Daniel Cunnington and
Mark Law and
Elisa Bertino and
Geeth de Mel and
Alessandra Russo},
editor = {M. Arif Wani and
Taghi M. Khoshgoftaar and
Dingding Wang and
Huanjing Wang and
Naeem Seliya},
title = {A Comparison Between Statistical and Symbolic Learning Approaches
for Generative Policy Models},
booktitle = {18th {IEEE} International Conference On Machine Learning And Applications,
{ICMLA} 2019, Boca Raton, FL, USA, December 16-19, 2019},
pages = {1314--1321},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICMLA.2019.00214},
doi = {10.1109/ICMLA.2019.00214},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmla/WhiteCLBMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/CunningtonMLMCB19,
author = {Daniel Cunnington and
Irene Manotas and
Mark Law and
Geeth de Mel and
Seraphin B. Calo and
Elisa Bertino and
Alessandra Russo},
title = {A Generative Policy Model for Connected and Autonomous Vehicles},
booktitle = {2019 {IEEE} Intelligent Transportation Systems Conference, {ITSC}
2019, Auckland, New Zealand, October 27-30, 2019},
pages = {1558--1565},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ITSC.2019.8916782},
doi = {10.1109/ITSC.2019.8916782},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/CunningtonMLMCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/LawRB19,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
editor = {Markus Kr{\"{o}}tzsch and
Daria Stepanova},
title = {Logic-Based Learning of Answer Set Programs},
booktitle = {Reasoning Web. Explainable Artificial Intelligence - 15th International
Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {11810},
pages = {196--231},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31423-1\_6},
doi = {10.1007/978-3-030-31423-1\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/LawRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/WhiteILR19,
author = {Graham White and
John Ingham and
Mark Law and
Alessandra Russo},
title = {Using an {ASG} Based Generative Policy to Model Human Rules},
booktitle = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2019,
Washington, DC, USA, June 12-15, 2019},
pages = {99--103},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SMARTCOMP.2019.00036},
doi = {10.1109/SMARTCOMP.2019.00036},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartcomp/WhiteILR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2019,
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906},
doi = {10.1145/3338906},
isbn = {978-1-4503-5572-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05664,
author = {David Tuckey and
Krysia Broda and
Alessandra Russo},
title = {Saliency Maps Generation for Automatic Text Summarization},
journal = {CoRR},
volume = {abs/1907.05664},
year = {2019},
url = {http://arxiv.org/abs/1907.05664},
eprinttype = {arXiv},
eprint = {1907.05664},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-07328,
author = {Nuri Cingillioglu and
Alessandra Russo},
title = {Learning Invariants through Soft Unification},
journal = {CoRR},
volume = {abs/1909.07328},
year = {2019},
url = {http://arxiv.org/abs/1909.07328},
eprinttype = {arXiv},
eprint = {1909.07328},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-12200,
author = {Pawel Gomoluch and
Dalal Alrajeh and
Alessandra Russo and
Antonio Bucchiarone},
title = {Learning Neural Search Policies for Classical Planning},
journal = {CoRR},
volume = {abs/1911.12200},
year = {2019},
url = {http://arxiv.org/abs/1911.12200},
eprinttype = {arXiv},
eprint = {1911.12200},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-12200.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-13152,
author = {Daniel Furelos{-}Blanco and
Mark Law and
Alessandra Russo and
Krysia Broda and
Anders Jonsson},
title = {Induction of Subgoal Automata for Reinforcement Learning},
journal = {CoRR},
volume = {abs/1911.13152},
year = {2019},
url = {http://arxiv.org/abs/1911.13152},
eprinttype = {arXiv},
eprint = {1911.13152},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-13152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LawRB18,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
title = {The complexity and generality of learning answer set programs},
journal = {Artif. Intell.},
volume = {259},
pages = {110--146},
year = {2018},
url = {https://doi.org/10.1016/j.artint.2018.03.005},
doi = {10.1016/J.ARTINT.2018.03.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LawRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/CussensR18,
author = {James Cussens and
Alessandra Russo},
title = {Preface to the special issue on inductive logic programming},
journal = {Mach. Learn.},
volume = {107},
number = {7},
pages = {1095--1096},
year = {2018},
url = {https://doi.org/10.1007/s10994-018-5720-6},
doi = {10.1007/S10994-018-5720-6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ml/CussensR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AlrajehR16,
author = {Dalal Alrajeh and
Alessandra Russo},
editor = {Amel Bennaceur and
Reiner H{\"{a}}hnle and
Karl Meinke},
title = {Logic-Based Learning: Theory and Application},
booktitle = {Machine Learning for Dynamic Software Analysis: Potentials and Limits
- International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany,
April 24-27, 2016, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {11026},
pages = {219--256},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96562-8\_9},
doi = {10.1007/978-3-319-96562-8\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AlrajehR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/CaloMMCLVRB18,
author = {Seraphin B. Calo and
Irene Manotas and
Geeth de Mel and
Daniel Cunnington and
Mark Law and
Dinesh C. Verma and
Alessandra Russo and
Elisa Bertino},
editor = {Seraphin B. Calo and
Elisa Bertino and
Dinesh C. Verma},
title = {{AGENP:} An ASGrammar-based GENerative Policy Framework},
booktitle = {Policy-Based Autonomic Data Governance [extended papers from the Second
International Workshop on Policy-based Autonomic Data Governance,
PADG@ESORICS 2018, September 6, 2018, Barcelona, Spain]},
series = {Lecture Notes in Computer Science},
volume = {11550},
pages = {3--20},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-17277-0\_1},
doi = {10.1007/978-3-030-17277-0\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/CaloMMCLVRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WuRLI18,
author = {Benjamin Wu and
Alessandra Russo and
Mark Law and
Katsumi Inoue},
editor = {Alessandro Dal Pal{\`{u}} and
Paul Tarau and
Neda Saeedloei and
Paul Fodor},
title = {Learning Commonsense Knowledge Through Interactive Dialogue},
booktitle = {Technical Communications of the 34th International Conference on Logic
Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
series = {OASIcs},
volume = {64},
pages = {12:1--12:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.ICLP.2018.12},
doi = {10.4230/OASICS.ICLP.2018.12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WuRLI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AspisBR18,
author = {Yaniv Aspis and
Krysia Broda and
Alessandra Russo},
editor = {Fabrizio Riguzzi and
Elena Bellodi and
Riccardo Zese},
title = {Tensor-Based Abduction in Horn Propositional Programs},
booktitle = {Up-and-Coming and Short Papers of the 28th International Conference
on Inductive Logic Programming {(ILP} 2018), Ferrara, Italy, September
2-4, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2206},
pages = {68--75},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2206/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/AspisBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2018,
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1},
doi = {10.1007/978-3-319-89363-1},
isbn = {978-3-319-89362-4},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-07433,
author = {Nuri Cingillioglu and
Alessandra Russo},
title = {DeepLogic: End-to-End Logical Reasoning},
journal = {CoRR},
volume = {abs/1805.07433},
year = {2018},
url = {http://arxiv.org/abs/1805.07433},
eprinttype = {arXiv},
eprint = {1805.07433},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-08441,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
title = {Inductive Learning of Answer Set Programs from Noisy Examples},
journal = {CoRR},
volume = {abs/1808.08441},
year = {2018},
url = {http://arxiv.org/abs/1808.08441},
eprinttype = {arXiv},
eprint = {1808.08441},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08441.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-09923,
author = {Pawel Gomoluch and
Dalal Alrajeh and
Alessandra Russo},
title = {Learning Classical Planning Strategies with Policy Gradient},
journal = {CoRR},
volume = {abs/1810.09923},
year = {2018},
url = {http://arxiv.org/abs/1810.09923},
eprinttype = {arXiv},
eprint = {1810.09923},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/RankothgeLRL17,
author = {Windhya Rankothge and
Franck Le and
Alessandra Russo and
Jorge Lobo},
title = {Optimizing Resource Allocation for Virtualized Network Functions in
a Cloud Center Using Genetic Algorithms},
journal = {{IEEE} Trans. Netw. Serv. Manag.},
volume = {14},
number = {2},
pages = {343--356},
year = {2017},
url = {https://doi.org/10.1109/TNSM.2017.2686979},
doi = {10.1109/TNSM.2017.2686979},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnsm/RankothgeLRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/BertinoMRCV17,
author = {Elisa Bertino and
Geeth de Mel and
Alessandra Russo and
Seraphin B. Calo and
Dinesh C. Verma},
editor = {Jian{-}Yun Nie and
Zoran Obradovic and
Toyotaro Suzumura and
Rumi Ghosh and
Raghunath Nambiar and
Chonggang Wang and
Hui Zang and
Ricardo Baeza{-}Yates and
Xiaohua Hu and
Jeremy Kepner and
Alfredo Cuzzocrea and
Jian Tang and
Masashi Toyoda},
title = {Community-based self generation of policies and processes for assets:
Concepts and research directions},
booktitle = {2017 {IEEE} International Conference on Big Data {(IEEE} BigData 2017),
Boston, MA, USA, December 11-14, 2017},
pages = {2961--2969},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/BigData.2017.8258265},
doi = {10.1109/BIGDATA.2017.8258265},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/BertinoMRCV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/commonsense/ChabierskiRLB17,
author = {Piotr Chabierski and
Alessandra Russo and
Mark Law and
Krysia Broda},
editor = {Andrew S. Gordon and
Rob Miller and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Machine Comprehension of Text Using Combinatory Categorial Grammar
and Answer Set Programs},
booktitle = {Proceedings of the Thirteenth International Symposium on Commonsense
Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2052},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2052/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/commonsense/ChabierskiRLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RafiqDRBYSLCPN17,
author = {Yasmin Rafiq and
Luke Dickens and
Alessandra Russo and
Arosha K. Bandara and
Mu Yang and
Avelie Stuart and
Mark Levine and
Gul Calikli and
Blaine A. Price and
Bashar Nuseibeh},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Learning to share: engineering adaptive decision-support for online
social networks},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {280--285},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115641},
doi = {10.1109/ASE.2017.8115641},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RafiqDRBYSLCPN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2016s,
editor = {James Cussens and
Alessandra Russo},
title = {Proceedings of the 26th International Conference on Inductive Logic
Programming (Short papers), London, UK, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1865},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1865},
urn = {urn:nbn:de:0074-1865-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/2016s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ilp/2016,
editor = {James Cussens and
Alessandra Russo},
title = {Inductive Logic Programming - 26th International Conference, {ILP}
2016, London, UK, September 4-6, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10326},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63342-8},
doi = {10.1007/978-3-319-63342-8},
isbn = {978-3-319-63341-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RankothgeLRL17,
author = {Windhya Rankothge and
Franck Le and
Alessandra Russo and
Jorge Lobo},
title = {Data Modelling for the Evaluation of Virtualized Network Functions
Resource Allocation Algorithms},
journal = {CoRR},
volume = {abs/1702.00369},
year = {2017},
url = {http://arxiv.org/abs/1702.00369},
eprinttype = {arXiv},
eprint = {1702.00369},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RankothgeLRL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GomoluchARB17,
author = {Pawel Gomoluch and
Dalal Alrajeh and
Alessandra Russo and
Antonio Bucchiarone},
title = {Towards learning domain-independent planning heuristics},
journal = {CoRR},
volume = {abs/1707.06895},
year = {2017},
url = {http://arxiv.org/abs/1707.06895},
eprinttype = {arXiv},
eprint = {1707.06895},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GomoluchARB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/TurliucDRB16,
author = {Calin{-}Rares Turliuc and
Luke Dickens and
Alessandra Russo and
Krysia Broda},
title = {Probabilistic abductive logic programming using Dirichlet priors},
journal = {Int. J. Approx. Reason.},
volume = {78},
pages = {223--240},
year = {2016},
url = {https://doi.org/10.1016/j.ijar.2016.07.001},
doi = {10.1016/J.IJAR.2016.07.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/TurliucDRB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/MaLRL16,
author = {Jiefei Ma and
Franck Le and
Alessandra Russo and
Jorge Lobo},
title = {Declarative Framework for Specification, Simulation and Analysis of
Distributed Applications},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {28},
number = {6},
pages = {1489--1502},
year = {2016},
url = {https://doi.org/10.1109/TKDE.2016.2515604},
doi = {10.1109/TKDE.2016.2515604},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/MaLRL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LawRB16,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
title = {Iterative Learning of Answer Set Programs from Context Dependent Examples},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {834--848},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000351},
doi = {10.1017/S1471068416000351},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/LawRB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BikakisCCCMMRV16,
author = {Antonis Bikakis and
Patrice Caire and
Keith Clark and
Gary Cornelius and
Jiefei Ma and
Rob Miller and
Alessandra Russo and
Holger Voos},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {Collaborative Explanation and Response in Assisted Living Environments
Enhanced with Humanoid Robots},
booktitle = {Proceedings of the 8th International Conference on Agents and Artificial
Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
2016},
pages = {506--511},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005823405060511},
doi = {10.5220/0005823405060511},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BikakisCCCMMRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CalikliLBRDPSLN16,
author = {G{\"{u}}l {\c{C}}alikli and
Mark Law and
Arosha K. Bandara and
Alessandra Russo and
Luke Dickens and
Blaine A. Price and
Avelie Stuart and
Mark Levine and
Bashar Nuseibeh},
title = {Privacy dynamics: learning privacy norms for social software},
booktitle = {Proceedings of the 11th International Symposium on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas,
USA, May 14-22, 2016},
pages = {47--56},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897053.2897063},
doi = {10.1145/2897053.2897063},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CalikliLBRDPSLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehLKRU16,
author = {Dalal Alrajeh and
Axel van Lamsweerde and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Risk-driven revision of requirements models},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {855--865},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884838},
doi = {10.1145/2884781.2884838},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AlrajehLKRU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehRUK25,
author = {Dalal Alrajeh and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Logic-based learning in software engineering},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {892--893},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2891050},
doi = {10.1145/2889160.2891050},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AlrajehRUK25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/Al-NegheimishR16,
author = {Hadeel Al{-}Negheimish and
Alessandra Russo},
editor = {James Cussens and
Alessandra Russo},
title = {Reduction of {ILP} Search Space with Bottom-Up Propositionalisation},
booktitle = {Proceedings of the 26th International Conference on Inductive Logic
Programming (Short papers), London, UK, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1865},
pages = {1--7},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1865/paper-01.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/ilp/Al-NegheimishR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/DragievRBLT16,
author = {Stanislav Dragiev and
Alessandra Russo and
Krysia Broda and
Mark Law and
Calin{-}Rares Turliuc},
editor = {James Cussens and
Alessandra Russo},
title = {An Abductive-Inductive Algorithm for Probabilistic Inductive Logic
Programming},
booktitle = {Proceedings of the 26th International Conference on Inductive Logic
Programming (Short papers), London, UK, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1865},
pages = {20--26},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1865/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ilp/DragievRBLT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LawRB16,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
title = {Iterative Learning of Answer Set Programs from Context Dependent Examples},
journal = {CoRR},
volume = {abs/1608.01946},
year = {2016},
url = {http://arxiv.org/abs/1608.01946},
eprinttype = {arXiv},
eprint = {1608.01946},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LawRB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AlrajehKRU15,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Automated support for diagnosis and repair},
journal = {Commun. {ACM}},
volume = {58},
number = {2},
pages = {65--72},
year = {2015},
url = {https://doi.org/10.1145/2658986},
doi = {10.1145/2658986},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/AlrajehKRU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LawRB15,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
title = {Learning weak constraints in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {511--525},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000198},
doi = {10.1017/S1471068415000198},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/LawRB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TurliucDRB15,
author = {Calin{-}Rares Turliuc and
Luke Dickens and
Alessandra Russo and
Krysia Broda},
editor = {Fabrizio Riguzzi and
Joost Vennekens},
title = {Probabilistic Abductive Logic Programming using Dirichlet Priors},
booktitle = {Proceedings of the 2nd International Workshop on Probabilistic Logic
Programming co-located with 31st International Conference on Logic
Programming {(ICLP} 2015), Cork, Ireland, August 31st, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1413},
pages = {85--98},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1413/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TurliucDRB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/RankothgeMLRL15,
author = {Windhya Rankothge and
Jiefei Ma and
Franck Le and
Alessandra Russo and
Jorge Lobo},
editor = {Remi Badonnel and
Jin Xiao and
Shingo Ata and
Filip De Turck and
Voicu Groza and
Carlos Raniery Paula dos Santos},
title = {Towards making network function virtualization a cloud computing service},
booktitle = {{IFIP/IEEE} International Symposium on Integrated Network Management,
{IM} 2015, Ottawa, ON, Canada, 11-15 May, 2015},
pages = {89--97},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INM.2015.7140280},
doi = {10.1109/INM.2015.7140280},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/RankothgeMLRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/MaLRL15,
author = {Jiefei Ma and
Franck Le and
Alessandra Russo and
Jorge Lobo},
title = {Detecting distributed signature-based intrusion: The case of multi-path
routing attacks},
booktitle = {2015 {IEEE} Conference on Computer Communications, {INFOCOM} 2015,
Kowloon, Hong Kong, April 26 - May 1, 2015},
pages = {558--566},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INFOCOM.2015.7218423},
doi = {10.1109/INFOCOM.2015.7218423},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/MaLRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DeaneBR15,
author = {Graham Deane and
Krysia Broda and
Alessandra Russo},
editor = {Ansgar Fehnker and
Annabelle McIver and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Reasoning in the presence of inconsistency through Preferential {ALC}},
booktitle = {20th International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning - Short Presentations, {LPAR} 2015, Suva,
Fiji, November 24-28, 2015},
series = {EPiC Series in Computing},
volume = {35},
pages = {67--80},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/8qr4},
doi = {10.29007/8QR4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DeaneBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AthakraviSLBR15,
author = {Duangtida Athakravi and
Ken Satoh and
Mark Law and
Krysia Broda and
Alessandra Russo},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Automated Inference of Rules with Exception from Past Legal Cases
Using {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {83--96},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_8},
doi = {10.1007/978-3-319-23264-5\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AthakraviSLBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfvsdn/RankothgeLRL15,
author = {Windhya Rankothge and
Franck Le and
Alessandra Russo and
Jorge Lobo},
title = {Experimental results on the use of genetic algorithms for scaling
virtualized network functions},
booktitle = {{IEEE} Conference on Network Function Virtualization and Software
Defined Networks, {NFV-SDN} 2015, San Francisco, CA, USA, November
18-21, 2015},
pages = {47--53},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/NFV-SDN.2015.7387405},
doi = {10.1109/NFV-SDN.2015.7387405},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfvsdn/RankothgeLRL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BucchiaroneDLMR15,
author = {Antonio Bucchiarone and
Naranker Dulay and
Anna Lavygina and
Annapaola Marconi and
Heorhi Raik and
Alessandra Russo},
title = {An Approach for Collective Adaptation in Socio-Technical Systems},
booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September
21-25, 2015},
pages = {43--48},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASOW.2015.12},
doi = {10.1109/SASOW.2015.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/BucchiaroneDLMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/LavyginaRD15,
author = {Anna Lavygina and
Alessandra Russo and
Naranker Dulay},
editor = {Sara Foresti},
title = {Integrating Privacy and Safety Criteria into Planning Tasks},
booktitle = {Security and Trust Management - 11th International Workshop, {STM}
2015, Vienna, Austria, September 21-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9331},
pages = {20--36},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24858-5\_2},
doi = {10.1007/978-3-319-24858-5\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/LavyginaRD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LawRB15,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
title = {Learning Weak Constraints in Answer Set Programming},
journal = {CoRR},
volume = {abs/1507.06566},
year = {2015},
url = {http://arxiv.org/abs/1507.06566},
eprinttype = {arXiv},
eprint = {1507.06566},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LawRB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/SmithLRD14,
author = {Jeremiah Smith and
Anna Lavygina and
Alessandra Russo and
Naranker Dulay},
editor = {A. J. Brush and
Adrian Friday and
Julie A. Kientz and
James Scott and
Junehwa Song},
title = {When did your smartphone bother you last?},
booktitle = {Proceedings of the 2014 {ACM} International Joint Conference on Pervasive
and Ubiquitous Computing, UbiComp '14 Adjunct Publication, Seattle,
WA, {USA} - September 13 - 17, 2014},
pages = {409--414},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2638728.2641701},
doi = {10.1145/2638728.2641701},
timestamp = {Tue, 26 Mar 2024 11:01:21 +0100},
biburl = {https://dblp.org/rec/conf/huc/SmithLRD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AthakraviABRS14,
author = {Duangtida Athakravi and
Dalal Alrajeh and
Krysia Broda and
Alessandra Russo and
Ken Satoh},
editor = {Jesse Davis and
Jan Ramon},
title = {Inductive Learning Using Constraint-Driven Bias},
booktitle = {Inductive Logic Programming - 24th International Conference, {ILP}
2014, Nancy, France, September 14-16, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9046},
pages = {16--32},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-23708-4\_2},
doi = {10.1007/978-3-319-23708-4\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/AthakraviABRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LawRB14,
author = {Mark Law and
Alessandra Russo and
Krysia Broda},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Inductive Learning of Answer Set Programs},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {311--325},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_22},
doi = {10.1007/978-3-319-11558-0\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LawRB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mhci/SmithLMRD14,
author = {Jeremiah Smith and
Anna Lavygina and
Jiefei Ma and
Alessandra Russo and
Naranker Dulay},
editor = {Aaron J. Quigley and
Sara Diamond and
Pourang Irani and
Sriram Subramanian},
title = {Learning to recognise disruptive smartphone notifications},
booktitle = {Proceedings of the 16th international conference on Human-computer
interaction with mobile devices {\&} services, MobileHCI 2014,
Toronto, ON, Canada, September 23-26, 2014},
pages = {121--124},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628363.2628404},
doi = {10.1145/2628363.2628404},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mhci/SmithLMRD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/UchitelABBCCDFGKRS13,
author = {Sebasti{\'{a}}n Uchitel and
Dalal Alrajeh and
Shoham Ben{-}David and
V{\'{\i}}ctor A. Braberman and
Marsha Chechik and
Guido de Caso and
Nicol{\'{a}}s D'Ippolito and
Dario Fischbein and
Diego Garbervetsky and
Jeff Kramer and
Alessandra Russo and
German E. Sibay},
title = {Supporting incremental behaviour model elaboration},
journal = {Comput. Sci. Res. Dev.},
volume = {28},
number = {4},
pages = {279--293},
year = {2013},
url = {https://doi.org/10.1007/s00450-012-0233-1},
doi = {10.1007/S00450-012-0233-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/UchitelABBCCDFGKRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlrajehMRU13,
author = {Dalal Alrajeh and
Rob Miller and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Reasoning about Triggered Scenarios in Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013021.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlrajehMRU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MaLWRL13,
author = {Jiefei Ma and
Franck Le and
David Wood and
Alessandra Russo and
Jorge Lobo},
title = {A declarative approach to distributed computing: Specification, execution
and analysis},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {815--830},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000513},
doi = {10.1017/S1471068413000513},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/MaLWRL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AlrajehKRU13,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Elaborating Requirements Using Model Checking and Inductive Learning},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {3},
pages = {361--383},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.41},
doi = {10.1109/TSE.2012.41},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AlrajehKRU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SykesCMKRI13,
author = {Daniel Sykes and
Domenico Corapi and
Jeff Magee and
Jeff Kramer and
Alessandra Russo and
Katsumi Inoue},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Learning revised models for planning in adaptive systems},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {63--71},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606552},
doi = {10.1109/ICSE.2013.6606552},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SykesCMKRI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehRLMMN04,
author = {Dalal Alrajeh and
Alessandra Russo and
James Lockerbie and
Neil A. M. Maiden and
Alistair Mavin and
Mark Novak},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Computational alignment of goals and scenarios for complex systems},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1249--1252},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606690},
doi = {10.1109/ICSE.2013.6606690},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AlrajehRLMMN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AthakraviCBR13,
author = {Duangtida Athakravi and
Domenico Corapi and
Krysia Broda and
Alessandra Russo},
editor = {Gerson Zaverucha and
V{\'{\i}}tor Santos Costa and
Aline Paes},
title = {Learning Through Hypothesis Refinement Using Answer Set Programming},
booktitle = {Inductive Logic Programming - 23rd International Conference, {ILP}
2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8812},
pages = {31--46},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-44923-3\_3},
doi = {10.1007/978-3-662-44923-3\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/AthakraviCBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TurliucMRB13,
author = {Calin{-}Rares Turliuc and
Nataly Maimari and
Alessandra Russo and
Krysia Broda},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {On Minimality and Integrity Constraints in Probabilistic Abduction},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {759--775},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_51},
doi = {10.1007/978-3-642-45221-5\_51},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/TurliucMRB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/AthakraviCRVPS12,
author = {Duangtida Athakravi and
Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Handling change in normative specifications},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1369--1370},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2344010},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/AthakraviCRVPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LoboMRL12,
author = {Jorge Lobo and
Jiefei Ma and
Alessandra Russo and
Franck Le},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Declarative Distributed Computing},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {454--470},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_31},
doi = {10.1007/978-3-642-30743-0\_31},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LoboMRL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/MolloyDMCLR12,
author = {Ian M. Molloy and
Luke Dickens and
Charles Morisset and
Pau{-}Chen Cheng and
Jorge Lobo and
Alessandra Russo},
editor = {Elisa Bertino and
Ravi S. Sandhu},
title = {Risk-based security decisions under uncertainty},
booktitle = {Second {ACM} Conference on Data and Application Security and Privacy,
{CODASPY} 2012, San Antonio, TX, USA, February 7-9, 2012},
pages = {157--168},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2133601.2133622},
doi = {10.1145/2133601.2133622},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/MolloyDMCLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/AthakraviCRVPS12,
author = {Duangtida Athakravi and
Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
editor = {Matteo Baldoni and
Louise A. Dennis and
Viviana Mascardi and
Wamberto Weber Vasconcelos},
title = {Handling Change in Normative Specifications},
booktitle = {Declarative Agent Languages and Technologies {X} - 10th International
Workshop, {DALT} 2012, Valencia, Spain, June 4, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7784},
pages = {1--19},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37890-4\_1},
doi = {10.1007/978-3-642-37890-4\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/AthakraviCRVPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlrajehKRU12,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Juan de Lara and
Andrea Zisman},
title = {Learning from Vacuously Satisfiable Scenario-Based Specifications},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {377--393},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_26},
doi = {10.1007/978-3-642-28872-2\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AlrajehKRU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/AthakraviBR12,
author = {Duangtida Athakravi and
Krysia Broda and
Alessandra Russo},
editor = {Andrew V. Jones},
title = {Predicate Invention in Inductive Logic Programming},
booktitle = {2012 Imperial College Computing Student Workshop, {ICCSW} 2012, September
27-28, 2012, London, United Kingdom},
series = {OASIcs},
volume = {28},
pages = {15--21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2012},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2012.15},
doi = {10.4230/OASICS.ICCSW.2012.15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsw/AthakraviBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/DickensMLCR12,
author = {Luke Dickens and
Ian M. Molloy and
Jorge Lobo and
Pau{-}Chen Cheng and
Alessandra Russo},
editor = {Anastasios Kementsietsidis and
Marcos Antonio Vaz Salles},
title = {Learning Stochastic Models of Information Flow},
booktitle = {{IEEE} 28th International Conference on Data Engineering {(ICDE} 2012),
Washington, DC, {USA} (Arlington, Virginia), 1-5 April, 2012},
pages = {570--581},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICDE.2012.103},
doi = {10.1109/ICDE.2012.103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/DickensMLCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehKLRU12,
author = {Dalal Alrajeh and
Jeff Kramer and
Axel van Lamsweerde and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Generating obstacle conditions for requirements completeness},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {705--715},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227147},
doi = {10.1109/ICSE.2012.6227147},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlrajehKLRU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BeckerRS12,
author = {Moritz Y. Becker and
Alessandra Russo and
Nik Sultana},
title = {Foundations of Logic-Based Trust Management},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2012, 21-23 May 2012,
San Francisco, California, {USA}},
pages = {161--175},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SP.2012.20},
doi = {10.1109/SP.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/BeckerRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CorapiRVPS11,
author = {Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
title = {Normative design using inductive learning},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {783--799},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000305},
doi = {10.1017/S1471068411000305},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CorapiRVPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MaRBL11,
author = {Jiefei Ma and
Alessandra Russo and
Krysia Broda and
Emil Lupu},
editor = {Liz Sonenberg and
Peter Stone and
Kagan Tumer and
Pinar Yolum},
title = {Multi-agent abductive reasoning with confidentiality},
booktitle = {10th International Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
pages = {1137--1138},
publisher = {{IFAAMAS}},
year = {2011},
url = {http://portal.acm.org/citation.cfm?id=2034456\&\#38;CFID=69154334\&\#38;CFTOKEN=45298625},
timestamp = {Fri, 18 Nov 2011 09:09:28 +0100},
biburl = {https://dblp.org/rec/conf/atal/MaRBL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LoboMRLCS11,
author = {Jorge Lobo and
Jiefei Ma and
Alessandra Russo and
Emil Lupu and
Seraphin B. Calo and
Morris Sloman},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Refinement of History-Based Policies},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {280--299},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_18},
doi = {10.1007/978-3-642-20832-4\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LoboMRLCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/CorapiSIR11,
author = {Domenico Corapi and
Daniel Sykes and
Katsumi Inoue and
Alessandra Russo},
editor = {Jo{\~{a}}o Leite and
Paolo Torroni and
Thomas {\AA}gotnes and
Guido Boella and
Leon van der Torre},
title = {Probabilistic Rule Learning in Nonmonotonic Domains},
booktitle = {Computational Logic in Multi-Agent Systems - 12th International Workshop,
{CLIMA} XII, Barcelona, Spain, July 17-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6814},
pages = {243--258},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22359-4\_17},
doi = {10.1007/978-3-642-22359-4\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/CorapiSIR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/CravenLLRS11,
author = {Robert Craven and
Jorge Lobo and
Emil Lupu and
Alessandra Russo and
Morris Sloman},
title = {Policy refinement: Decomposition and operationalization for dynamic
domains},
booktitle = {7th International Conference on Network and Service Management, {CNSM}
2011, Paris, France, October 24-28, 2011},
pages = {1--9},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/document/6103981/},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cnsm/CravenLLRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlrajehKRU11,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {John P. Gallagher and
Michael Gelfond},
title = {An Inductive Approach for Modal Transition System Refinement},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {106--116},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.106},
doi = {10.4230/LIPICS.ICLP.2011.106},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AlrajehKRU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MaRBL11,
author = {Jiefei Ma and
Alessandra Russo and
Krysia Broda and
Emil Lupu},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Multi-agent Confidential Abductive Reasoning},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {175--186},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.175},
doi = {10.4230/LIPICS.ICLP.2011.175},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MaRBL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/MarkitanisCRL11,
author = {Andreas Markitanis and
Domenico Corapi and
Alessandra Russo and
Emil C. Lupu},
editor = {Stephen H. Muggleton and
Hiroaki Watanabe},
title = {Learning User Behaviours in Real Mobile Domains},
booktitle = {Latest Advances in Inductive Logic Programming, {ILP} 2011, Late Breaking
Papers, Windsor Great Park, UK, July 31 - August 3, 2011},
pages = {43--51},
publisher = {Imperial College Press / World Scientific},
year = {2011},
url = {https://doi.org/10.1142/9781783265091\_0006},
doi = {10.1142/9781783265091\_0006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/MarkitanisCRL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AlrajehRUK12,
author = {Dalal Alrajeh and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel and
Jeff Kramer},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad and
Francesca A. Lisi},
title = {Integrating Model Checking and Inductive Logic Programming},
booktitle = {Inductive Logic Programming - 21st International Conference, {ILP}
2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7207},
pages = {45--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31951-8\_9},
doi = {10.1007/978-3-642-31951-8\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/AlrajehRUK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/CorapiRL12,
author = {Domenico Corapi and
Alessandra Russo and
Emil Lupu},
editor = {Stephen H. Muggleton and
Alireza Tamaddoni{-}Nezhad and
Francesca A. Lisi},
title = {Inductive Logic Programming in Answer Set Programming},
booktitle = {Inductive Logic Programming - 21st International Conference, {ILP}
2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7207},
pages = {91--97},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31951-8\_12},
doi = {10.1007/978-3-642-31951-8\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/CorapiRL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-4967,
author = {Domenico Corapi and
Alessandra Russo and
Marina De Vos and
Julian A. Padget and
Ken Satoh},
title = {Normative design using inductive learning},
journal = {CoRR},
volume = {abs/1107.4967},
year = {2011},
url = {http://arxiv.org/abs/1107.4967},
eprinttype = {arXiv},
eprint = {1107.4967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-4967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0025124,
author = {Dov M. Gabbay and
Odinaldo Rodrigues and
Alessandra Russo},
title = {Revision, Acceptability and Context - Theoretical and Algorithmic
Aspects},
series = {Cognitive Technologies},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14159-1},
doi = {10.1007/978-3-642-14159-1},
isbn = {978-3-642-14158-4},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0025124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/HosobeSMRB10,
author = {Hiroshi Hosobe and
Ken Satoh and
Jiefei Ma and
Alessandra Russo and
Krysia Broda},
title = {Speculative constraint processing for hierarchical agents},
journal = {{AI} Commun.},
volume = {23},
number = {4},
pages = {373--388},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0480},
doi = {10.3233/AIC-2010-0480},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/HosobeSMRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AlrajehKRU10,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Deriving non-Zeno behaviour models from goal models using {ILP}},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {217--241},
year = {2010},
url = {https://doi.org/10.1007/s00165-009-0128-5},
doi = {10.1007/S00165-009-0128-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AlrajehKRU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CorapiVPRS10,
author = {Domenico Corapi and
Marina De Vos and
Julian A. Padget and
Alessandra Russo and
Ken Satoh},
editor = {Marina De Vos and
Nicoletta Fornara and
Jeremy V. Pitt and
George A. Vouros},
title = {Norm Refinement and Design through Inductive Learning},
booktitle = {Coordination, Organizations, Institutions, and Norms in Agent Systems
{VI} - {COIN} 2010 International Workshops, COIN@AAMAS 2010, Toronto,
Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6541},
pages = {77--94},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21268-0\_5},
doi = {10.1007/978-3-642-21268-0\_5},
timestamp = {Sun, 12 Nov 2023 02:14:52 +0100},
biburl = {https://dblp.org/rec/conf/atal/CorapiVPRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MaRBL10,
author = {Jiefei Ma and
Alessandra Russo and
Krysia Broda and
Emil Lupu},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Distributed abductive reasoning with constraints},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1381--1382},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838392},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/MaRBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiCRLV10,
author = {Fabrizio Maria Maggi and
Domenico Corapi and
Alessandra Russo and
Emil Lupu and
Giuseppe Visaggio},
editor = {Michael zur Muehlen and
Jianwen Su},
title = {Revising Process Models through Inductive Learning},
booktitle = {Business Process Management Workshops - {BPM} 2010 International Workshops
and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised
Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {66},
pages = {182--193},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20511-8\_16},
doi = {10.1007/978-3-642-20511-8\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/MaggiCRLV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/MaBGHRS10,
author = {Jiefei Ma and
Krysia Broda and
Randy Goebel and
Hiroshi Hosobe and
Alessandra Russo and
Ken Satoh},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Leite and
Guido Governatori and
Wojtek Jamroga},
title = {Speculative Abductive Reasoning for Hierarchical Agent Systems},
booktitle = {Computational Logic in Multi-Agent Systems, 11th International Workshop,
{CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6245},
pages = {49--64},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14977-1\_7},
doi = {10.1007/978-3-642-14977-1\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/MaBGHRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/CravenLLRS10,
author = {Robert Craven and
Jorge Lobo and
Emil C. Lupu and
Alessandra Russo and
Morris Sloman},
title = {Decomposition techniques for policy refinement},
booktitle = {Proceedings of the 6th International Conference on Network and Service
Management, {CNSM} 2010, Niagara Falls, Canada, October 25-29, 2010},
pages = {72--79},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/CNSM.2010.5691331},
doi = {10.1109/CNSM.2010.5691331},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cnsm/CravenLLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/MaBRL10,
author = {Jiefei Ma and
Krysia Broda and
Alessandra Russo and
Emil Lupu},
editor = {Andrea Omicini and
Sebastian Sardi{\~{n}}a and
Wamberto Weber Vasconcelos},
title = {Distributed Abductive Reasoning with Constraints},
booktitle = {Declarative Agent Languages and Technologies {VIII} - 8th International
Workshop, {DALT} 2010, Toronto, Canada, May 10, 2010, Revised, Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6619},
pages = {148--166},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20715-0\_9},
doi = {10.1007/978-3-642-20715-0\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/MaBRL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/DickensBR10,
author = {Luke Dickens and
Krysia Broda and
Alessandra Russo},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {The Dynamics of Multi-Agent Reinforcement Learning},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {367--372},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17774},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/DickensBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/CasaleRS10,
author = {Salvatore Casale and
Alessandra Russo and
Salvatore Serrano},
title = {Analysis of robustness of attributes selection applied to speech emotion
recognition},
booktitle = {18th European Signal Processing Conference, {EUSIPCO} 2010, Aalborg,
Denmark, August 23-27, 2010},
pages = {1174--1178},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/7096476/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusipco/CasaleRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CorapiRL10,
author = {Domenico Corapi and
Alessandra Russo and
Emil Lupu},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Inductive Logic Programming as Abductive Search},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {54--63},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.54},
doi = {10.4230/LIPICS.ICLP.2010.54},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CorapiRL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/CorapiVPRS10,
author = {Domenico Corapi and
Marina De Vos and
Julian A. Padget and
Alessandra Russo and
Ken Satoh},
editor = {Olivier Boissier and
Amal El Fallah Seghrouchni and
Salima Hassas and
Nicolas Maudet},
title = {Norm Refinement and Design through Inductive Learning},
booktitle = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
2, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {627},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-627/coin\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/CorapiVPRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejasmp/BeritelliCRS09,
author = {Francesco Beritelli and
Salvatore Casale and
Alessandra Russo and
Salvatore Serrano},
title = {Adaptive {V/UV} Speech Detection Based on Characterization of Background
Noise},
journal = {{EURASIP} J. Audio Speech Music. Process.},
volume = {2009},
year = {2009},
url = {https://doi.org/10.1155/2009/965436},
doi = {10.1155/2009/965436},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejasmp/BeritelliCRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/AlrajehRRU09,
author = {Dalal Alrajeh and
Oliver Ray and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Using abduction and induction for operational requirements elaboration},
journal = {J. Appl. Log.},
volume = {7},
number = {3},
pages = {275--288},
year = {2009},
url = {https://doi.org/10.1016/j.jal.2008.10.002},
doi = {10.1016/J.JAL.2008.10.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/AlrajehRRU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/CharalambidesFPRBLRDS09,
author = {Marinos Charalambides and
Paris Flegkas and
George Pavlou and
Javier Rubio{-}Loyola and
Arosha K. Bandara and
Emil C. Lupu and
Alessandra Russo and
Naranker Dulay and
Morris Sloman},
title = {Policy conflict analysis for diffserv quality of service management},
journal = {{IEEE} Trans. Netw. Serv. Manag.},
volume = {6},
number = {1},
pages = {15--30},
year = {2009},
url = {https://doi.org/10.1109/TNSM.2009.090302},
doi = {10.1109/TNSM.2009.090302},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnsm/CharalambidesFPRBLRDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ami/BrodaCMR09,
author = {Krysia Broda and
Keith Clark and
Rob Miller and
Alessandra Russo},
editor = {Manfred Tscheligi and
Boris E. R. de Ruyter and
Panos Markopoulos and
Reiner Wichert and
Thomas Mirlacher and
Alexander Meschtscherjakov and
Wolfgang Reitberger},
title = {{SAGE:} {A} Logical Agent-Based Environment Monitoring and Control
System},
booktitle = {Ambient Intelligence, European Conference, AmI 2009, Salzburg, Austria,
November 18-21, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5859},
pages = {112--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05408-2\_14},
doi = {10.1007/978-3-642-05408-2\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ami/BrodaCMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MaRBL09,
author = {Jiefei Ma and
Alessandra Russo and
Krysia Broda and
Emil Lupu},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {Multi-agent planning with confidentiality},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
2},
pages = {1275--1276},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558249},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/MaRBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CravenLMRLB09,
author = {Robert Craven and
Jorge Lobo and
Jiefei Ma and
Alessandra Russo and
Emil C. Lupu and
Arosha K. Bandara},
editor = {Wanqing Li and
Willy Susilo and
Udaya Kiran Tupakula and
Reihaneh Safavi{-}Naini and
Vijay Varadharajan},
title = {Expressive policy analysis with enhanced system dynamicity},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2009, Sydney, Australia, March
10-12, 2009},
pages = {239--250},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1533057.1533091},
doi = {10.1145/1533057.1533091},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/CravenLMRLB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/MaRBHS09,
author = {Jiefei Ma and
Alessandra Russo and
Krysia Broda and
Hiroshi Hosobe and
Ken Satoh},
editor = {J{\"{u}}rgen Dix and
Michael Fisher and
Peter Nov{\'{a}}k},
title = {On the Implementation of Speculative Constraint Processing},
booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
{CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6214},
pages = {178--195},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16867-3\_10},
doi = {10.1007/978-3-642-16867-3\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/MaRBHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlrajehKRU09,
author = {Dalal Alrajeh and
Jeff Kramer and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
title = {Learning operational requirements from goal models},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {265--275},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070527},
doi = {10.1109/ICSE.2009.5070527},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AlrajehKRU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/CorapiRRBL09,
author = {Domenico Corapi and
Oliver Ray and
Alessandra Russo and
Arosha K. Bandara and
Emil C. Lupu},
editor = {Lazaros S. Iliadis and
Ilias Maglogiannis and
Grigorios Tsoumakas and
Ioannis P. Vlahavas and
Max Bramer},
title = {Learning Rules from User Behaviour},
booktitle = {Artificial Intelligence Applications and Innovations III, Proceedings
of the 5TH {IFIP} Conference on Artificial Intelligence Applications
and Innovations (AIAI'2009), April 23-25, 2009, Thessaloniki, Greece},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {296},
pages = {459--468},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-4419-0221-4\_54},
doi = {10.1007/978-1-4419-0221-4\_54},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/CorapiRRBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/BandaraKLR09,
author = {Arosha K. Bandara and
Antonis C. Kakas and
Emil C. Lupu and
Alessandra Russo},
title = {Using argumentation logic for firewall configuration management},
booktitle = {Integrated Network Management, {IM} 2009. 11th {IFIP/IEEE} International
Symposium on Integrated Network Management, Hofstra University, Long
Island, NY, USA, June 1-5, 2009},
pages = {180--187},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/INM.2009.5188808},
doi = {10.1109/INM.2009.5188808},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/BandaraKLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KimberBR09,
author = {Tim Kimber and
Krysia Broda and
Alessandra Russo},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Induction on Failure: Learning Connected Horn Theories},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {169--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_16},
doi = {10.1007/978-3-642-04238-6\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/KimberBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safeconfig/CravenLLRS09,
author = {Robert Craven and
Jorge Lobo and
Emil Lupu and
Alessandra Russo and
Morris Sloman},
editor = {Ehab Al{-}Shaer and
Mohamed G. Gouda and
Jorge Lobo and
Sanjai Narain and
Felix Wu},
title = {Security policy refinement using data integration: a position paper},
booktitle = {Proceedings of the 2nd {ACM} Workshop on Assurable and Usable Security
Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009},
pages = {25--28},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1655062.1655068},
doi = {10.1145/1655062.1655068},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safeconfig/CravenLLRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/MaRBC08,
author = {Jiefei Ma and
Alessandra Russo and
Krysia Broda and
Keith Clark},
title = {{DARE:} a system for distributed abductive reasoning},
journal = {Auton. Agents Multi Agent Syst.},
volume = {16},
number = {3},
pages = {271--297},
year = {2008},
url = {https://doi.org/10.1007/s10458-008-9028-y},
doi = {10.1007/S10458-008-9028-Y},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/MaRBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GabbayRR08,
author = {Dov M. Gabbay and
Odinaldo Rodrigues and
Alessandra Russo},
title = {Belief Revision in non-Classical Logics},
journal = {Rev. Symb. Log.},
volume = {1},
number = {3},
pages = {267--304},
year = {2008},
url = {https://doi.org/10.1017/S1755020308080246},
doi = {10.1017/S1755020308080246},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/GabbayRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/MaBRC08,
author = {Jiefei Ma and
Krysia Broda and
Alessandra Russo and
Keith Clark},
title = {A Dynamic System for Distributed Reasoning},
booktitle = {Architectures for Intelligent Theory-Based Agents, Papers from the
2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
California, USA, March 26-28, 2008},
pages = {31--36},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-006.php},
timestamp = {Fri, 17 Feb 2012 14:17:25 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/MaBRC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlrajehRU08,
author = {Dalal Alrajeh and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Deriving Non-zeno Behavior Models from Goal Models Using {ILP}},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {1--15},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_1},
doi = {10.1007/978-3-540-78743-3\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AlrajehRU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/CasaleRSS08,
author = {Salvatore Casale and
Alessandra Russo and
G. Scebba and
Salvatore Serrano},
title = {Speech Emotion Classification Using Machine Learning Algorithms},
booktitle = {Proceedings of the 2th {IEEE} International Conference on Semantic
Computing {(ICSC} 2008), August 4-7, 2008, Santa Clara, California,
{USA}},
pages = {158--165},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSC.2008.43},
doi = {10.1109/ICSC.2008.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/CasaleRSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/speech/CasaleRS07,
author = {Salvatore Casale and
Alessandra Russo and
Salvatore Serrano},
title = {Multistyle classification of speech under stress using feature subset
selection based on genetic algorithms},
journal = {Speech Commun.},
volume = {49},
number = {10-11},
pages = {801--810},
year = {2007},
url = {https://doi.org/10.1016/j.specom.2007.04.012},
doi = {10.1016/J.SPECOM.2007.04.012},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/speech/CasaleRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/MaravigliaMMLRS07,
author = {Giuseppe Maraviglia and
Marina Masi and
Vincenzo Merlo and
Francesco Licandro and
Alessandra Russo and
Giovanni Schembra},
title = {Synchronous multipoint E-learning realized on an intelligent software-router
platform over unicast networks: Design and performance issues},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2007, September 25-28, 2007, Patras,
Greece},
pages = {1172--1179},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/EFTA.2007.4416914},
doi = {10.1109/EFTA.2007.4416914},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/MaravigliaMMLRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/BandaraRL07,
author = {Arosha K. Bandara and
Alessandra Russo and
Emil C. Lupu},
title = {Towards Learning Privacy Policies},
booktitle = {8th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2007), 13-15 June 2007, Bologna, Italy},
pages = {274},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/POLICY.2007.45},
doi = {10.1109/POLICY.2007.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BandaraRL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/BandaraLRDSFCP06,
author = {Arosha K. Bandara and
Emil C. Lupu and
Alessandra Russo and
Naranker Dulay and
Morris Sloman and
Paris Flegkas and
Marinos Charalambides and
George Pavlou},
title = {Policy refinement for {IP} differentiated services Quality of Service
management},
journal = {{IEEE} Trans. Netw. Serv. Manag.},
volume = {3},
number = {2},
pages = {2--13},
year = {2006},
url = {https://doi.org/10.1109/TNSM.2006.4798308},
doi = {10.1109/TNSM.2006.4798308},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnsm/BandaraLRDSFCP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsom/BandaraKLR06,
author = {Arosha K. Bandara and
Antonis C. Kakas and
Emil C. Lupu and
Alessandra Russo},
editor = {Radu State and
Sven van der Meer and
Declan O'Sullivan and
Tom Pfeifer},
title = {Using Argumentation Logic for Firewall Policy Specification and Analysis},
booktitle = {Large Scale Management of Distributed Systems, 17th {IFIP/IEEE} International
Workshop on Distributed Systems: Operations and Management, {DSOM}
2006, Dublin, Ireland, October 23-25, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4269},
pages = {185--196},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11907466\_16},
doi = {10.1007/11907466\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsom/BandaraKLR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/CasaleRS06,
author = {Salvatore Casale and
Alessandra Russo and
Salvatore Serrano},
title = {Classification of speech under stress using features selected by genetic
algorithms},
booktitle = {14th European Signal Processing Conference, {EUSIPCO} 2006, Florence,
Italy, September 4-8, 2006},
pages = {1--5},
publisher = {{IEEE}},
year = {2006},
url = {https://ieeexplore.ieee.org/document/7071480/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusipco/CasaleRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/AlrajehRRU06,
author = {Dalal Alrajeh and
Oliver Ray and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Stephen H. Muggleton and
Ram{\'{o}}n P. Otero and
Alireza Tamaddoni{-}Nezhad},
title = {Extracting Requirements from Scenarios with {ILP}},
booktitle = {Inductive Logic Programming, 16th International Conference, {ILP}
2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4455},
pages = {64--78},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-73847-3\_14},
doi = {10.1007/978-3-540-73847-3\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/AlrajehRRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/CharalambidesFPRBLRSD06,
author = {Marinos Charalambides and
Paris Flegkas and
George Pavlou and
Javier Rubio{-}Loyola and
Arosha K. Bandara and
Emil C. Lupu and
Alessandra Russo and
Morris Sloman and
Naranker Dulay},
editor = {Joseph L. Hellerstein and
Burkhard Stiller},
title = {Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality
of Service Management},
booktitle = {Management of Integrated End-to-End Communications and Services, 10th
{IEEE/IFIP} Network Operations and Management Symposium, {NOMS} 2006,
Vancouver, Canada, April 3-7, 2006. Proceedings},
pages = {294--304},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/NOMS.2006.1687560},
doi = {10.1109/NOMS.2006.1687560},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/noms/CharalambidesFPRBLRSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scesm/AlrajehRU06,
author = {Dalal Alrajeh and
Alessandra Russo and
Sebasti{\'{a}}n Uchitel},
editor = {Jon Whittle and
Leif Geiger and
Michael Meisinger},
title = {Inferring operational requirements from scenarios and goal models
using inductive learning},
booktitle = {{SCESM} '06: Proceedings of the 2006 International Workshop on Scenarios
and State Machines: Models, Algorithms, and Tools, Shanghai, China,
May 27, 2006},
pages = {29--36},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138953.1138960},
doi = {10.1145/1138953.1138960},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scesm/AlrajehRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BrodaR05,
author = {Krysia Broda and
Alessandra Russo},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Compiled Labelled Deductive Systems for Access Control},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume One},
pages = {309--338},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BrodaR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/BandaraLRDSFCP05,
author = {Arosha K. Bandara and
Emil C. Lupu and
Alessandra Russo and
Naranker Dulay and
Morris Sloman and
Paris Flegkas and
Marinos Charalambides and
George Pavlou},
title = {Policy refinement for DiffServ quality of service management},
booktitle = {Integrated Network Management, {IM} 2005. 9th {IFIP/IEEE} International
Symposium on Integrated Network Management, 15-19 May 2005, Nice,
France},
pages = {469--482},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/INM.2005.1440817},
doi = {10.1109/INM.2005.1440817},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/BandaraLRDSFCP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/HeavenR05,
author = {William Heaven and
Alessandra Russo},
editor = {Alexander Serebrenik and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
title = {Enhancing the Alloy Analyzer with Patterns of Analysis},
booktitle = {Proceedings of the 15th International Workshop on Logic Programming
Environments, Sitges (Barcelona), Spain, October 5, 2005},
pages = {14--30},
year = {2005},
url = {http://arxiv.org/abs/cs.pl/0508109},
timestamp = {Fri, 05 Feb 2021 11:07:04 +0100},
biburl = {https://dblp.org/rec/conf/lpe/HeavenR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/CharalambidesFPBLRDSR05,
author = {Marinos Charalambides and
Paris Flegkas and
George Pavlou and
Arosha K. Bandara and
Emil C. Lupu and
Alessandra Russo and
Naranker Dulay and
Morris Sloman and
Javier Rubio{-}Loyola},
title = {Policy Conflict Analysis for Quality of Service Management},
booktitle = {6th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2005), 6-8 June 2005, Stockholm, Sweden},
pages = {99--108},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/POLICY.2005.23},
doi = {10.1109/POLICY.2005.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/CharalambidesFPBLRDSR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508109,
author = {William Heaven and
Alessandra Russo},
title = {Enhancing the Alloy Analyzer with Patterns of Analysis},
journal = {CoRR},
volume = {abs/cs/0508109},
year = {2005},
url = {http://arxiv.org/abs/cs/0508109},
eprinttype = {arXiv},
eprint = {cs/0508109},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RayBR04,
author = {Oliver Ray and
Krysia Broda and
Alessandra Russo},
title = {A Hybrid Abductive Inductive Proof Procedure},
journal = {Log. J. {IGPL}},
volume = {12},
number = {5},
pages = {371--397},
year = {2004},
url = {https://doi.org/10.1093/jigpal/12.5.371},
doi = {10.1093/JIGPAL/12.5.371},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RayBR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RayBR04,
author = {Oliver Ray and
Krysia Broda and
Alessandra Russo},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Generalised Kernel Sets for Inverse Entailment},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {165--179},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_12},
doi = {10.1007/978-3-540-27775-0\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RayBR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/BandaraLMR04,
author = {Arosha K. Bandara and
Emil Lupu and
Jonathan D. Moffett and
Alessandra Russo},
title = {A Goal-based Approach to Policy Refinement},
booktitle = {5th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2004), 7-9 June 2004, Yorktown Heights, NY,
{USA}},
pages = {229--239},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/POLICY.2004.1309175},
doi = {10.1109/POLICY.2004.1309175},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BandaraLMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/RodriguesGR04,
author = {Odinaldo Rodrigues and
Artur S. d'Avila Garcez and
Alessandra Russo},
editor = {Ana L. C. Bazzan and
Sofiane Labidi},
title = {Reasoning About Requirements Evolution Using Clustered Belief Revision},
booktitle = {Advances in Artificial Intelligence - {SBIA} 2004, 17th Brazilian
Symposium on Artificial Intelligence, S{\~{a}}o Luis, Maranh{\~{a}}o,
Brazil, September 29 - October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3171},
pages = {41--51},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28645-5\_5},
doi = {10.1007/978-3-540-28645-5\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbia/RodriguesGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GarcezRNK03,
author = {Artur S. d'Avila Garcez and
Alessandra Russo and
Bashar Nuseibeh and
Jeff Kramer},
title = {Combining abductive reasoning and inductive learning to evolve requirements
specifications},
journal = {{IEE} Proc. Softw.},
volume = {150},
number = {1},
pages = {25--38},
year = {2003},
url = {https://doi.org/10.1049/ip-sen:20030207},
doi = {10.1049/IP-SEN:20030207},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/GarcezRNK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RayBR03,
author = {Oliver Ray and
Krysia Broda and
Alessandra Russo},
editor = {Tam{\'{a}}s Horv{\'{a}}th},
title = {Hybrid Abductive Inductive Learning: {A} Generalisation of Progol},
booktitle = {Inductive Logic Programming: 13th International Conference, {ILP}
2003, Szeged, Hungary, September 29-October 1, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2835},
pages = {311--328},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39917-9\_21},
doi = {10.1007/978-3-540-39917-9\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/RayBR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/BandaraLR03,
author = {Arosha K. Bandara and
Emil Lupu and
Alessandra Russo},
title = {Using Event Calculus to Formalise Policy Specification and Analysis},
booktitle = {4th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2003), 4-6 June 2003, Lake Como, Italy},
pages = {26},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/POLICY.2003.1206955},
doi = {10.1109/POLICY.2003.1206955},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/BandaraLR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrodaGLR02,
author = {Krysia Broda and
Dov M. Gabbay and
Lu{\'{\i}}s C. Lamb and
Alessandra Russo},
title = {Labelled Natural Deduction for Conditional Logics of Normality},
journal = {Log. J. {IGPL}},
volume = {10},
number = {2},
pages = {123--163},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.2.123},
doi = {10.1093/JIGPAL/10.2.123},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaGLR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RussoMNK02,
author = {Alessandra Russo and
Rob Miller and
Bashar Nuseibeh and
Jeff Kramer},
editor = {Peter J. Stuckey},
title = {An Abductive Approach for Analysing Event-Based Requirements Specifications},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {22--37},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_3},
doi = {10.1007/3-540-45619-8\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RussoMNK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/NuseibehER01,
author = {Bashar Nuseibeh and
Steve M. Easterbrook and
Alessandra Russo},
title = {Making inconsistency respectable in software development},
journal = {J. Syst. Softw.},
volume = {58},
number = {2},
pages = {171--180},
year = {2001},
url = {https://doi.org/10.1016/S0164-1212(01)00036-X},
doi = {10.1016/S0164-1212(01)00036-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/NuseibehER01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GarcezRNK01,
author = {Artur S. d'Avila Garcez and
Alessandra Russo and
Bashar Nuseibeh and
Jeff Kramer},
title = {An Analysis-Revision Cycle to Evolve Requirements Specifications},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {354--358},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989828},
doi = {10.1109/ASE.2001.989828},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GarcezRNK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/NuseibehER00,
author = {Bashar Nuseibeh and
Steve M. Easterbrook and
Alessandra Russo},
title = {Leveraging Inconsistency in Software Development},
journal = {Computer},
volume = {33},
number = {4},
pages = {24--29},
year = {2000},
url = {https://doi.org/10.1109/2.839317},
doi = {10.1109/2.839317},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/NuseibehER00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajis/NuseibehR99,
author = {Bashar Nuseibeh and
Alessandra Russo},
title = {Using Abduction to Evolve Inconsistent Requirements Specification},
journal = {Australas. J. Inf. Syst.},
volume = {6},
number = {2},
year = {1999},
url = {http://journal.acs.org.au/index.php/ajis/article/view/296},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ajis/NuseibehR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RussoNK99,
author = {Alessandra Russo and
Bashar Nuseibeh and
Jeff Kramer},
title = {Restructuring requirement specifications},
journal = {{IEE} Proc. Softw.},
volume = {146},
number = {1},
pages = {44--50},
year = {1999},
url = {https://doi.org/10.1049/ip-sen:19990156},
doi = {10.1049/IP-SEN:19990156},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/RussoNK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrodaFR99,
author = {Krysia Broda and
Marcelo Finger and
Alessandra Russo},
title = {Labelled Natural Deduction for Substructural Logics},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {283--318},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.283},
doi = {10.1093/JIGPAL/7.3.283},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaFR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/RussoNK98,
author = {Alessandra Russo and
Bashar Nuseibeh and
Jeff Kramer},
title = {Restructuring Requirements Specifications For Managing Inconsistency
And Change: {A} Case Study},
booktitle = {3rd International Conference on Requirements Engineering {(ICRE} '98),
Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado
Springs, CO, USA, Proceedings},
pages = {51},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICRE.1998.667808},
doi = {10.1109/ICRE.1998.667808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/RussoNK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/NuseibehR98,
author = {Bashar Nuseibeh and
Alessandra Russo},
title = {On the Consequences of Acting in the Presence of Inconsistency},
booktitle = {Proceedings of the 9th International Workshop on Software Specification
and Design, {IWSSD} 1998, USA, April 16-18, 1998},
pages = {156--158},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858308},
doi = {10.5555/857205.858308},
timestamp = {Mon, 16 May 2022 14:03:08 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/NuseibehR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DAgostinoGR97,
author = {Marcello D'Agostino and
Dov M. Gabbay and
Alessandra Russo},
title = {Grafting Modalities onto Substructural Implication Systems},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {65--102},
year = {1997},
url = {https://doi.org/10.1023/A:1004947400860},
doi = {10.1023/A:1004947400860},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DAgostinoGR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Russo96,
author = {Alessandra Russo},
editor = {Franz Baader and
Klaus U. Schulz},
title = {Generalising Propositional Modal Logic Using Labelled Deductive Systems},
booktitle = {Frontiers of Combining Systems, First International Workshop FroCoS
1996, Munich, Germany, March 26-29, 1996, Proceedings},
series = {Applied Logic Series},
volume = {3},
pages = {57--73},
publisher = {Kluwer Academic Publishers},
year = {1996},
timestamp = {Mon, 20 Mar 2017 13:54:49 +0100},
biburl = {https://dblp.org/rec/conf/frocos/Russo96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/umuai/RosisPRBM92,
author = {Fiorella de Rosis and
Sebastiano Pizzutilo and
Alessandra Russo and
Dianne C. Berry and
F. Javier Nicolau Molina},
title = {Modeling the User Knowledge by Belief Networks},
journal = {User Model. User Adapt. Interact.},
volume = {2},
number = {4},
pages = {367--388},
year = {1992},
url = {https://doi.org/10.1007/BF01101110},
doi = {10.1007/BF01101110},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/umuai/RosisPRBM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
