2008 |
24 | EE | 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) |
23 | EE | Krysia Broda:
Book Review.
Journal of Logic, Language and Information 17(2): 229-231 (2008) |
2007 |
22 | EE | 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) |
2005 |
21 | EE | Krysia Broda,
Christopher J. Hogger:
Abstract Policy Evaluation for Reactive Agents.
SARA 2005: 44-59 |
20 | EE | 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 |
19 | | Krysia Broda,
Alessandra Russo:
Compiled Labelled Deductive Systems for Access Control.
We Will Show Them! (1) 2005: 309-338 |
18 | | Krysia Broda,
Christopher J. Hogger:
Determining and verifying good policies for cloned teleo-reactive agents.
Comput. Syst. Sci. Eng. 20(4): (2005) |
2004 |
17 | EE | Oliver Ray,
Krysia Broda,
Alessandra Russo:
Generalised Kernel Sets for Inverse Entailment.
ICLP 2004: 165-179 |
16 | EE | Krysia Broda,
Christopher J. Hogger:
Policies for Cloned Teleo-reactive Robots.
MATES 2004: 328-340 |
15 | EE | 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) |
14 | EE | Oliver Ray,
Krysia Broda,
Alessandra Russo:
A Hybrid Abductive Inductive Proof Procedure.
Logic Journal of the IGPL 12(5): 371-397 (2004) |
2003 |
13 | | 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 |
12 | EE | Oliver Ray,
Krysia Broda,
Alessandra Russo:
Hybrid Abductive Inductive Learning: A Generalisation of Progol.
ILP 2003: 311-328 |
2002 |
11 | EE | Krysia Broda:
A Decidable CLDS for Some Propositional Resource Logics.
Computational Logic: Logic Programming and Beyond 2002: 135-159 |
10 | EE | 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) |
2001 |
9 | EE | 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 |
8 | | Krysia Broda,
Christopher J. Hogger,
Sam Watson:
Constructing Teleo-reactive Robot Programs.
ECAI 2000: 653-657 |
1999 |
7 | | Krysia Broda,
Dov M. Gabbay:
CLDS for Propositional Intuitionistic Logic.
TABLEAUX 1999: 66-81 |
6 | EE | Krysia Broda,
Marcelo Finger,
Alessandra Russo:
Labelled Natural Deduction for Substructural Logics.
Logic Journal of the IGPL 7(3): 283-318 (1999) |
1996 |
5 | EE | Krysia Broda,
Susan Eisenbach,
Lloyd Kamara:
Tool support for informal deduction.
ACSE 1996: 119-126 |
1995 |
4 | EE | Krysia Broda,
Marcello D'Agostino,
Rajeev Goré,
Rob Johnson,
Steve Reeves:
Editorial.
Logic Journal of the IGPL 3(6): 826 (1995) |
1993 |
3 | | 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) |
1992 |
2 | | Elizabeth I. Hogger,
Krysia Broda:
The MENTLE Approach to Learning Heuristics for the Control of Logic Programs.
ML 1992: 212-217 |
1984 |
1 | | Krysia Broda,
Steve Gregory:
Parlog for Discrete Event Simulation.
ICLP 1984: 301-312 |