Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Krysia Broda
@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}
}
@article{DBLP:journals/tplp/BrodaSB22,
author = {Krysia Broda and
Fariba Sadri and
Stephen Butler},
title = {Reactive Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {3},
pages = {367--418},
year = {2022},
url = {https://doi.org/10.1017/S147106842100051X},
doi = {10.1017/S147106842100051X},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/BrodaSB22.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/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}
}
@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/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/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}
}
@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-2109-10633,
author = {Krysia Broda and
Fariba Sadri and
Stephen Butler},
title = {Reactive Answer Set Programming},
journal = {CoRR},
volume = {abs/2109.10633},
year = {2021},
url = {https://arxiv.org/abs/2109.10633},
eprinttype = {arXiv},
eprint = {2109.10633},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-10633.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/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}
}
@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-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}
}
@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/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}
}
@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-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}
}
@inproceedings{DBLP:conf/csedu/DoreB18,
author = {Maximilian Dor{\'{e}} and
Krysia Broda},
editor = {Bruce M. McLaren and
Rob Reilly and
Susan Zvacek and
James Onohuome Uhomoibhi},
title = {The {ELFE} System - Verifying Mathematical Proofs of Undergraduate
Students},
booktitle = {Proceedings of the 10th International Conference on Computer Supported
Education, {CSEDU} 2018, Funchal, Madeira, Portugal, March 15-17,
2018, Volume 2},
pages = {15--26},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006681000150026},
doi = {10.5220/0006681000150026},
timestamp = {Wed, 09 May 2018 16:57:38 +0200},
biburl = {https://dblp.org/rec/conf/csedu/DoreB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/DoreB18a,
author = {Maximilian Dor{\'{e}} and
Krysia Broda},
editor = {Bruce M. McLaren and
Rob Reilly and
Susan Zvacek and
James Uhomoibhi},
title = {Intuitive Reasoning in Formalized Mathematics with Elfe},
booktitle = {Computer Supported Education - 10th International Conference, {CSEDU}
2018, Funchal, Madeira, Portugal, March 15-17, 2018, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {1022},
pages = {549--571},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-21151-6\_26},
doi = {10.1007/978-3-030-21151-6\_26},
timestamp = {Tue, 25 Jun 2019 19:07:50 +0200},
biburl = {https://dblp.org/rec/conf/csedu/DoreB18a.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}
}
@inproceedings{DBLP:journals/corr/abs-1904-01006,
author = {Maximilian Dor{\'{e}} and
Krysia Broda},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Towards Intuitive Reasoning in Axiomatic Geometry},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {38--55},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.4},
doi = {10.4204/EPTCS.290.4},
timestamp = {Mon, 22 Nov 2021 15:31:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-10513,
author = {Maximilian Dor{\'{e}} and
Krysia Broda},
title = {The Elfe System - Verifying mathematical proofs of undergraduate students},
journal = {CoRR},
volume = {abs/1801.10513},
year = {2018},
url = {http://arxiv.org/abs/1801.10513},
eprinttype = {arXiv},
eprint = {1801.10513},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-10513.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}
}
@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}
}
@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/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/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 16:23:03 +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/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/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}
}
@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/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/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/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/icmla/SmithDB12,
author = {Jeremiah Smith and
Luke Dickens and
Krysia Broda},
title = {Balancing Public Cycle Sharing Schemes Using Independent Learners},
booktitle = {11th International Conference on Machine Learning and Applications,
ICMLA, Boca Raton, FL, USA, December 12-15, 2012. Volume 1},
pages = {168--173},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICMLA.2012.36},
doi = {10.1109/ICMLA.2012.36},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/icmla/SmithDB12.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/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 = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MaRBL11.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/cj/BrodaH10,
author = {Krysia Broda and
Christopher J. Hogger},
title = {Designing Effective Policies for Minimal Agents},
journal = {Comput. J.},
volume = {53},
number = {8},
pages = {1184--1209},
year = {2010},
url = {https://doi.org/10.1093/comjnl/bxn052},
doi = {10.1093/COMJNL/BXN052},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BrodaH10.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/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/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/icann/KomendantskayaBG10,
author = {Ekaterina Komendantskaya and
Krysia Broda and
Artur S. d'Avila Garcez},
editor = {Konstantinos I. Diamantaras and
Wlodek Duch and
Lazaros S. Iliadis},
title = {Neuro-symbolic Representation of Logic Programs Defining Infinite
Sets},
booktitle = {Artificial Neural Networks - {ICANN} 2010 - 20th International Conference,
Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6352},
pages = {301--304},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15819-3\_39},
doi = {10.1007/978-3-642-15819-3\_39},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/icann/KomendantskayaBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/Guillame-BertBG10,
author = {Mathieu Guillame{-}Bert and
Krysia Broda and
Artur S. d'Avila Garcez},
title = {First-order logic learning in Artificial Neural Networks},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2010, Barcelona,
Spain, 18-23 July, 2010},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IJCNN.2010.5596491},
doi = {10.1109/IJCNN.2010.5596491},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/Guillame-BertBG10.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/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/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}
}
@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/jolli/Broda08,
author = {Krysia Broda},
title = {Book Review},
journal = {J. Log. Lang. Inf.},
volume = {17},
number = {2},
pages = {229--231},
year = {2008},
url = {https://doi.org/10.1007/s10849-007-9038-1},
doi = {10.1007/S10849-007-9038-1},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Broda08.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}
}
@article{DBLP:journals/igpl/BrodaMSS07,
author = {Krysia Broda and
Jiefei Ma and
Gabrielle Sinnadurai and
Alexander J. Summers},
title = {Pandora: {A} Reasoning Toolbox using Natural Deduction Style},
journal = {Log. J. {IGPL}},
volume = {15},
number = {4},
pages = {293--304},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm020},
doi = {10.1093/JIGPAL/JZM020},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaMSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/BrodaH05,
author = {Krysia Broda and
Christopher J. Hogger},
title = {Determining and verifying good policies for cloned teleo-reactive
agents},
journal = {Comput. Syst. Sci. Eng.},
volume = {20},
number = {4},
year = {2005},
timestamp = {Tue, 20 Feb 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csse/BrodaH05.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/sara/BrodaH05,
author = {Krysia Broda and
Christopher J. Hogger},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Abstract Policy Evaluation for Reactive Agents},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {44--59},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_4},
doi = {10.1007/11527862\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/BrodaH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/KamodaHYMBS05,
author = {Hiroaki Kamoda and
Akihiro Hayakawa and
Masaki Yamaoka and
Shigeyuki Matsuda and
Krysia Broda and
Morris Sloman},
title = {Policy Conflict Analysis Using Tableaux for On Demanc {VPN} Framework},
booktitle = {2005 International Conference on a World of Wireless, Mobile and Multimedia
Networks {(WOWMOM} 2005), 13-16 June 2005, Taormina, Italy, Proceedings},
pages = {565--569},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WOWMOM.2005.78},
doi = {10.1109/WOWMOM.2005.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wowmom/KamodaHYMBS05.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}
}
@article{DBLP:journals/ijait/GarcezLBG04,
author = {Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
Krysia Broda and
Dov M. Gabbay},
title = {Applying connectionist modal logics to distributed knowledge representation
problems},
journal = {Int. J. Artif. Intell. Tools},
volume = {13},
number = {1},
pages = {115--139},
year = {2004},
url = {https://doi.org/10.1142/S0218213004001442},
doi = {10.1142/S0218213004001442},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/GarcezLBG04.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/mates/BrodaH04,
author = {Krysia Broda and
Christopher J. Hogger},
editor = {Gabriela Lindemann and
J{\"{o}}rg Denzinger and
Ingo J. Timm and
Rainer Unland},
title = {Policies for Cloned Teleo-reactive Robots},
booktitle = {Multiagent System Technologies, Second German Conference, {MATES}
2004, Erfurt, Germany, September 29-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3187},
pages = {328--340},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30082-3\_24},
doi = {10.1007/978-3-540-30082-3\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/BrodaH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/GarcezLBG03,
author = {Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
Krysia Broda and
Dov M. Gabbay},
editor = {Ingrid Russell and
Susan M. Haller},
title = {Distributed Knowledge Representation in Neural-Symbolic Learning Systems:
{A} Case Study},
booktitle = {Proceedings of the Sixteenth International Florida Artificial Intelligence
Research Society Conference, May 12-14, 2003, St. Augustine, Florida,
{USA}},
pages = {271--275},
publisher = {{AAAI} Press},
year = {2003},
url = {http://www.aaai.org/Library/FLAIRS/2003/flairs03-053.php},
timestamp = {Wed, 26 Oct 2022 08:35:31 +0200},
biburl = {https://dblp.org/rec/conf/flairs/GarcezLBG03.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}
}
@book{DBLP:books/daglib/0007534,
author = {Artur S. d'Avila Garcez and
Krysia Broda and
Dov M. Gabbay},
title = {Neural-symbolic learning systems - foundations and applications},
series = {Perspectives in neural computing},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-1-4471-0211-3},
doi = {10.1007/978-1-4471-0211-3},
isbn = {978-1-85233-512-0},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0007534.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/birthday/Broda02,
author = {Krysia Broda},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {A Decidable {CLDS} for Some Propositional Resource Logics},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2408},
pages = {135--159},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45632-5\_6},
doi = {10.1007/3-540-45632-5\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broda02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GarcezBG01,
author = {Artur S. d'Avila Garcez and
Krysia Broda and
Dov M. Gabbay},
title = {Symbolic knowledge extraction from trained neural networks: {A} sound
approach},
journal = {Artif. Intell.},
volume = {125},
number = {1-2},
pages = {155--207},
year = {2001},
url = {https://doi.org/10.1016/S0004-3702(00)00077-1},
doi = {10.1016/S0004-3702(00)00077-1},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GarcezBG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BrodaHW00,
author = {Krysia Broda and
Christopher J. Hogger and
Sam Watson},
editor = {Werner Horn},
title = {Constructing Teleo-reactive Robot Programs},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {653--657},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BrodaHW00.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/tableaux/BrodaG99,
author = {Krysia Broda and
Dov M. Gabbay},
editor = {Neil V. Murray},
title = {{CLDS} for Propositional Intuitionistic Logic},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} '99, Saratoga Springs, NY, USA, June 7-11,
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1617},
pages = {66--81},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48754-9\_10},
doi = {10.1007/3-540-48754-9\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BrodaG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acse/BrodaEK96,
author = {Krysia Broda and
Susan Eisenbach and
Lloyd Daniel Kamara},
editor = {Alan D. Fekete and
John Rosenberg},
title = {Tool support for informal deduction},
booktitle = {Proceedings of the {ACM} {SIGCSE} 1st Australasian Conference on Computer
Science Education, {ACSE} 1996, Sydney, NSW, Australia, July 1996},
series = {{ACM} International Conference Proceeding Series},
volume = {1},
pages = {119--126},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/369585.369604},
doi = {10.1145/369585.369604},
timestamp = {Thu, 27 Aug 2020 11:23:10 +0200},
biburl = {https://dblp.org/rec/conf/acse/BrodaEK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrodaDGJR95,
author = {Krysia Broda and
Marcello D'Agostino and
Rajeev Gor{\'{e}} and
Rob Johnson and
Steve Reeves},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {3},
number = {6},
pages = {826},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.6.826},
doi = {10.1093/JIGPAL/3.6.826},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaDGJR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FinkelsteinKABDE93,
author = {Anthony Finkelstein and
Jeff Kramer and
Samson Abramsky and
Krysia Broda and
Sophia Drossopoulou and
Susan Eisenbach},
title = {An Integrated Engineering Study Scheme in Computing},
journal = {Comput. J.},
volume = {36},
number = {4},
pages = {320--334},
year = {1993},
url = {https://doi.org/10.1093/comjnl/36.4.320},
doi = {10.1093/COMJNL/36.4.320},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/FinkelsteinKABDE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alpuk/1992,
editor = {Krysia Broda},
title = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
London, 30 March - 1 April 1992},
series = {Workshops in Computing},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3421-3},
doi = {10.1007/978-1-4471-3421-3},
isbn = {3-540-19783-4},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alpuk/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/HoggerB92,
author = {Elizabeth I. Hogger and
Krysia Broda},
editor = {Derek H. Sleeman and
Peter Edwards},
title = {The {MENTLE} Approach to Learning Heuristics for the Control of Logic
Programs},
booktitle = {Proceedings of the Ninth International Workshop on Machine Learning
{(ML} 1992), Aberdeen, Scotland, UK, July 1-3, 1992},
pages = {212--217},
publisher = {Morgan Kaufmann},
year = {1992},
url = {https://doi.org/10.1016/b978-1-55860-247-2.50032-2},
doi = {10.1016/B978-1-55860-247-2.50032-2},
timestamp = {Fri, 21 Jun 2019 11:43:03 +0200},
biburl = {https://dblp.org/rec/conf/icml/HoggerB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrodaG84,
author = {Krysia Broda and
Steve Gregory},
editor = {Sten{-}{\AA}ke T{\"{a}}rnlund},
title = {Parlog for Discrete Event Simulation},
booktitle = {Proceedings of the Second International Logic Programming Conference,
Uppsala University, Uppsala, Sweden, July 2-6, 1984},
pages = {301--312},
publisher = {Uppsala University},
year = {1984},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrodaG84.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-21 18:06 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:
