Krysia Broda

发表

Predicate Invention in Inductive Logic Programming

Krysia Broda, Alessandra Russo, Duangtida Athakravi, 2012, ICCSW.

Induction on Failure: Learning Connected Horn Theories

Krysia Broda, Alessandra Russo, Tim Kimber, 2009, LPNMR.

Learning Through Hypothesis Refinement Using Answer Set Programming

Krysia Broda, Alessandra Russo, Duangtida Athakravi, 2013, ILP.

Pandora: A Reasoning Toolbox using Natural Deduction Style

Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, 2007, Log. J. IGPL.

ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992

Krysia Broda, 1993, ALPUK.

Friendly e-tutor for natural deduction

Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, 2006, FM 2006.

Multi-agent Abductive Reasoning with Confidentiality (Extended Abstract)

Krysia Broda, Alessandra Russo, Emil Lupu, 2011 .

Iterative Learning of Answer Set Programs from Context Dependent Examples

Krysia Broda, Alessandra Russo, Mark Law, 2016, Theory and Practice of Logic Programming.

The MENTLE Approach to Learning Heuristics for the Control of Logic Programs

Krysia Broda, Elizabeth I. Hogger, K. Broda, 1992, ML.

Policy Conflict Analysis Using Free Variable Tableaux for Access Control in Web Services Environments

Krysia Broda, Masaki Yamaoka, Shigeyuki Matsuda, 2005 .

A unified compilation style labelled deductive system for modal, substructural and fuzzy logics

Krysia Broda, Dov M. Gabbay, Alessandra Russo, 2000 .

Tool support for informal deduction

Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara, 1996, ACSE '96.

Tensor-Based Abduction in Horn Propositional Programs

Krysia Broda, Alessandra Russo, Yaniv Aspis, 2018, ILP Up-and-Coming / Short Papers.

A Toolkit for Exploring Argumentation Logic

Krysia Broda, Francesca Toni, Claudia Schulz, 2014 .

Metalevel priorities and neural networks

Krysia Broda, Dov M. Gabbay, Artur S. d'Avila Garcez, 2005 .

The Elfe System - Verifying mathematical proofs of undergraduate students

Krysia Broda, Maximilian Doré, K. Broda, 2018, CSEDU.

Book Review

Krysia Broda, 2008, J. Log. Lang. Inf..

Topical Neural Theorem Prover that Induces Rules

Krysia Broda, Alessandra Russo, Shuang Xia, 2020, GCAI.

TSPUC 2005 Workshop

Krysia Broda, Daniele Sacchetti, Raghav Bhaskar, 2005, WOWMOM.

A Hybrid Abductive Inductive Proof Procedure

Krysia Broda, Oliver Ray, Alessandra Russo, 2004, Log. J. IGPL.

Distributed Abductive Reasoning with Constraints

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2010, DALT.

Neural-symbolic learning systems - foundations and applications

Krysia Broda, Dov M. Gabbay, Artur S. d'Avila Garcez, 2012, Perspectives in neural computing.

Policy conflict analysis using tableaux for on demand VPN framework

Krysia Broda, Masaki Yamaoka, Shigeyuki Matsuda, 2005, Sixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks.

Hybrid Abductive Inductive Learning: A Generalisation of Progol

Krysia Broda, Oliver Ray, Alessandra Russo, 2003, ILP.

Neural-Symbolic Learning Systems

Krysia Broda, Dov M. Gabbay, Artur S. d'Avila Garcez, 2002 .

Tableau Methods for Substructural Logics

Krysia Broda, Dov M. Gabbay, Marcello D'Agostino, 1999 .

Symbolic representation and inference of regulatory networks: uncovering mechanosensitive gene networks

Krysia Broda, Alessandra Russo, Antonis C. Kakas, 2014 .

Knowledge Extraction from Trained Networks

Krysia Broda, Dov M. Gabbay, Artur S. d'Avila Garcez, 2002 .

A Dynamic System for Distributed Reasoning

Krysia Broda, Alessandra Russo, Jiefei Ma, 2008, AAAI Spring Symposium: Emotion, Personality, and Social Behavior.

Constructing Teleo-reactive robot program

Krysia Broda, Christopher J. Hogger, Sam Watson, 2000 .

Parlog for Discrete Event Simulation

Krysia Broda, Steve Gregory, 1984, ICLP.

Labelled Natural Deduction for Conditional Logics of Normality

Krysia Broda, Dov M. Gabbay, Luis C. Lamb, 2002, Log. J. IGPL.

Automated Inference of Rules with Exception from Past Legal Cases Using ASP

Krysia Broda, Alessandra Russo, Duangtida Athakravi, 2015, LPNMR.

Inductive Learning of Answer Set Programs

Krysia Broda, Alessandra Russo, Mark Law, 2014, JELIA.

Reasoning in the presence of inconsistency through Preferential ALC

Krysia Broda, Alessandra Russo, Graham Deane, 2015, LPAR.

