Computing Publications

Publications Home » Authors » Dr Krysia Broda

Authors

Dr Krysia Broda

31 publications for this author.

Books

Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (2004)
Krysia Broda, Dov Gabbay, Luis Lamb, Alessandra Russo
Research Monograph
Research Study Press
2004
Neural Symbolic Learning Systems
Artur dAvila Garcez, Krysia Broda, Dov Gabbay
Springer
2002
Reasoned Programming [PDF]
Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers
pp.1–296
Prentice Hall
1994

Book Chapters

Compiled Labelled Deductive Systems for Access Control (2005)
Krysia Broda, Alessandra Russo
We Will Show Them: Essays in Honour of Dov Gabbay
Volume 1, pp.309–338
College Publications
2005
A decidable CLDS for some propositional resource logics
Krysia Broda
Computational logic: logic programming and beyond: essays in honour of Robert A.Kowalski, Part II
Volume 2408, pp.135–159
Springer
2002
A Unified Compilation Style Natural Deduction System for Modal, Substructural and Fuzzy Logics
Krysia Broda, Alessandra Russo, Dov Gabbay
Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-consistent Logical Systems
Volume 57, pp.495–548
Springer-Verlag
November, 2000
Transformation methods in LDS [Postscript]
Krysia Broda, Marcello D'Agostino, Alessandra Russo
Essays in Honour of Dov Gabbay
pp.335–376
Kluwer Academic Publishers
1999

Journal Articles

Access Control Policy Analysis Using Free Variable Tableaux [PDF]
Hiroaki Kamoda, Masaki Yamaoka, S Matsuda, Krysia Broda, Morris Sloman
Information Processing Society of Japan (IPSJ)Digital Courier
Volume 2, pp.207–221
April, 2006
Determining and verifying good policies for cloned teleo-reactive agents
Krysia Broda, Christopher Hogger
Int. Journal of Computer Systems Science and Engineering
Volume 20, Issue 4, pp.249–258
CRL Publishing Ltd
June, 2005
A Hybrid Abductive Inductive Proof Procedure
Oliver Ray, Krysia Broda, Alessandra Russo
Logic Journal of the IGPL
Volume 12, Issue 5, pp.371–397
Oxford University Press
December, 2004
Applying connectionist modal logics to distributed knowledge representation problems
Artur dAvila Garcez, Luis Lamb, Krysia Broda, Dov Gabbay
International Journal on Artificial Intelligence Tools
Volume 13, Issue 1, pp.115–140
March, 2004
Labelled Natural Deduction for Conditional Logic of Normality.
Krysia Broda, Luis Lamb, Alessandra Russo, Dov Gabbay
Logic Journal of the IGPL
Volume 10, pp.123–163
Oxford University Press
March, 2002
Symbolic knowledge extraction from trained neural networks: a sound approach
Artur dAvila Garcez, Krysia Broda, Dov Gabbay
Artificial Intelligence
Volume 125, Issues 1–2, pp.155–207
Elsevier
January, 2001
Labelled Natural Deduction for Substructural Logics [PDF]
Krysia Broda, Marcelo Finger, Alessandra Russo
Logic Journal of the IGPL
Volume 7, Issue 3, pp.283–318
Oxford University Press
1999
LDS-Natural Deduction for Substructural Logics [Postscript]
Krysia Broda, Marcelo Finger, Alessandra Russo
Volume 4, Issue 3, pp.486–489
Oxford University Press
1996

Conference and Workshop Papers

Abstract policy evaluation for reactive agents [PDF]
Krysia Broda, Christopher Hogger
6th International Symposium on Abstraction, Reformulation and Approximation (SARA 2005), Airth Castle, Scotland, July 26-29, 2005
Volume 3607, pp.44–59
Lecture Notes in Computer Science, Springer-Verlag
June, 2005
Policy Conflict Analysis Using Tableaux for On Demand VPN Framework [PDF]
Hiroaki Kamoda, Masaki Yamaoka, Akihiro Hayakawa, S Matsuda, Krysia Broda, Morris Sloman
First International Workshop on Trust, Security and Privacy for Ubiquitous Computing
pp.565–569
May, 2005
Policy Conflict Analysis Using free Variable Tableaux for Access Control in Web Services Environments [PDF]
Hiroaki Kamoda, Masaki Yamaoka, S Matsuda, Krysia Broda, Morris Sloman
Policy Management for the Web, WWW2005 Workshop 14th International World Wide Web Conference
pp.5–12
April, 2005
Designing and simulating individual teleo-reactive agents [PDF]
Krysia Broda, Christopher Hogger
27th German Conference on Artificial Intelligence, Ulm, September 2004
pp.1–15
Oberer Eselsberg
August, 2004
Generalised Kernel Set for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
International Conference on Logic Programming
Volume 3132, pp.165–179
Springer Verlag
August, 2004
Policies for cloned teleo-reactive robots
Krysia Broda, Christopher Hogger
2nd German Conference on Multiagent System Technologies (MATES 2004), Erfurt, Germany, September 29-30, 2004
Volume 3187, pp.328–340
Lecture Notes in Computer Science, Springer-Verlag
August, 2004
Hybrid abductive inductive learning: a generalisation of Progol
Krysia Broda, Alessandra Russo
13th international conference on inductive logic programming, Szeged, Hungary
Volume 2835, pp.311–328
Springer-Verlag
2003
Hybrid Abductive Inductive Learning: A Generalisation of Progol
Oliver Ray, Krysia Broda, Alessandra Russo
13th International Conference on Inductive Logic Programming
Volume 2835, pp.311–328
Springer Verlag
August, 2003
Distributed knowledge representation in neural-symbolic learning systems: a case study
Artur dAvila Garcez, Luis Lamb, Krysia Broda, Dov Gabbay
Florida artificial intelligence research society conference; FLAIRS-03
pp.271–275
AAAI
2003
Labelled natural deduction for first order conditional logic
Luis Lamb, Krysia Broda, Dov Gabbay
Proceedings of logic colloquim 2001, Vienna
Volume 8, Issue 8, pp.167–168
Association for Symbolic Logic
March, 2002
A Compiled Labelled Deductive System for Propositional Intuitionistic Logic
Krysia Broda, Dov Gabbay
Tableaux 99, Saratoga Springs USA
Volume 1617, pp.66–81
Springer-Verlag
May, 1999
Tool Support for Informal Deduction
Krysia Broda, Susan Eisenbach
ACSE'96, Sydney, Australia
1996
Tool Support for Natural Deduction
Krysia Broda, Susan Eisenbach, Lloyd Kamara
Proceedings of ACSE96, CACM
1996
Teaching Program Reasoning in the First Year
Krysia Broda, Susan Eisenbach
NSF Teaching Formal Methods Workshop, New York
1994

Technical Reports

Mapping UML Models incorporating OCL Constraints into Object-Z
David Roe, Krysia Broda, Alessandra Russo
Technical Report
Department of Computing, Imperial College London
August, 2003
A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction
Krysia Broda, Alessandra Russo
Technical Report
Imperial College London, Department of Computing
1997

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.