Search
Search Results
-
A Logical Framework for Understanding Why
Epistemic logic pays barely any attention to the notion of understanding, which stands in total contrast to the current situation in epistemology and...
-
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...
-
Finding Logical Vulnerability in Policies Using Three-Level Semantic Framework
We present the continuation of our work on a three-level framework, which can be used to model and analyze the identification- authentication-...
-
The Logical Level
Epistemological primitives can be given formal meaning via logical formalisms, which provide the foundation for machine understandability. In this...
-
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...
-
Logical assessment formula and its principles for evaluations with inaccurate ground-truth labels
Evaluations with accurate ground-truth labels (AGTLs) have been widely employed to assess predictive models for artificial intelligence applications....
-
Strategic Development Scenarios in Inland Areas: Logical Framework Approach Preparing Collaborative Design
Inland areas in Italy are experiencing an increasing trend of depopulation and a critical lack of territorial competitiveness. A “place-based”...
-
Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract
Interactions between logic and theoretical computer science are multiple and profound. In the last decades, they have been deeply investigated, but,...
-
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...
-
ROAD-R: the autonomous driving dataset with logical requirements
Neural networks have proven to be very powerful at computer vision tasks. However, they often exhibit unexpected behaviors, acting against background...
-
Information-Logical Model of the Scientific and Technological Potential of Preventive and Personalized Medicine
AbstractThe personalization of medicine is a modern concept in health care. The paper outlines the goals and objectives of preventive and...
-
A computational model for logical analysis of data
Initially introduced by Peter Hammer, logical analysis of data (LAD) is a methodology that aims at computing a logical justification for dividing a...
-
Towards a Unifying Logical Framework for Neural Networks
Neural networks are increasingly used in safety-critical applications such as medical diagnosis and autonomous driving, which calls for the need for...
-
Urdu Semantic Parsing: An Improved SEMPRE Framework for Conversion of Urdu Language Web Queries to Logical Forms
The paper presents a semantic parser for Urdu language web queries about the journal’s dataset. It is built on the Sempre framework and trained using...
-
Logical design of multi-model data warehouses
Multi-model DBMSs, which support different data models with a fully integrated backend, have been shown to be beneficial to data warehouses and OLAP...
-
Electrical analysis of logical complexity: an exploratory eeg study of logically valid/invalid deducive inference
IntroductionLogically valid deductive arguments are clear examples of abstract recursive computational procedures on propositions or on...
-
CSKE: Commonsense Knowledge Enhanced Text Extension Framework for Text-Based Logical Reasoning
Text-based logical reasoning requires the model to understand the semantics of input text, and then understand the complex logical relationships...
-
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...
-
Extracting Variable-Depth Logical Document Hierarchy from Long Documents: Method, Evaluation, and Application
In this paper, we study the problem of extracting variable-depth “logical document hierarchy” from long documents, namely organizing the recognized...
-
A Logical Treatment of Finite Automata
We present a sound and complete axiomatization of finite words using matching logic. A unique feature of our axiomatization is that it gives a...