The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Krysia Broda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Krysia Broda
    A Decidable CLDS for Some Propositional Resource Logics. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:135-159 [Conf]
  2. Krysia Broda, Alessandra Russo
    Compiled Labelled Deductive Systems for Access Control. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:309-338 [Conf]
  3. Krysia Broda, Christopher J. Hogger, Sam Watson
    Constructing Teleo-reactive Robot Programs. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:653-657 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2003, pp:271-275 [Conf]
  5. Krysia Broda, Steve Gregory
    Parlog for Discrete Event Simulation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1984, pp:301-312 [Conf]
  6. Oliver Ray, Krysia Broda, Alessandra Russo
    Generalised Kernel Sets for Inverse Entailment. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:165-179 [Conf]
  7. Elizabeth I. Hogger, Krysia Broda
    The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ML, 1992, pp:212-217 [Conf]
  8. Oliver Ray, Krysia Broda, Alessandra Russo
    Hybrid Abductive Inductive Learning: A Generalisation of Progol. [Citation Graph (0, 0)][DBLP]
    ILP, 2003, pp:311-328 [Conf]
  9. Krysia Broda, Christopher J. Hogger
    Policies for Cloned Teleo-reactive Robots. [Citation Graph (0, 0)][DBLP]
    MATES, 2004, pp:328-340 [Conf]
  10. Krysia Broda, Christopher J. Hogger
    Abstract Policy Evaluation for Reactive Agents. [Citation Graph (0, 0)][DBLP]
    SARA, 2005, pp:44-59 [Conf]
  11. Krysia Broda, Dov M. Gabbay
    CLDS for Propositional Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:66-81 [Conf]
  12. Hiroaki Kamoda, Akihiro Hayakawa, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman
    Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework. [Citation Graph (0, 0)][DBLP]
    WOWMOM, 2005, pp:565-569 [Conf]
  13. Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
    Symbolic knowledge extraction from trained neural networks: A sound approach. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:125, n:1-2, pp:155-207 [Journal]
  14. Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach
    An Integrated Engineering Study Scheme in Computing. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:4, pp:320-334 [Journal]
  15. Krysia Broda, Christopher J. Hogger
    Determining and verifying good policies for cloned teleo-reactive agents. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2005, v:20, n:4, pp:- [Journal]
  16. Krysia Broda, Marcelo Finger, Alessandra Russo
    Labelled Natural Deduction for Substructural Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:3, pp:283-318 [Journal]
  17. Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo
    Labelled Natural Deduction for Conditional Logics of Normality. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:2, pp:123-163 [Journal]
  18. Oliver Ray, Krysia Broda, Alessandra Russo
    A Hybrid Abductive Inductive Proof Procedure. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:5, pp:371-397 [Journal]
  19. Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
    Applying connectionist modal logics to distributed knowledge representation problems. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2004, v:13, n:1, pp:115-139 [Journal]

  20. Multi-agent planning with confidentiality. [Citation Graph (, )][DBLP]


  21. Distributed abductive reasoning with constraints. [Citation Graph (, )][DBLP]


  22. Speculative Abductive Reasoning for Hierarchical Agent Systems. [Citation Graph (, )][DBLP]


  23. The Dynamics of Multi-Agent Reinforcement Learning. [Citation Graph (, )][DBLP]


  24. Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. [Citation Graph (, )][DBLP]


  25. Induction on Failure: Learning Connected Horn Theories. [Citation Graph (, )][DBLP]


  26. Tool support for informal deduction. [Citation Graph (, )][DBLP]


  27. SAGE: A Logical Agent-Based Environment Monitoring and Control System. [Citation Graph (, )][DBLP]


  28. DARE: a system for distributed abductive reasoning. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002