Recently, ABA Learning has been proposed as a form of symbolic machine learning for drawing Assumption-Based Argumentation frameworks from background knowledge and positive negative examples. We propose novel method implementing using Answer Set Programming way to help guide Rote generalisation in Learning.

This study aimed to assess the wild fire propagation risk wildfires in Itacolomi State Park, Minas Gerais State, Brazil, using GIS and compare efficiency of incident solar radiation over aspect variable. The following variables were used: land cover/use (LCU), slope (SLP), curvature (CUR), (ASP) (SOL). weights each variable calculated from ratio between total area burned class order generate ma...

Over the last decades, development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At same time, it gets more and difficult to provide semantic underpinnings capturing resulting constructs inferences. This is even severe when comes hybrid ASP languages systems that are often needed handle real-world applications. We address...

Answer set programming (ASP) is an efficient problem-solving approach, which has been strongly supported both scientifically and technologically by several solvers, ongoing active research, implementations in many different fields. However, although researchers acknowledged long ago the necessity of epistemic operators language ASP for better introspective reasoning, this research venue did not...

Nuclear proteins contain a signal, termed the nuclear transport signal, that specifies their selective transport into the nucleus. Previously we reported that antibodies to Asp-Asp-Asp-Glu-Asp (DDDED) inhibited nuclear transport of nuclear proteins in vivo. We therefore tried to detect a cellular receptor of nuclear transport signals as a protein that reacted with both anti-DDDED antibody and n...

We introduce a formal framework (called NCDC-ASP) for representing and reasoning about cardinal directions between extended spatial objects on plane, using Answer Set Programming (ASP). NCDC-ASP preserves the meaning of directional relations as in Cardinal Directional Calculus (CDC), provides solutions to all consistency checking problems CDC under various conditions (i.e., complete/incomplete ...

We performed a citation analysis on the Web of Science publications consisting more than 63 million articles and 1.45 billion citations 254 subjects from 1981 to 2020. proposed Article's Scientific Prestige (ASP) metric compared this number (#Cit) journal grade in measuring scientific impact individual large-scale hierarchical multi-disciplined network. In contrast #Cit, ASP, that is computed b...