Publications related to Abductive and Inductive Logic Programming.
Graham Deane, Krysia Broda and Alessandra Russo, Reasoning in the Presence of Inconsistency through Preferential ALC, short paper at LPAR 2015.
Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda Probabilistic Abductive Logic Programming using Dirichlet Priors, 2nd International Workshop on Probabilistic Logic Programming, 2015, Cork
Mark Law, Alessandra Russo, Krysia Broda, Learning Weak Constraints in Answer Set Programming, To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 15, 2015, Cork
D. Athakravi, K. Satoh, M. Law, K. Broda, A. Russo, Automated inference of rules with exception from past legal cases using ASP, International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR 2015), Lexington
Athakravi D, Alrajeh D, Broda K, Russo A, Satoh K , Inductive Learning using Constraint-driven Bias, 24th International Conference on Inductive Logic Programming, 2014 , Nancy
Law M, Russo A, Broda K, Inductive Learning of Answer Set Programs, 14th European Conference on Logics in Artificial Intelligence (JELIA), 2014, Madeira, Springer-Verlag, pp311-325, ISSN:0302-9743
Maimari N,, Towhidi L, Oh D, Broda K, Russo A, Krams R, A novel integrated platform for gene network inference and validation: beyond the dream consortium, Atherosclerosis, Vol: 237, Pages: e11-e11, ISSN: 0021-9150 2014
N. Maimari, K. Broda, A. Kakas, R. Krams, A. Russo Symbolic representation and inference of regulatory network structures, Logical Modelling of Biological Systems, Editors: Farinas, Inoue, ISTE-Wesley, 2014 Publisher Web Link
C-R. Turliuc, N. Maimari, A. Russo, K. Broda, On Minimality and Integrity Constraints in Probabilistic Abduction, LPAR-19, Logic Programming for Artificial Intelligence and Reasoning, 2013
D. Athakravi, D. Corapi, K. Broda, A. Russo, , Learning through Hypothesis Refinement using Answer Set Programming, 23rd International Conference on Inductive Logic Programming 2013, Rio de Janieiro, Brazil
N. Maimari , C-R. Turliuc, K. Broda, A. Kakas, R. Krams, A. Russo, ARNI: Abductive inference of complex regulatory network structures, Extended Abstract CMSB2013, 11th Conference on Computational Methods in Systems Biology, Austria, 2013
J. Ma, A. Russo, K. Broda, E. Lupu Multi-agent Confidential Abductive Reasoning, 27th Int. Conf. on Logic Programming, Technical Communication, ICLP2011
J. Ma, A. Russo, K. Broda, E. Lupu Multi-agent Hypothetical Reasoning with Confidentiality, Short paper Proc. 10th Conference on Autonomous Agents and Multi-Agent Systems (AAMAS11), 2011
H. Hosobe, K. Satoh, J. Ma, A. Russo, K. Broda, Speculative Constraint Processing for Hierarchical Agents, AI Communications 2010
J. Ma, A. Russo, K. Broda, E. Lupu Distributed Abductive Reasoning with Constraints, Invited Paper, 8th Int. Workshop on Declarative Agent Languages and Technologies DALT-2010 Post proceedings.
J. Ma , K. Broda, R. Goebel, H. Hosobe, A. Russo, K. Satoh Speculative Abductive Reasoning for Hierarchical Agent Systems, Proc. 11th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI 2010
J. Ma , A. Russo, K. Broda, H. Hosobe, K. Satoh On the Implementation of Speculative Constraint Processing, CLIMA-X Post Proceedings of 10th Int. Workshop on Computational Logic in Multi-Agent Systems, LNAI 4214, 2010
J. Ma, A. Russo, K. Broda, E. Lupu Distributed Abductive Reasoning with Constraints, Short paper Proc. 9th Conference on Autonomous Agents and Multi-Agent Systems (AAMAS10), 2010
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
Publication related to work on symbolic neural integration.
A. M. Guillame-bert, K. Broda, S. d’Avila Garcez. First-order Logic learning in Artificial neural Networks, Proc. IEEE Int. Joint Conference on Neural Networks, Barcelona, 2010
Papers about Teleo-reactive Agents and Machine Learning.
J. Smith, L. Dickens, K. Broda Balancing Public Cycle Sharing Schemes using Independent Learners 11th Int. Conf. Machine Learning Applications, Florida, ICMLA, 2012.
L. Dickens, K. Broda, A. RussoThe Dynamics of Multi-agent Reinforcement Learning, Proc. of European Conference on Artificial Intelligence, ECAI 2010.
K. Broda, C. Hogger Designing Effective Policies for Minimal Agents , The Computer Journal 2010, pp 1184-1209 (first published online doi: 10.1093/comjnl/bxn052).
L. Dickens, K. Broda, A. RussoModelling MAS as Finite Analytic Stochastic Processes, Proc. of AISB 2008 Symposium on Behaviour Regulation in Multi-Agent Systems, Vol 4 pp1-7