Krysia Broda - RankMe

87 papers A* 8A 4B 11C 1Misc 1Journal 32Unranked 28

Year	Rank	Type	Title / Venue / Authors
2023	A*	`conf`	Hierarchies of Reward Machines. ICML Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
2022	—	`conf`	A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. ICLP Workshops David Tuckey, Krysia Broda, Alessandra Russo
2022	A*	`conf`	Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings. KR Yaniv Aspis, Krysia Broda, Jorge Lobo, Alessandra Russo
2022	J	`jnl`	Hierarchies of Reward Machines. CoRR Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
2022	J	`jnl`	Reactive Answer Set Programming. Theory Pract. Log. Program. Krysia Broda, Fariba Sadri, Stephen Butler
2022	A*	`conf`	Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data. IJCAI Mark Law, Krysia Broda, Alessandra Russo
2021	J	`jnl`	Induction and Exploitation of Subgoal Automata for Reinforcement Learning. J. Artif. Intell. Res. Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
2021	J	`jnl`	PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics. CoRR David Tuckey, Alessandra Russo, Krysia Broda
2021	J	`jnl`	Reactive Answer Set Programming. CoRR Krysia Broda, Fariba Sadri, Stephen Butler
2021	A*	`conf`	Scalable Non-observational Predicate Learning in ASP. IJCAI Mark Law, Alessandra Russo, Krysia Broda, Elisa Bertino
2020	J	`jnl`	A general framework for scientifically inspired explanations in AI. CoRR David Tuckey, Alessandra Russo, Krysia Broda
2020	A*	`conf`	FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria. AAAI Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo
2020	J	`jnl`	Induction and Exploitation of Subgoal Automata for Reinforcement Learning. CoRR Daniel Furelos-Blanco, Mark Law, Anders Jonsson, Krysia Broda, Alessandra Russo
2020	A*	`conf`	Induction of Subgoal Automata for Reinforcement Learning. AAAI Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson
2020	A*	`conf`	Stable and Supported Semantics in Continuous Vector Spaces. KR Yaniv Aspis, Krysia Broda, Alessandra Russo, Jorge Lobo
2020	J	`jnl`	The ILASP system for Inductive Learning of Answer Set Programs. CoRR Mark Law, Alessandra Russo, Krysia Broda
2020	—	`conf`	Topical Neural Theorem Prover that Induces Rules. GCAI Shuang Xia, Krysia Broda, Alessandra Russo
2020	—	`conf`	Towards Structure Learning under the Credal Semantics. ICLP Workshops David Tuckey, Krysia Broda, Alessandra Russo
2019	J	`jnl`	Induction of Subgoal Automata for Reinforcement Learning. CoRR Daniel Furelos-Blanco, Mark Law, Alessandra Russo, Krysia Broda, Anders Jonsson
2019	—	`conf`	Logic-Based Learning of Answer Set Programs. RW Mark Law, Alessandra Russo, Krysia Broda
2019	A*	`conf`	Representing and Learning Grammars in Answer Set Programming. AAAI Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo
2019	J	`jnl`	Saliency Maps Generation for Automatic Text Summarization. CoRR David Tuckey, Krysia Broda, Alessandra Russo
2018	J	`jnl`	Inductive Learning of Answer Set Programs from Noisy Examples. CoRR Mark Law, Alessandra Russo, Krysia Broda
2018	—	`conf`	Intuitive Reasoning in Formalized Mathematics with Elfe. CSEDU (Selected Papers) Maximilian Doré, Krysia Broda
2018	—	`conf`	Tensor-Based Abduction in Horn Propositional Programs. ILP Up-and-Coming / Short Papers Yaniv Aspis, Krysia Broda, Alessandra Russo
2018	—	`conf`	The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. CSEDU (2) Maximilian Doré, Krysia Broda
2018	J	`jnl`	The Elfe System - Verifying mathematical proofs of undergraduate students. CoRR Maximilian Doré, Krysia Broda
2018	J	`jnl`	The complexity and generality of learning answer set programs. Artif. Intell. Mark Law, Alessandra Russo, Krysia Broda
2018	—	`conf`	Towards Intuitive Reasoning in Axiomatic Geometry. ThEdu@FLoC Maximilian Doré, Krysia Broda
2017	—	`conf`	Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. COMMONSENSE Piotr Chabierski, Alessandra Russo, Mark Law, Krysia Broda
2016	—	`conf`	An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. ILP (Short Papers) Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc
2016	J	`jnl`	Iterative Learning of Answer Set Programs from Context Dependent Examples. CoRR Mark Law, Alessandra Russo, Krysia Broda
2016	J	`jnl`	Iterative Learning of Answer Set Programs from Context Dependent Examples. Theory Pract. Log. Program. Mark Law, Alessandra Russo, Krysia Broda
2016	J	`jnl`	Probabilistic abductive logic programming using Dirichlet priors. Int. J. Approx. Reason. Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda
2015	B	`conf`	Automated Inference of Rules with Exception from Past Legal Cases Using ASP. LPNMR Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo
2015	J	`jnl`	Learning Weak Constraints in Answer Set Programming. CoRR Mark Law, Alessandra Russo, Krysia Broda
2015	J	`jnl`	Learning weak constraints in answer set programming. Theory Pract. Log. Program. Mark Law, Alessandra Russo, Krysia Broda
2015	—	`conf`	Probabilistic Abductive Logic Programming using Dirichlet Priors. PLP@ICLP Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda
2015	—	`conf`	Reasoning in the presence of inconsistency through Preferential ALC. LPAR (short papers) Graham Deane, Krysia Broda, Alessandra Russo
2014	B	`conf`	Inductive Learning Using Constraint-Driven Bias. ILP Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh
2014	B	`conf`	Inductive Learning of Answer Set Programs. JELIA Mark Law, Alessandra Russo, Krysia Broda
2013	B	`conf`	Learning Through Hypothesis Refinement Using Answer Set Programming. ILP Duangtida Athakravi, Domenico Corapi, Krysia Broda, Alessandra Russo
2013	B	`conf`	On Minimality and Integrity Constraints in Probabilistic Abduction. LPAR Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda
2012	—	`conf`	Balancing Public Cycle Sharing Schemes Using Independent Learners. ICMLA (1) Jeremiah Smith, Luke Dickens, Krysia Broda
2012	—	`conf`	Predicate Invention in Inductive Logic Programming. ICCSW Duangtida Athakravi, Krysia Broda, Alessandra Russo
2011	—	`conf`	Multi-agent Confidential Abductive Reasoning. ICLP (Technical Communications) Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
2011	A	`conf`	Multi-agent abductive reasoning with confidentiality. AAMAS Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
2010	J	`jnl`	Designing Effective Policies for Minimal Agents. Comput. J. Krysia Broda, Christopher J. Hogger
2010	—	`conf`	Distributed Abductive Reasoning with Constraints. DALT Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu
2010	A	`conf`	Distributed abductive reasoning with constraints. AAMAS Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
2010	B	`conf`	First-order logic learning in Artificial Neural Networks. IJCNN Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez
2010	—	`conf`	Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez
2010	—	`conf`	Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh
2010	J	`jnl`	Speculative constraint processing for hierarchical agents. AI Commun. Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda
2010	A	`conf`	The Dynamics of Multi-Agent Reinforcement Learning. ECAI Luke Dickens, Krysia Broda, Alessandra Russo
2009	B	`conf`	Induction on Failure: Learning Connected Horn Theories. LPNMR Tim Kimber, Krysia Broda, Alessandra Russo
2009	—	`conf`	Multi-agent planning with confidentiality. AAMAS (2) Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu
2009	—	`conf`	On the Implementation of Speculative Constraint Processing. CLIMA Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
2009	—	`conf`	SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo
2008	—	`conf`	A Dynamic System for Distributed Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark
2008	J	`jnl`	Book Review. J. Log. Lang. Inf. Krysia Broda
2008	J	`jnl`	DARE: a system for distributed abductive reasoning. Auton. Agents Multi Agent Syst. Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark
2007	J	`jnl`	Pandora: A Reasoning Toolbox using Natural Deduction Style. Log. J. IGPL Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers
2006	J	`jnl`	Access Control Policy Analysis Using Free Variable Tableaux. Inf. Media Technol. Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman
2005	—	`conf`	Abstract Policy Evaluation for Reactive Agents. SARA Krysia Broda, Christopher J. Hogger
2005	—	`conf`	Compiled Labelled Deductive Systems for Access Control. We Will Show Them! (1) Krysia Broda, Alessandra Russo
2005	J	`jnl`	Determining and verifying good policies for cloned teleo-reactive agents. Comput. Syst. Sci. Eng. Krysia Broda, Christopher J. Hogger
2005	C	`conf`	Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework. WOWMOM Hiroaki Kamoda, Akihiro Hayakawa, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman
2004	J	`jnl`	A Hybrid Abductive Inductive Proof Procedure. Log. J. IGPL Oliver Ray, Krysia Broda, Alessandra Russo
2004	J	`jnl`	Applying connectionist modal logics to distributed knowledge representation problems. Int. J. Artif. Intell. Tools Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
2004	B	`conf`	Generalised Kernel Sets for Inverse Entailment. ICLP Oliver Ray, Krysia Broda, Alessandra Russo
2004	—	`conf`	Policies for Cloned Teleo-reactive Robots. MATES Krysia Broda, Christopher J. Hogger
2003	Misc	`conf`	Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
2003	B	`conf`	Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP Oliver Ray, Krysia Broda, Alessandra Russo
2002	—	`conf`	A Decidable CLDS for Some Propositional Resource Logics. Computational Logic: Logic Programming and Beyond Krysia Broda
2002	J	`jnl`	Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo
2002	—	`book`	Neural-symbolic learning systems - foundations and applications. Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
2001	J	`jnl`	Symbolic knowledge extraction from trained neural networks: A sound approach. Artif. Intell. Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
2000	A	`conf`	Constructing Teleo-reactive Robot Programs. ECAI Krysia Broda, Christopher J. Hogger, Sam Watson
1999	B	`conf`	CLDS for Propositional Intuitionistic Logic. TABLEAUX Krysia Broda, Dov M. Gabbay
1999	J	`jnl`	Labelled Natural Deduction for Substructural Logics. Log. J. IGPL Krysia Broda, Marcelo Finger, Alessandra Russo
1996	—	`conf`	Tool support for informal deduction. ACSE Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara
1995	J	`jnl`	Editorial. Log. J. IGPL Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves
1993	—	`ed.`	ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 ALPUK Krysia Broda
1993	J	`jnl`	An Integrated Engineering Study Scheme in Computing. Comput. J. Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach
1992	—	`conf`	The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. ML Elizabeth I. Hogger, Krysia Broda
1984	B	`conf`	Parlog for Discrete Event Simulation. ICLP Krysia Broda, Steve Gregory