Výsledky vyhledávání - Non-monotonic Inductive Logic Programming

  1. 1

    Conflict-Driven Inductive Logic Programming Autor LAW, MARK

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge Cambridge University Press 01.03.2023
    “…The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples…”
    Získat plný text
    Journal Article
  2. 2

    Iterative Learning of Answer Set Programs from Context Dependent Examples Autor LAW, MARK, RUSSO, ALESSANDRA, BRODA, KRYSIA

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.09.2016
    “…In recent years, several frameworks and systems have been proposed that extend Inductive Logic Programming (ILP…”
    Získat plný text
    Journal Article
  3. 3

    Learning weak constraints in answer set programming Autor LAW, MARK, RUSSO, ALESSANDRA, BRODA, KRYSIA

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2015
    “…This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP…”
    Získat plný text
    Journal Article
  4. 4

    A new algorithm to automate inductive learning of default theories Autor SHAKERIN, FARHAD, SALAZAR, ELMER, GUPTA, GOPAL

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.09.2017
    “… In this paper, we present new algorithms to learn default theories in the form of non-monotonic logic programs…”
    Získat plný text
    Journal Article
  5. 5

    Using abduction and induction for operational requirements elaboration Autor Alrajeh, D., Ray, O., Russo, A., Uchitel, S.

    ISSN: 1570-8683, 1570-8691
    Vydáno: Elsevier B.V 01.09.2009
    Vydáno v Journal of applied logic (01.09.2009)
    “… This paper presents an Inductive Logic Programming method for inferring operational requirements from a set of example scenarios and an initial but incomplete requirements specification…”
    Získat plný text
    Journal Article
  6. 6

    Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME Autor Shakerin, Farhad, Gupta, Gopal

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 09.11.2018
    Vydáno v arXiv.org (09.11.2018)
    “… Then, in order to explain the model's global behavior, we propose the LIME-FOLD algorithm ---a heuristic-based inductive logic programming (ILP…”
    Získat plný text
    Paper
  7. 7

    Introducing possibilistic logic in ILP for dealing with exceptions Autor Serrurier, Mathieu, Prade, Henri

    ISSN: 0004-3702, 1872-7921
    Vydáno: Amsterdam Elsevier B.V 01.11.2007
    Vydáno v Artificial intelligence (01.11.2007)
    “…In this paper we propose a new formalization of the inductive logic programming (ILP) problem for a better handling of exceptions…”
    Získat plný text
    Journal Article
  8. 8

    Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models Autor Shakerin, Farhad

    ISSN: 2075-2180, 2075-2180
    Vydáno: Open Publishing Association 19.09.2019
    “…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
    Získat plný text
    Journal Article
  9. 9

    Integrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics Autor Mota, Tiago, Sridharan, Mohan, Leonardis, Aleš

    ISSN: 2662-995X, 2661-8907
    Vydáno: Singapore Springer Singapore 01.07.2021
    Vydáno v SN computer science (01.07.2021)
    “… As a step towards addressing this challenge, our architecture combines the complementary strengths of non-monotonic logical reasoning with incomplete commonsense domain knowledge, deep learning, and inductive learning…”
    Získat plný text
    Journal Article
  10. 10

    Inductive Learning of Answer Set Programs from Noisy Examples Autor Law, Mark, Russo, Alessandra, Broda, Krysia

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 25.08.2018
    Vydáno v arXiv.org (25.08.2018)
    “…In recent years, non-monotonic Inductive Logic Programming has received growing interest…”
    Získat plný text
    Paper
  11. 11

    Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models Autor Shakerin, Farhad

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 18.09.2019
    Vydáno v arXiv.org (18.09.2019)
    “…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
    Získat plný text
    Paper
  12. 12

    LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions Autor Hou, Ping, Wittocx, Johan, Denecker, Marc

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 11.07.2012
    Vydáno v arXiv.org (11.07.2012)
    “…The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions…”
    Získat plný text
    Paper
  13. 13

    Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining Autor Shakerin, Farhad, Gupta, Gopal

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 29.05.2019
    Vydáno v arXiv.org (29.05.2019)
    “…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
    Získat plný text
    Paper
  14. 14

    A Logic for Non-Monotone Inductive Definitions Autor Denecker, Marc, Ternovska, Eugenia

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 13.01.2005
    Vydáno v arXiv.org (13.01.2005)
    “…), this paper formalizes the principle of iterated induction in a new logic for Non-Monotone Inductive Definitions (ID-logic…”
    Získat plný text
    Paper
  15. 15

    A defeasible reasoning model of inductive concept learning from examples and communication Autor Ontañón, Santiago, Dellunde, Pilar, Godo, Lluís, Plaza, Enric

    ISSN: 0004-3702, 1872-7921
    Vydáno: Oxford Elsevier B.V 01.12.2012
    Vydáno v Artificial intelligence (01.12.2012)
    “… We define a consequence relation characterizing which hypotheses can be induced from given sets of examples, and study its properties, showing they correspond to a rather well-behaved non-monotonic logic…”
    Získat plný text
    Journal Article
  16. 16

    A New Algorithm to Automate Inductive Learning of Default Theories Autor Shakerin, Farhad, Salazar, Elmer, Gupta, Gopal

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 10.07.2017
    Vydáno v arXiv.org (10.07.2017)
    “… In this paper, we present new algorithms to learn default theories in the form of non-monotonic logic programs…”
    Získat plný text
    Paper
  17. 17

    PrASP Report Autor Nickles, Matthias

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 30.12.2016
    Vydáno v arXiv.org (30.12.2016)
    “…This technical report describes the usage, syntax, semantics and core algorithms of the probabilistic inductive logic programming framework PrASP…”
    Získat plný text
    Paper
  18. 18

    Introduction to the 30th International Conference on Logic Programming Special Issue Autor LEUSCHEL, MICHAEL, SCHRIJVERS, TOM

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2014
    “…The 30th edition of the International Conference of Logic Programming took place in Vienna in July 2014 at the Vienna Summer of Logic - the largest scientific conference in the history of logic…”
    Získat plný text
    Journal Article
  19. 19

    Introduction to the 27th International Conference on Logic Programming Special Issue Autor GALLAGHER, JOHN, GELFOND, MICHAEL

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2011
    “…Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again…”
    Získat plný text
    Journal Article
  20. 20

    Inductive situation calculus Autor Denecker, Marc, Ternovska, Eugenia

    ISSN: 0004-3702, 1872-7921
    Vydáno: Amsterdam Elsevier B.V 01.04.2007
    Vydáno v Artificial intelligence (01.04.2007)
    “… inductive definitions and non-monotone forms of inductive definitions such as iterated induction…”
    Získat plný text
    Journal Article