Krysia Broda

	2009
27		Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Multi-agent planning with confidentiality. AAMAS (2) 2009: 1275-1276
26		Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo: SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI 2009: 112-117
25		Tim Kimber, Krysia Broda, Alessandra Russo: Induction on Failure: Learning Connected Horn Theories. LPNMR 2009: 169-181
	2008
24		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		Krysia Broda: Book Review. Journal of Logic, Language and Information 17(2): 229-231 (2008)
	2007
22		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		Krysia Broda, Christopher J. Hogger: Abstract Policy Evaluation for Reactive Agents. SARA 2005: 44-59
20		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		Oliver Ray, Krysia Broda, Alessandra Russo: Generalised Kernel Sets for Inverse Entailment. ICLP 2004: 165-179
16		Krysia Broda, Christopher J. Hogger: Policies for Cloned Teleo-reactive Robots. MATES 2004: 328-340
15		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		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		Oliver Ray, Krysia Broda, Alessandra Russo: Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP 2003: 311-328
	2002
11		Krysia Broda: A Decidable CLDS for Some Propositional Resource Logics. Computational Logic: Logic Programming and Beyond 2002: 135-159
10		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		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		Krysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999)
	1996
5		Krysia Broda, Susan Eisenbach, Lloyd Kamara: Tool support for informal deduction. ACSE 1996: 119-126
	1995
4		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

Coauthor Index

1	Samson Abramsky	[3]
2	Keith Clark	[24] [26]
3	Marcello D'Agostino	[4]
4	Sophia Drossopoulou	[3]
5	Susan Eisenbach	[3] [5]
6	Marcelo Finger	[6]
7	Anthony Finkelstein	[3]
8	Dov M. Gabbay	[7] [9] [10] [13] [15]
9	Artur S. d'Avila Garcez	[9] [13] [15]
10	Rajeev Goré	[4]
11	Steve Gregory	[1]
12	Akihiro Hayakawa	[20]
13	Christopher J. Hogger	[8] [16] [18] [21]
14	Elizabeth I. Hogger	[2]
15	Rob Johnson	[4]
16	Lloyd Kamara	[5]
17	Hiroaki Kamoda	[20]
18	Tim Kimber	[25]
19	Jeff Kramer	[3]
20	Luís C. Lamb (Luís da Cunha Lamb)	[10] [13] [15]
21	Emil C. Lupu (Emil Lupu)	[27]
22	Jiefei Ma	[22] [24] [27]
23	Shigeyuki Matsuda	[20]
24	Rob Miller (Robert Simon Miller)	[26]
25	Oliver Ray	[12] [14] [17]
26	Steve Reeves	[4]
27	Alessandra Russo	[6] [10] [12] [14] [17] [19] [24] [25] [26] [27]
28	Gabrielle Sinnadurai	[22]
29	Morris Sloman	[20]
30	Alexander J. Summers	[22]
31	Sam Watson	[8]
32	Masaki Yamaoka	[20]

Colors in the list of coauthors