The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Krysia Broda" ( http://dblp.L3S.de/Authors/Krysia_Broda )

  Author page on DBLP  Author page in RDF  Community of Krysia Broda in ASPL-2

Publication years (Num. hits)
1984-2003 (15) 2004-2009 (16) 2010-2014 (16) 2015-2018 (17) 2019 (2)
Publication types (Num. hits)
article(22) book(1) inproceedings(42) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords

Results
Found 67 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1David Tuckey, Krysia Broda, Alessandra Russo Saliency Maps Generation for Automatic Text Summarization. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo 0001 Representing and Learning Grammars in Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  BibTeX  RDF
1Mark Law, Alessandra Russo, Krysia Broda The complexity and generality of learning answer set programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximilian Doré, Krysia Broda Towards Intuitive Reasoning in Axiomatic Geometry. Search on Bibsonomy THedu@FLoC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mark Law, Alessandra Russo, Krysia Broda Inductive Learning of Answer Set Programs from Noisy Examples. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Maximilian Doré, Krysia Broda The Elfe System - Verifying mathematical proofs of undergraduate students. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yaniv Aspis, Krysia Broda, Alessandra Russo Tensor-Based Abduction in Horn Propositional Programs. Search on Bibsonomy ILP Up-and-Coming / Short Papers The full citation details ... 2018 DBLP  BibTeX  RDF
1Maximilian Doré, Krysia Broda Intuitive Reasoning in Formalized Mathematics with Elfe. Search on Bibsonomy CSEDU (Selected Papers) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximilian Doré, Krysia Broda The ELFE System - Verifying Mathematical Proofs of Undergraduate Students. Search on Bibsonomy CSEDU (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Piotr Chabierski, Alessandra Russo, Mark Law, Krysia Broda Machine Comprehension of Text Using Combinatory Categorial Grammar and Answer Set Programs. Search on Bibsonomy COMMONSENSE The full citation details ... 2017 DBLP  BibTeX  RDF
1Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda Probabilistic abductive logic programming using Dirichlet priors. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mark Law, Alessandra Russo, Krysia Broda Iterative Learning of Answer Set Programs from Context Dependent Examples. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mark Law, Alessandra Russo, Krysia Broda Iterative Learning of Answer Set Programs from Context Dependent Examples. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stanislav Dragiev, Alessandra Russo, Krysia Broda, Mark Law, Calin-Rares Turliuc An Abductive-Inductive Algorithm for Probabilistic Inductive Logic Programming. Search on Bibsonomy ILP (Short Papers) The full citation details ... 2016 DBLP  BibTeX  RDF
1Mark Law, Alessandra Russo, Krysia Broda Learning Weak Constraints in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mark Law, Alessandra Russo, Krysia Broda Learning weak constraints in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graham Deane, Krysia Broda, Alessandra Russo Reasoning in the presence of inconsistency through Preferential ALC. Search on Bibsonomy LPAR (short papers) The full citation details ... 2015 DBLP  BibTeX  RDF
1Calin-Rares Turliuc, Luke Dickens, Alessandra Russo, Krysia Broda Probabilistic Abductive Logic Programming using Dirichlet Priors. Search on Bibsonomy PLP@ICLP The full citation details ... 2015 DBLP  BibTeX  RDF
1Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo Automated Inference of Rules with Exception from Past Legal Cases Using ASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Duangtida Athakravi, Dalal Alrajeh, Krysia Broda, Alessandra Russo, Ken Satoh Inductive Learning Using Constraint-Driven Bias. Search on Bibsonomy ILP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mark Law, Alessandra Russo, Krysia Broda Inductive Learning of Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda On Minimality and Integrity Constraints in Probabilistic Abduction. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Duangtida Athakravi, Domenico Corapi, Krysia Broda, Alessandra Russo Learning Through Hypothesis Refinement Using Answer Set Programming. Search on Bibsonomy ILP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeremiah Smith, Luke Dickens, Krysia Broda Balancing Public Cycle Sharing Schemes Using Independent Learners. Search on Bibsonomy ICMLA (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Duangtida Athakravi, Krysia Broda, Alessandra Russo Predicate Invention in Inductive Logic Programming. Search on Bibsonomy ICCSW The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu Multi-agent Confidential Abductive Reasoning. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu Multi-agent abductive reasoning with confidentiality. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda Speculative constraint processing for hierarchical agents. Search on Bibsonomy AI Commun. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Christopher J. Hogger Designing Effective Policies for Minimal Agents. Search on Bibsonomy Comput. J. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu Distributed Abductive Reasoning with Constraints. Search on Bibsonomy DALT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luke Dickens, Krysia Broda, Alessandra Russo The Dynamics of Multi-Agent Reinforcement Learning. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez First-order logic learning in Artificial Neural Networks. Search on Bibsonomy IJCNN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh Speculative Abductive Reasoning for Hierarchical Agent Systems. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. Search on Bibsonomy ICANN (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu Distributed abductive reasoning with constraints. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
1Tim Kimber, Krysia Broda, Alessandra Russo Induction on Failure: Learning Connected Horn Theories. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Inverse Entailment, Abductio, Inductive Logic Programming
1Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh On the Implementation of Speculative Constraint Processing. Search on Bibsonomy CLIMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Keith Clark, Rob Miller 0002, Alessandra Russo SAGE: A Logical Agent-Based Environment Monitoring and Control System. Search on Bibsonomy AmI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi-Agent Reasoning, Teleo-Reactive Programs, Logic Programming, Logic, Abduction, Event Calculus, Environmental Control
1Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu Multi-agent planning with confidentiality. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF
1Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark DARE: a system for distributed abductive reasoning. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Distributed inference, Multi-thread Prolog, Abduction
1Krysia Broda Book Review. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark A Dynamic System for Distributed Reasoning. Search on Bibsonomy AAAI Spring Symposium: Emotion, Personality, and Social Behavior The full citation details ... 2008 DBLP  BibTeX  RDF
1Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers Pandora: A Reasoning Toolbox using Natural Deduction Style. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Christopher J. Hogger Determining and verifying good policies for cloned teleo-reactive agents. Search on Bibsonomy Comput. Syst. Sci. Eng. The full citation details ... 2005 DBLP  BibTeX  RDF
1Krysia Broda, Alessandra Russo Compiled Labelled Deductive Systems for Access Control. Search on Bibsonomy We Will Show Them! (1) The full citation details ... 2005 DBLP  BibTeX  RDF
1Hiroaki Kamoda, Akihiro Hayakawa, Masaki Yamaoka, Shigeyuki Matsuda, Krysia Broda, Morris Sloman Policy Conflict Analysis Using Tableaux for On Demanc VPN Framework. Search on Bibsonomy WOWMOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Christopher J. Hogger Abstract Policy Evaluation for Reactive Agents. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay Applying connectionist modal logics to distributed knowledge representation problems. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Oliver Ray, Krysia Broda, Alessandra Russo A Hybrid Abductive Inductive Proof Procedure. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Oliver Ray, Krysia Broda, Alessandra Russo Generalised Kernel Sets for Inverse Entailment. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Christopher J. Hogger Policies for Cloned Teleo-reactive Robots. Search on Bibsonomy MATES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Oliver Ray, Krysia Broda, Alessandra Russo Hybrid Abductive Inductive Learning: A Generalisation of Progol. Search on Bibsonomy ILP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. Search on Bibsonomy FLAIRS Conference The full citation details ... 2003 DBLP  BibTeX  RDF
1Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo Labelled Natural Deduction for Conditional Logics of Normality. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay Neural-symbolic learning systems - foundations and applications. Search on Bibsonomy 2002   DOI  RDF
1Krysia Broda A Decidable CLDS for Some Propositional Resource Logics. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay Symbolic knowledge extraction from trained neural networks: A sound approach. Search on Bibsonomy Artif. Intell. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Christopher J. Hogger, Sam Watson Constructing Teleo-reactive Robot Programs. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Krysia Broda, Marcelo Finger, Alessandra Russo Labelled Natural Deduction for Substructural Logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Dov M. Gabbay CLDS for Propositional Intuitionistic Logic. Search on Bibsonomy TABLEAUX The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Susan Eisenbach, Lloyd Daniel Kamara Tool support for informal deduction. Search on Bibsonomy ACSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves Editorial. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach An Integrated Engineering Study Scheme in Computing. Search on Bibsonomy Comput. J. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Krysia Broda (eds.) ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 Search on Bibsonomy ALPUK The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Elizabeth I. Hogger, Krysia Broda The MENTLE Approach to Learning Heuristics for the Control of Logic Programs. Search on Bibsonomy ML The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Steve Gregory Parlog for Discrete Event Simulation. Search on Bibsonomy ICLP The full citation details ... 1984 DBLP  BibTeX  RDF
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license