H. Hosobe, K. Satoh, J. Ma, A. Russo, K. Broda, Speculative Constraint Processing for Hierarchical Agents, EUMAS-09, 7th European Workshop on Multi-agent Systems, 2009
K. Broda, K. Clark, R. Miller, A. Russo, SAGE: A Logical Agent-Based Environment Monitoring and Control System, AMI09, 3rd European Conf. on Ambient Intelligence, 2009
T. Kimber, K. Broda, A. Russo, Induction on Failure: Learning Connected Horn Theories, LPNMR09, Logic Programming and Non-Monotonic Reasoning, 2009
J. Ma, A. Russo, K. Broda, H. Hosobe and K. Satoh, On the Implementation of Speculative Constraint Processing, CLIMA-X, 10th Int. Workshop on Computational Logic for Multi-Agent Systems, 2009
J. Ma, A. Russo, K. Broda, E. Lupu, Multi-agent Planning with Confidentiality, (Extended Abstract) AMAAS09, 8th Int. Conf. on Autonomous Agents and Multi-Agent Systems, 2009
J. Ma, K. Broda, K.L. Clark and A. Russo. DARE: A System for Distributed Abductive REasoning, Special Issue on Computational Logic-Based Agents, JAAMAS, Springer, Vol 16 (4), pp271-297, 2008
J. Ma, K. Broda, K.L. Clark and A. Russo. A Dynamic System for Distributed Reasoning, AITA08, In Proceedings of the AAAI Spring Symposium SS-08-02 2008
O. Ray, K. Broda and A. Russo. A Hybrid Abductive Inductive Proof procedure, Logic Journal of the IGPL, OUP, Vol 12 (4), 2004
O. Ray, K. Broda and A. Russo. Hybrid Abductive
Inductive Learning: A Generalisation of Progol Proc. 20th Int. Conf.
on Logic Programming, 2004,
Springer Verlag, LNCS
O. Ray, K. Broda and A. Russo. Generalised Kernel Sets
for Inverse Entailment, Proc. 13th Int. Conf. on Inductive Logic
Programming, 2003, Springer Verlag, LNAI 2835, pp311-328
Publications related to LDS and Compiled Labelled
Deductive Systems
Krysia
Broda and Alessandra Russo. A Tableau Compiled Labelled Deductive System for Hybrid Logic, (Extended Abstract), ARW07, Bridging the gap between Theory and Practice, 2007
K.
Broda, M. d'Agostino and M. Mondadori. A Solution to a problem of Popper, Proceedings of the conference Karl Popper Philosopher of Science, Ed. M. Alai, G. Tarozzi et al, pp147-168, 2006
Krysia Broda and Alessandra Russo. Compiled Labelled Deductive Systems for Access Logic, in We will Show Them!, Essays in Honour of Dov Gabbay on his 60th
Birthday, Volume 1. Eds S. Artemov et al. 2005
pdf
Krysia
Broda, Dov Gabbay, Luis Lamb and Alessandra Russo. Compiled Labelled
Deductive Systems: A Uniform Presentation of Non-Classical Logics, Research Studies press, 2004 ISBN 0863802966
Krysia Broda, Dov Gabbay, Luis Lamb and Alessandra Russo. Labelled
Natural Deduction for Conditional Logic of Normality Journal of the IGPL
Vol 10(2) March 2002
Krysia Broda. A Decidable CLDS for some Propositional
Resource Logics in Computational Logic: from Logic Programming into the
Future. Eds A.C. Kakas and F.Sadri. 2002
Luis Lamb, K. Broda and D. Gabbay. Labelled Natural
Deduction for First Order Conditional Logic,
Bulletin of Symbolic Logic, 7(2). pp167-168, 2002 (Proc. Logic Colloquim 2001,
Vienna).
Krysia Broda, Alessandra Russo and Dov Gabbay. A
Uniform Compilation Style Natural Deduction System for Modal, Substructural and
Fuzzy Logics in Fuzzy Logic: Perspectives and Applications to
Formalization of Human-consistent Logical Systems. Eds V. Novak and I.
Perfileva, Springer 2000.
Krysia
Broda, Dov Gabbay. Labelled Abduction (I): Compiled Labelled Abductive
Systems, in Labelled Deduction, Ed. D. Basin et al, Kluwer, pp 107 - 134,
ISBN 0-7923-6237-3, 2000.
Krysia Broda,
Marcello D'Agostino and Alessandra Russo. Transformation Methods in LDS
in Logic, Language and Reasoning, An Essay in Honour of Gabbay, Ed. H.J.
Ohlbach, Kluwer. (1999)
Krysia Broda and Dov Gabbay.A CLDS for Propositional
Intuitional Logic, in TABLEAUX99, Saratoga Springs, NY, LNAI 1617.
Krysia
Broda, Marcelo Finger and Alessandra Russo. LDS-Natural Deduction for
Substructural Logics IGPL VOl 7 No 3 1999.
Marcello D'Agostino, Dov Gabbay and Krysia Broda. Tableau
Methods for Substructural Logics in Handbook of Tableaux methods, Eds. M.
D'Agostino, D.Gabbay, R.Hahnle and J.Possega, Kluwer. (1999)
Krysia Broda. Algorithms for Implication LKE, in
LDS98, Dept. Comp.Sci., Albert-Ludwigs Univ., Freiburg, Germany. (1998)
Krysia Broda and Marcelo Finger. KE Tableaux for a Fragment
of Linear Logic, in position papers, at 4th Int. Workshop on Analytic
Tableaux and Related Methods, Ed. U. Furbach et al, St. Goar, Germany. (1995)
Publications
related to work on symbolic neural integration.
A. S. d'Avila Garcez, L. C. Lamb, K. Broda and D. M.
Gabbay. Applying Connectionist Modal Logics to Distributed Knowledge
Representation Problems, International Journal on
Artificial Intelligence Tools, 13(1): 115-139, 2004
A. d'Avila Garcez, L.Lamb, K. Broda and D. Gabbay. Distributed
Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study
In Proc. 16th AAAI Int. FLAIRS Conf, Florida, USA, Eds I. Russell, S. Haller,
pp271-275, 2003.
A. d'Avila Garcez, K. Broda, D. Gabbay. Neural-Symbolic
Learning Systems. Foundations and Applications, Perspectives in Neural
Computing, Springer-Verlag. 2002, ISBN 1-85233-512-2
A. d'Avila Garcez, K. Broda, D. Gabbay, Symbolic
Knowledge Extraction from Trained Neural Networks: A Sound Approach,
Artificial Intelligence, 125(1-2):153-205, January 2001
A. d'Avila Garcez, K. Broda and D. Gabbay, Metalevel
Priorities and Neural Networks , in Proc. ECAI-2000 Workshop on
neural-symbolic integration, 2000
A.d'Avila
Garcez, K.Broda, D.Gabbay and A. de Souza. Knowledge Extraction from
Trained neural Networks: A Poisition Paper, in IEEE ICONIP99, Perth,
Australia. (1999)
These papers are about programs for Teleo-reactive
Robots and other miscellaneous papers in Software Engineering.
Krysia Broda and Christopher John Hogger Designing Effective Policies for Minimal Agents , in the ASAMI Special Issue of Computer Journal 2008, doi: 10.1093/comjnl/bxn052.
L. Dickens, K. Broda and A. RussoModelling MAS as Finite Analytic Stochastic Processes, Proc. of AISB 2008 Symposium on Behaviour Regulation in Multi-Agent Systems, Vol 4 pp1-7
Krysia Broda and Christopher John Hogger Abstraction as a Tool for Multi-Agent Policy Evaluation, Proc. of Symposium on Artificial Societies for Ambient Agentss, AISB Convention, 2007.
Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda, Krysia
Broda, Morris Sloman, Access Control Policy Analysis Using Free Variable
Tableaux, IPSJ Digital Courier, Vol 2, p 207-221, 2006.
pdf
Krysia Broda and Christopher John Hogger Abstract
Policy Evaluation for Reactive Agents, Proc. of 6th International
Symposium on Abstraction, Reformulation and Approximation [SARA-2005], LNAI
3607, July 2005.
pdf
Krysia Broda and Christopher John Hogger Determining
and Verifying good policies for clones teleo-reactive agents, in
International Journal of Computer Systems Science and Engineering, 20, No. 4,
July 2005, CRL Publishing Ltd.
pdf
H. Kamoda, M. Yamaoka, S. Matsuda, K. Broda, and M. Sloman,
Policy Conflict Analysis Using Free Variable Tableaux for Access Control in Web
Services Environments, Proceedings of the Policy Management for the Web,
WWW2005 Workshop 14th International World Wide Web Conference 2005, pp.5-12.
H. Kamoda, A. Hayakawa, M. Yamaoka, S. Matsuda, K. Broda,
and M. Sloman, Policy Conflict Analysis Using Tableaux for On Demand VPN
Framework, Proc. of the Sixth IEEE International Symposium on a World of Wireless,
Mobile and Multimedia Networks, 2005, pp.565--569.
Krysia Broda and Christopher John Hogger Designing and
Simulating Individual Teleo-Reactive Agents, Poster Proceedings, 27th
German Conference on Artificial Intelligence, Ulm, 2004.
pdf
Krysia Broda and Christopher John Hogger Policies for
Cloned Teleo-Reactive Agents, Proceedings of 2nd German Conference on
Multi-agent System Technologies (MATES04], Erfurt, Germany, 2004, LNAI 3187.
pdf
D. Roe, K. Broda and A. Russo. Mapping UML Models
incorporating OCL Constraints into Object-Z. Department of Computing,
Imperial College, Technical Report 2003/9. pdf
Krysia Broda and Christopher John Hogger Designing Teleo-Reactive
Programs, Technical Report 2008/3, Department of Computing, Imperial
College London. pdf
S. R. Mousavi and K. Broda Simplification of Ordered
Classification Rules using Teleo-Reactive Sequences Int. Assoc. of
Sciencenad Technology for Development, IASTED 2003, Salzburg, ISSN 0-88986-390-3, pp811-816, ACTA press
K. Broda , C. Hogger and S. Watson, Constructing
Teleo-reactive Programs, in Proc. ECAI-2000 Berlin, Ed. W. Horn, 2000