Policies for Cloned Teleo-reactive Robots

Krysia Broda, Christopher J. Hogger, K. Broda, 2004, MATES.

Probabilistic Abductive Logic Programming using Dirichlet Priors

Krysia Broda, Alessandra Russo, Luke Dickens, 2016, PLP@ICLP.

Inductive Learning of Answer Set Programs from Noisy Examples pdf

Krysia Broda, Alessandra Russo, Mark Law, 2018, ArXiv.

Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

Krysia Broda, Artur S. d'Avila Garcez, Ekaterina Komendantskaya, 2010, ICANN.

Abstract Policy Evaluation for Reactive Agents

Krysia Broda, Christopher J. Hogger, K. Broda, 2005, SARA.

Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs

Krysia Broda, Alessandra Russo, Mark Law, 2017, COMMONSENSE.

A Solution To A Problem Of Popper

Krysia Broda, Marcello D'Agostino, Marco Mondadori, 1995 .

Compiled Labelled Deductive Systems for Access Control

Krysia Broda, Alessandra Russo, 2005, We Will Show Them!.

An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming

Krysia Broda, Alessandra Russo, Mark Law, 2016, ILP.

First-order logic learning in Artificial Neural Networks

Krysia Broda, Artur S. d'Avila Garcez, Mathieu Guillame-Bert, 2010, The 2010 International Joint Conference on Neural Networks (IJCNN).

Labelled abduction: compiled labelled abductive systems

Krysia Broda, Dov M. Gabbay, 2000 .

Labelled Natural Deduction for Substructural Logics

Krysia Broda, Alessandra Russo, Marcelo Finger, 1999, Log. J. IGPL.

Saliency Maps Generation for Automatic Text Summarization pdf

Krysia Broda, Alessandra Russo, David Tuckey, 2019, ArXiv.

Intuitive Reasoning in Formalized Mathematics with Elfe

Krysia Broda, Maximilian Doré, 2018, CSEDU.

DARE: a system for distributed abductive reasoning

Krysia Broda, Alessandra Russo, Jiefei Ma, 2008, Autonomous Agents and Multi-Agent Systems.

Determining and verifying good policies for cloned teleo-reactive agents

Krysia Broda, Christopher J. Hogger, K. Broda, 2005, Comput. Syst. Sci. Eng..

Experiments on Theory Refinement

Krysia Broda, Dov M. Gabbay, Artur S. d’Avila Garcez, 2002 .

Symbolic knowledge extraction from trained neural networks: A sound approach

Krysia Broda, Dov M. Gabbay, Artur S. d'Avila Garcez, 2001, Artif. Intell..

The Dynamics of Multi-Agent Reinforcement Learning

Krysia Broda, Alessandra Russo, Luke Dickens, 2010, ECAI.

A novel integrated platform for gene network inference and validation: beyond the dream consortium

Krysia Broda, Alessandra Russo, Nataly Maimari, 2014 .

Designing Effective Policies for Minimal Agents

Krysia Broda, Christopher J. Hogger, K. Broda, 2010, Comput. J..

Learning weak constraints in answer set programming pdf

Krysia Broda, Alessandra Russo, Mark Law, 2015, Theory and Practice of Logic Programming.

Using inductive types for ensuring correctness of neuro-symbolic computations

Krysia Broda, Ekaterina Komendantskaya, Artur S. d'Avila Garcez, 2010 .

Multi-agent Planning with Confidentiality (Extended Abstract)

Krysia Broda, Alessandra Russo, Emil Lupu, 2009 .

Multi-agent Confidential Abductive Reasoning

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2011, ICLP.

Experiments on Knowledge Extraction

Krysia Broda, Dov M. Gabbay, Artur S. d’Avila Garcez, 2002 .

Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics

Krysia Broda, Dov M. Gabbay, Alessandra Russo, 2004 .

Neural-Symbolic Integration: The Road Ahead

Krysia Broda, Dov M. Gabbay, Artur S. d’Avila Garcez, 2002 .

FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria

Jorge Lobo, Elisa Bertino, Krysia Broda, 2020, AAAI.

Multi-agent abductive reasoning with confidentiality

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2011, AAMAS.

The complexity and generality of learning answer set programs

Krysia Broda, Alessandra Russo, Mark Law, 2018, Artif. Intell..

Handling Inconsistencies in Neural Networks

Krysia Broda, Dov M. Gabbay, Artur S. d’Avila Garcez, 2002 .

A Decidable CLDS for Some Propositional Resource Logics

Krysia Broda, 2002, Computational Logic: Logic Programming and Beyond.

CLDS for Propositional Intuitionistic Logic

Krysia Broda, Dov M. Gabbay, 1999, TABLEAUX.

An Integrated Engineering Study Scheme in Computing

Krysia Broda, Sophia Drossopoulou, Samson Abramsky, 1993, Comput. J..

Induction of Subgoal Automata for Reinforcement Learning pdf

