default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKrysia Broda
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c53]Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo:
Hierarchies of Reward Machines. ICML 2023: 10494-10541- 2022
- [j20]Krysia Broda, Fariba Sadri
, Stephen Butler:
Reactive Answer Set Programming. Theory Pract. Log. Program. 22(3): 367-418 (2022) - [c52]David Tuckey, Krysia Broda, Alessandra Russo:
A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. ICLP Workshops 2022 - [c51]Mark Law, Krysia Broda, Alessandra Russo:
Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data. IJCAI 2022: 2697-2704 - [c50]Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo:
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. KR 2022 - [i12]Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo:
Hierarchies of Reward Machines. CoRR abs/2205.15752 (2022) - 2021
- [j19]Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo:
Induction and Exploitation of Subgoal Automata for Reinforcement Learning. J. Artif. Intell. Res. 70: 1031-1116 (2021) - [c49]Mark Law, Alessandra Russo, Krysia Broda, Elisa Bertino:
Scalable Non-observational Predicate Learning in ASP. IJCAI 2021: 1936-1943 - [i11]David Tuckey, Alessandra Russo, Krysia Broda:
PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics. CoRR abs/2105.10908 (2021) - [i10]Krysia Broda, Fariba Sadri, Stephen Butler:
Reactive Answer Set Programming. CoRR abs/2109.10633 (2021) - 2020
- [c48]Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo:
FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. AAAI 2020: 2877-2885 - [c47]Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson:
Induction of Subgoal Automata for Reinforcement Learning. AAAI 2020: 3890-3897 - [c46]Shuang Xia, Krysia Broda, Alessandra Russo:
Topical Neural Theorem Prover that Induces Rules. GCAI 2020: 107-120 - [c45]David Tuckey, Krysia Broda, Alessandra Russo:
Towards Structure Learning under the Credal Semantics. ICLP Workshops 2020 - [c44]Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo:
Stable and Supported Semantics in Continuous Vector Spaces. KR 2020: 59-68 - [i9]David Tuckey, Alessandra Russo, Krysia Broda:
A general framework for scientifically inspired explanations in AI. CoRR abs/2003.00749 (2020) - [i8]Mark Law, Alessandra Russo, Krysia Broda:
The ILASP system for Inductive Learning of Answer Set Programs. CoRR abs/2005.00904 (2020) - [i7]Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo:
Induction and Exploitation of Subgoal Automata for Reinforcement Learning. CoRR abs/2009.03855 (2020)
2010 – 2019
- 2019
- [c43]Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo:
Representing and Learning Grammars in Answer Set Programming. AAAI 2019: 2919-2928 - [c42]Mark Law, Alessandra Russo, Krysia Broda:
Logic-Based Learning of Answer Set Programs. RW 2019: 196-231 - [i6]David Tuckey, Krysia Broda, Alessandra Russo:
Saliency Maps Generation for Automatic Text Summarization. CoRR abs/1907.05664 (2019) - [i5]Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson:
Induction of Subgoal Automata for Reinforcement Learning. CoRR abs/1911.13152 (2019) - 2018
- [j18]Mark Law, Alessandra Russo, Krysia Broda:
The complexity and generality of learning answer set programs. Artif. Intell. 259: 110-146 (2018) - [c41]Maximilian Doré, Krysia Broda:
The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. CSEDU (2) 2018: 15-26 - [c40]Maximilian Doré, Krysia Broda:
Intuitive Reasoning in Formalized Mathematics with Elfe. CSEDU (Selected Papers) 2018: 549-571 - [c39]Yaniv Aspis, Krysia Broda, Alessandra Russo:
Tensor-Based Abduction in Horn Propositional Programs. ILP Up-and-Coming / Short Papers 2018: 68-75 - [c38]Maximilian Doré, Krysia Broda:
Towards Intuitive Reasoning in Axiomatic Geometry. ThEdu@FLoC 2018: 38-55 - [i4]Maximilian Doré, Krysia Broda:
The Elfe System - Verifying mathematical proofs of undergraduate students. CoRR abs/1801.10513 (2018) - [i3]Mark Law, Alessandra Russo, Krysia Broda:
Inductive Learning of Answer Set Programs from Noisy Examples. CoRR abs/1808.08441 (2018) - 2017
- [c37]Piotr Chabierski, Alessandra Russo, Mark Law, Krysia Broda:
Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. COMMONSENSE 2017 - 2016
- [j17]Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda:
Probabilistic abductive logic programming using Dirichlet priors. Int. J. Approx. Reason. 78: 223-240 (2016) - [j16]Mark Law, Alessandra Russo, Krysia Broda:
Iterative Learning of Answer Set Programs from Context Dependent Examples. Theory Pract. Log. Program. 16(5-6): 834-848 (2016) - [c36]Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc:
An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. ILP (Short Papers) 2016: 20-26 - [i2]Mark Law, Alessandra Russo, Krysia Broda:
Iterative Learning of Answer Set Programs from Context Dependent Examples. CoRR abs/1608.01946 (2016) - 2015
- [j15]Mark Law, Alessandra Russo, Krysia Broda:
Learning weak constraints in answer set programming. Theory Pract. Log. Program. 15(4-5): 511-525 (2015) - [c35]Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda:
Probabilistic Abductive Logic Programming using Dirichlet Priors. PLP@ICLP 2015: 85-98 - [c34]Graham Deane, Krysia Broda, Alessandra Russo:
Reasoning in the presence of inconsistency through Preferential ALC. LPAR (short papers) 2015: 67-80 - [c33]Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo:
Automated Inference of Rules with Exception from Past Legal Cases Using ASP. LPNMR 2015: 83-96 - [i1]Mark Law, Alessandra Russo, Krysia Broda:
Learning Weak Constraints in Answer Set Programming. CoRR abs/1507.06566 (2015) - 2014
- [c32]Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh:
Inductive Learning Using Constraint-Driven Bias. ILP 2014: 16-32 - [c31]Mark Law, Alessandra Russo, Krysia Broda:
Inductive Learning of Answer Set Programs. JELIA 2014: 311-325 - 2013
- [c30]Duangtida Athakravi, Domenico Corapi, Krysia Broda, Alessandra Russo:
Learning Through Hypothesis Refinement Using Answer Set Programming. ILP 2013: 31-46 - [c29]Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda:
On Minimality and Integrity Constraints in Probabilistic Abduction. LPAR 2013: 759-775 - 2012
- [c28]Duangtida Athakravi, Krysia Broda, Alessandra Russo:
Predicate Invention in Inductive Logic Programming. ICCSW 2012: 15-21 - [c27]Jeremiah Smith, Luke Dickens, Krysia Broda:
Balancing Public Cycle Sharing Schemes Using Independent Learners. ICMLA (1) 2012: 168-173 - 2011
- [c26]Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu:
Multi-agent abductive reasoning with confidentiality. AAMAS 2011: 1137-1138 - [c25]Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu:
Multi-agent Confidential Abductive Reasoning. ICLP (Technical Communications) 2011: 175-186 - 2010
- [j14]Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda:
Speculative constraint processing for hierarchical agents. AI Commun. 23(4): 373-388 (2010) - [j13]Krysia Broda, Christopher J. Hogger:
Designing Effective Policies for Minimal Agents. Comput. J. 53(8): 1184-1209 (2010) - [c24]Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu:
Distributed abductive reasoning with constraints. AAMAS 2010: 1381-1382 - [c23]Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh:
Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA 2010: 49-64 - [c22]Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu:
Distributed Abductive Reasoning with Constraints. DALT 2010: 148-166 - [c21]Luke Dickens, Krysia Broda, Alessandra Russo:
The Dynamics of Multi-Agent Reinforcement Learning. ECAI 2010: 367-372 - [c20]Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez:
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) 2010: 301-304 - [c19]Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez:
First-order logic learning in Artificial Neural Networks. IJCNN 2010: 1-8
2000 – 2009
- 2009
- [c18]Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo:
SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI 2009: 112-117 - [c17]Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu:
Multi-agent planning with confidentiality. AAMAS (2) 2009: 1275-1276 - [c16]Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh:
On the Implementation of Speculative Constraint Processing. CLIMA 2009: 178-195 - [c15]Tim Kimber, Krysia Broda, Alessandra Russo:
Induction on Failure: Learning Connected Horn Theories. LPNMR 2009: 169-181 - 2008
- [j12]Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark:
DARE: a system for distributed abductive reasoning. Auton. Agents Multi Agent Syst. 16(3): 271-297 (2008) - [j11]Krysia Broda:
Book Review. J. Log. Lang. Inf. 17(2): 229-231 (2008) - [c14]Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark:
A Dynamic System for Distributed Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 31-36 - 2007
- [j10]Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers:
Pandora: A Reasoning Toolbox using Natural Deduction Style. Log. J. IGPL 15(4): 293-304 (2007) - 2006
- [j9]Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman:
Access Control Policy Analysis Using Free Variable Tableaux. Inf. Media Technol. 1(2): 1155-1169 (2006) - 2005
- [j8]Krysia Broda, Christopher J. Hogger:
Determining and verifying good policies for cloned teleo-reactive agents. Comput. Syst. Sci. Eng. 20(4) (2005) - [c13]Krysia Broda, Alessandra Russo:
Compiled Labelled Deductive Systems for Access Control. We Will Show Them! (1) 2005: 309-338 - [c12]Krysia Broda, Christopher J. Hogger:
Abstract Policy Evaluation for Reactive Agents. SARA 2005: 44-59 - [c11]Hiroaki Kamoda, Akihiro Hayakawa, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman:
Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework. WOWMOM 2005: 565-569 - 2004
- [j7]Oliver Ray, Krysia Broda, Alessandra Russo:
A Hybrid Abductive Inductive Proof Procedure. Log. J. IGPL 12(5): 371-397 (2004) - [j6]Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay:
Applying connectionist modal logics to distributed knowledge representation problems. Int. J. Artif. Intell. Tools 13(1): 115-139 (2004) - [c10]Oliver Ray, Krysia Broda, Alessandra Russo:
Generalised Kernel Sets for Inverse Entailment. ICLP 2004: 165-179 - [c9]Krysia Broda, Christopher J. Hogger:
Policies for Cloned Teleo-reactive Robots. MATES 2004: 328-340 - 2003
- [c8]Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay:
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS 2003: 271-275 - [c7]Oliver Ray, Krysia Broda, Alessandra Russo:
Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP 2003: 311-328 - 2002
- [b1]Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay:
Neural-symbolic learning systems - foundations and applications. Perspectives in neural computing, Springer 2002, ISBN 978-1-85233-512-0, pp. I-XIII, 1-271 - [j5]Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo:
Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL 10(2): 123-163 (2002) - [c6]Krysia Broda:
A Decidable CLDS for Some Propositional Resource Logics. Computational Logic: Logic Programming and Beyond 2002: 135-159 - 2001
- [j4]Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay:
Symbolic knowledge extraction from trained neural networks: A sound approach. Artif. Intell. 125(1-2): 155-207 (2001) - 2000
- [c5]Krysia Broda, Christopher J. Hogger, Sam Watson:
Constructing Teleo-reactive Robot Programs. ECAI 2000: 653-657
1990 – 1999
- 1999
- [j3]Krysia Broda, Marcelo Finger, Alessandra Russo:
Labelled Natural Deduction for Substructural Logics. Log. J. IGPL 7(3): 283-318 (1999) - [c4]Krysia Broda, Dov M. Gabbay:
CLDS for Propositional Intuitionistic Logic. TABLEAUX 1999: 66-81 - 1996
- [c3]Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara:
Tool support for informal deduction. ACSE 1996: 119-126 - 1995
- [j2]Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves:
Editorial. Log. J. IGPL 3(6): 826 (1995) - 1993
- [j1]Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach:
An Integrated Engineering Study Scheme in Computing. Comput. J. 36(4): 320-334 (1993) - [e1]Krysia Broda:
ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19783-4 [contents] - 1992
- [c2]Elizabeth I. Hogger, Krysia Broda:
The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. ML 1992: 212-217
1980 – 1989
- 1984
- [c1]Krysia Broda, Steve Gregory:
Parlog for Discrete Event Simulation. ICLP 1984: 301-312
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-28 22:33 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:
