Skip to main content

and
  1. No Access

    Chapter

    Logic-Based Explainable and Incremental Machine Learning

    Mainstream machine learning methods lack interpretability, explainability, incrementality, and data-economy. We propose using logic programming to rectify these problems. We discuss the FOLD family of rule-based ...

    Gopal Gupta, Huaduo Wang, Kinjal Basu, Farhad Shakerin in Prolog: The Next 50 Years (2023)

  2. No Access

    Chapter

    Prolog: Past, Present, and Future

    We argue that various extensions proposed for Prolog—tabling, constraints, parallelism, coroutining, etc.—must be integrated seamlessly in a single system. We also discuss how goal-directed predicate answer se...

    Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias in Prolog: The Next 50 Years (2023)

  3. No Access

    Chapter and Conference Paper

    Whitebox Induction of Default Rules Using High-Utility Itemset Mining

    We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (...

    Farhad Shakerin, Gopal Gupta in Practical Aspects of Declarative Languages (2020)

  4. No Access

    Chapter and Conference Paper

    AQuA: ASP-Based Visual Question Answering

    AQuA (ASP-based Question Answering) is an Answer Set Programming (ASP) based visual question answering framework that truly “understands” an input picture and answers natural language questions about that picture...

    Kinjal Basu, Farhad Shakerin, Gopal Gupta in Practical Aspects of Declarative Languages (2020)