Krysia Broda, Anders Jonsson, Alessandra Russo, 2019, AAAI.

Speculative constraint processing for hierarchical agents

Krysia Broda, Alessandra Russo, Ken Satoh, 2010, AI Commun..

Speculative Abductive Reasoning for Hierarchical Agent Systems

Krysia Broda, Alessandra Russo, Randy Goebel, 2010, CLIMA.

13th International Conference on Inductive Logic Programming

Akihiro Yamamoto, Krysia Broda, Oliver Ray, 2003 .

Experiments on Handling Inconsistencies

Krysia Broda, Dov M. Gabbay, Artur S. d’Avila Garcez, 2002 .

Mapping UML Models incorporating OCL Constraints into Object-Z

Krysia Broda, Alessandra Russo, David G. Roe, 2003 .

Towards Structure Learning under the Credal Semantics

Krysia Broda, Alessandra Russo, David Tuckey, 2020, ICLP Workshops.

Induction and Exploitation of Subgoal Automata for Reinforcement Learning pdf

Krysia Broda, Anders Jonsson, Alessandra Russo, 2020, J. Artif. Intell. Res..

Representing and Learning Grammars in Answer Set Programming

Jorge Lobo, Elisa Bertino, Krysia Broda, 2019, AAAI.

Connectionist Artificial Neural Networks

Krysia Broda, Mathieu Guillame-Bert, K. Broda, 2009 .

Access Control Policy Analysis Using Free Variable Tableaux

Krysia Broda, Masaki Yamaoka, Shigeyuki Matsuda, 2006 .

Distributed Abductive Reasoning with Constraints

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2010, DALT.

On the Implementation of Speculative Constraint Processing

Krysia Broda, Alessandra Russo, Ken Satoh, 2009, CLIMA.

Towards Intuitive Reasoning in Axiomatic Geometry pdf

Krysia Broda, Maximilian Doré, 2018, THedu@FLoC.

Applying connectionist modal logics to distributed knowledge representation problems

Krysia Broda, Dov M. Gabbay, Artur S. d'Avila Garcez, 2004, Int. J. Artif. Intell. Tools.

The ILASP system for Inductive Learning of Answer Set Programs pdf

Krysia Broda, Alessandra Russo, Mark Law, 2020, ArXiv.

Multi-agent planning with confidentiality

Krysia Broda, Alessandra Russo, Emil C. Lupu, 2009, AAMAS.

Editorial

Krysia Broda, Rajeev Goré, Marcello D'Agostino, 1995, Log. J. IGPL.

Transformation Methods in LDS

Krysia Broda, Marcello D'Agostino, Alessandra Russo, 1999 .

SAGE: A Logical Agent-Based Environment Monitoring and Control System

Krysia Broda, Alessandra Russo, Rob Miller, 2009, AmI.

Stable and Supported Semantics in Continuous Vector Spaces

Jorge Lobo, Krysia Broda, Alessandra Russo, 2020, KR.

Constructing Teleo-reactive Robot Programs

Krysia Broda, Christopher J. Hogger, Sam Watson, 2000, ECAI.

Theory Refinement in Neural Networks

Krysia Broda, Dov M. Gabbay, Artur S. d’Avila Garcez, 2002 .

Inductive Learning Using Constraint-Driven Bias

Krysia Broda, Dalal Alrajeh, Alessandra Russo, 2014, ILP.

Generalised Kernel Sets for Inverse Entailment

Krysia Broda, Oliver Ray, Alessandra Russo, 2004, ICLP.

Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study

Krysia Broda, Dov M. Gabbay, Artur S. d'Avila Garcez, 2003, FLAIRS.

On Minimality and Integrity Constraints in Probabilistic Abduction

Krysia Broda, Alessandra Russo, Nataly Maimari, 2013, LPAR.

Balancing Public Cycle Sharing Schemes Using Independent Learners

Krysia Broda, Luke Dickens, Jeremiah Smith, 2012, 2012 11th International Conference on Machine Learning and Applications.

Logic-Based Learning of Answer Set Programs

Krysia Broda, Alessandra Russo, Mark Law, 2019, Reasoning Web.

Induction and Exploitation of Subgoal Automata for Reinforcement Learning

Krysia Broda, Alessandra Russo, Anders Jonsson, 2021, J. Artif. Intell. Res..

Scalable Non-observational Predicate Learning in ASP

Elisa Bertino, Krysia Broda, Alessandra Russo, 2021, IJCAI.

PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics pdf

Krysia Broda, Alessandra Russo, David Tuckey, 2021, ArXiv.

Reactive Answer Set Programming pdf

Krysia Broda, Fariba Sadri, Stephen Butler, 2021, Theory Pract. Log. Program..

Proof of the Soundness and Completeness of ILASP 2

Krysia Broda, Alessandra Russo, Mark Law, 2015 .

Symbolic Representation and Inference of Regulatory Network Structures

Krysia Broda, Alessandra Russo, Antonis C. Kakas, 2014 .