Search Results for author:
Found 10 papers, 0 papers with code
Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture
While deep neural networks have led to major advances in image recognition, language translation, data mining, and game playing, there are well-known limits to the paradigm such as lack of explainability, difficulty of incorporating prior knowledge, and modularity.
Reasoning about Complex Networks: A Logic Programming Approach
Reasoning about complex networks has in recent years become an important topic of study due to its many applications: the adoption of commercial products, spread of disease, the diffusion of an idea, etc.
On the Importance of Domain-specific Explanations in AI-based Cybersecurity Systems (Technical Report)
With the availability of large datasets and ever-increasing computing power, there has been a growing use of data-driven artificial intelligence systems, which have shown their potential for successful application in diverse areas.
Explainable artificial intelligence
Explainable Artificial Intelligence (XAI)
An Approach to Characterize Graded Entailment of Arguments through a Label-based Framework
A classical argumentation process takes into account only the properties related to the intrinsic logical soundness of an argument in order to determine its acceptability status.
DARKMENTION: A Deployed System to Predict Enterprise-Targeted External Cyberattacks
In particular, we show that it outperforms baseline systems that attempt to generate warnings of cyber attacks related to two enterprises with an average increase in F1 score of about 45% and 57%.
Argumentation Models for Cyber Attribution
A major challenge in cyber-threat analysis is combining information from different sources to find the person or the group responsible for the cyber-attack.
An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare
Attributing a cyber-operation through the use of multiple pieces of technical evidence (i. e., malware reverse-engineering and source tracking) and conventional intelligence sources (i. e., human or signals intelligence) is a difficult problem not only due to the effort required to obtain evidence, but the ease with which an adversary can plant false evidence.
Belief Revision in Structured Probabilistic Argumentation
In real-world applications, knowledge bases consisting of all the information at hand for a specific domain, along with the current state of affairs, are bound to contain contradictory data coming from different sources, as well as data with varying degrees of uncertainty attached.
Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report)
Theses pieces of information of every report are then combined, along with the querying user's preferences and his/her trust into each report, to rank the query results.
MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report)
The modeling of cascade processes in multi-agent systems in the form of complex networks has in recent years become an important topic of study due to its many applications: the adoption of commercial products, spread of disease, the diffusion of an idea, etc.
