Search
Search Results
-
Security Frameworks
The previous chapter dealt with security aspects of social networks and standards related to security. In this chapter, we’ll cover security... -
Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach
Deep neural networks, despite their capabilities, are constrained by the need for large-scale training data, and often fall short in generalisation...
-
An abstract view on optimizations in propositional frameworks
Search/optimization problems are plentiful in scientific and engineering domains. Artificial intelligence has long contributed to the development of...
-
Introduction to Frameworks
After having learned in the previous chapters how to build a website, in this chapter you will focus on programming development frameworks. You will... -
A comparison of reinforcement learning frameworks for software testing tasks
Software testing activities scrutinize the artifacts and the behavior of a software product to find possible defects and ensure that the product...
-
Existing Frameworks for Artefact Modelling
This chapter presents frameworks for artefact modelling which have been proposed by engineering disciplines for design and by human factors for... -
A Logical Framework with Higher-Order Rational (Circular) Terms
Logical frameworks provide natural and direct ways of specifying and reasoning within deductive systems. The logical framework LF and subsequent... -
LNN: Logical Neural Networks
Logical Neural Networks (LNN) is a framework that assumes knowledge of a logic program a-priori and uses gradient descent to fit the logic program to... -
Learning Assumption-Based Argumentation Frameworks
We propose a novel approach to logic-based learning which generates assumption-based argumentation (ABA) frameworks from positive and negative... -
Survey on applications of algebraic state space theory of logical systems to finite state machines
Algebraic state space theory (ASST) of logical systems, developed based on the semi-tensor product (STP) which is a new matrix analysis tool built in...
-
Time: It is only Logical!
Logical Clocks play an important role for the design and modelling of concurrent systems. The Clock Constraint Specification Language (ccsl) was... -
Continuous Auditing of Artificial Intelligence: a Conceptualization and Assessment of Tools and Frameworks
Artificial intelligence (AI), which refers to both a research field and a set of technologies, is rapidly growing and has already spread to...
-
Content-aware image retargeting technique and iterated function system: frameworks, applications, and possible future advancements
The objective of the image retargeting operator is to reduce the size of the image in a content-aware fashion. To strengthen the process of single...
-
Securing the Future: The Role of Knowledge Discovery Frameworks
Knowledge society differentiates between information and knowledge, with a focus on generating, processing, transforming, and using information to... -
Persuasion-enhanced computational argumentative reasoning through argumentation-based persuasive frameworks
One of the greatest challenges of computational argumentation research consists of creating persuasive strategies that can effectively influence the...
-
Interlinking Logic Programs and Argumentation Frameworks
Logic programs (LPs) and argumentation frameworks (AFs) are two declarative knowledge representation (KR) formalisms used for different reasoning... -
Investigating the Perceived Usability of Entity-Relationship Quality Frameworks for NoSQL Databases
Quality assessment of data models can be a challenging task due to its subjective nature. For the schemaless, heterogeneous and diverse group of... -
Quality and Security Frameworks for IoT-Architecture Models Evaluation
The concept behind IoT is as powerful as it is complex, and for the entities and modules in the IoT solution to mesh together perfectly, they all...
-
ABALearn: An Automated Logic-Based Learning System for ABA Frameworks
We introduce ABALearn, an automated algorithm that learns Assumption-Based Argumentation (ABA) frameworks from training data consisting of positive... -
Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks
In our paper [13], we have proposed a logical encoding of argumentation frameworks with higher-order interactions (i.e. attacks or supports whose...