Krysia Broda

Duangtida Athakravi, Krysia Broda, Alessandra Russo: Predicate Invention in Inductive Logic Programming. ICCSW 2012: 15-21

Jeremiah Smith, Luke Dickens, Krysia Broda: Balancing Public Cycle Sharing Schemes Using Independent Learners. ICMLA (1) 2012: 168-173

Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Multi-agent abductive reasoning with confidentiality. AAMAS 2011: 1137-1138

Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Multi-agent Confidential Abductive Reasoning. ICLP (Technical Communications) 2011: 175-186

Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda: Speculative constraint processing for hierarchical agents. AI Commun. 23(4): 373-388 (2010)

Krysia Broda, Christopher J. Hogger: Designing Effective Policies for Minimal Agents. Comput. J. 53(8): 1184-1209 (2010)

Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Distributed abductive reasoning with constraints. AAMAS 2010: 1381-1382

Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh: Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA 2010: 49-64

Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu: Distributed Abductive Reasoning with Constraints. DALT 2010: 148-166

Luke Dickens, Krysia Broda, Alessandra Russo: The Dynamics of Multi-Agent Reinforcement Learning. ECAI 2010: 367-372

Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez: Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) 2010: 301-304

Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez: First-order logic learning in Artificial Neural Networks. IJCNN 2010: 1-8

Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo: SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI 2009: 112-117

Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Multi-agent planning with confidentiality. AAMAS (2) 2009: 1275-1276

Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh: On the Implementation of Speculative Constraint Processing. CLIMA 2009: 178-195

Tim Kimber, Krysia Broda, Alessandra Russo: Induction on Failure: Learning Connected Horn Theories. LPNMR 2009: 169-181

Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark: DARE: a system for distributed abductive reasoning. Autonomous Agents and Multi-Agent Systems 16(3): 271-297 (2008)

Krysia Broda: Book Review. Journal of Logic, Language and Information 17(2): 229-231 (2008)

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

Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers: Pandora: A Reasoning Toolbox using Natural Deduction Style. Logic Journal of the IGPL 15(4): 293-304 (2007)

Krysia Broda, Christopher J. Hogger: Determining and verifying good policies for cloned teleo-reactive agents. Comput. Syst. Sci. Eng. 20(4) (2005)

Krysia Broda, Alessandra Russo: Compiled Labelled Deductive Systems for Access Control. We Will Show Them! (1) 2005: 309-338

Krysia Broda, Christopher J. Hogger: Abstract Policy Evaluation for Reactive Agents. SARA 2005: 44-59

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

Oliver Ray, Krysia Broda, Alessandra Russo: A Hybrid Abductive Inductive Proof Procedure. Logic Journal of the IGPL 12(5): 371-397 (2004)

Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay: Applying connectionist modal logics to distributed knowledge representation problems. International Journal on Artificial Intelligence Tools 13(1): 115-139 (2004)

Oliver Ray, Krysia Broda, Alessandra Russo: Generalised Kernel Sets for Inverse Entailment. ICLP 2004: 165-179

Krysia Broda, Christopher J. Hogger: Policies for Cloned Teleo-reactive Robots. MATES 2004: 328-340

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 Conference 2003: 271-275

Oliver Ray, Krysia Broda, Alessandra Russo: Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP 2003: 311-328

Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo: Labelled Natural Deduction for Conditional Logics of Normality. Logic Journal of the IGPL 10(2): 123-163 (2002)

Krysia Broda: A Decidable CLDS for Some Propositional Resource Logics. Computational Logic: Logic Programming and Beyond 2002: 135-159

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)

Krysia Broda, Christopher J. Hogger, Sam Watson: Constructing Teleo-reactive Robot Programs. ECAI 2000: 653-657

Krysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999)

Krysia Broda, Dov M. Gabbay: CLDS for Propositional Intuitionistic Logic. TABLEAUX 1999: 66-81

Krysia Broda, Susan Eisenbach, Lloyd Kamara: Tool support for informal deduction. ACSE 1996: 119-126

Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves: Editorial. Logic Journal of the IGPL 3(6): 826 (1995)

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)

Elizabeth I. Hogger, Krysia Broda: The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. ML 1992: 212-217

Krysia Broda, Steve Gregory: Parlog for Discrete Event Simulation. ICLP 1984: 301-312