dblp.uni-trier.dewww.uni-trier.de

Krysia Broda Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)