Search
Search Results
-
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... -
Generalized Program Sketching by Abstract Interpretation and Logical Abduction
This paper presents a new approach for synthesizing missing parts from imperative programs by using abstract interpretation and logical abduction.... -
Multi-grained Logical Graph Network for Reasoning-Based Machine Reading Comprehension
Machine reading comprehension (MRC) is a crucial and challenging task in natural language processing (NLP). In order to equip machines with logical... -
Propositional and Predicate Logic
Propositional logic is the study of propositions, where a proposition is a statement that is either true or false. Propositional logicPropositonal... -
Predicate Transformer Semantics for Hybrid Systems
We present a semantic framework for the deductive verification of hybrid systems with Isabelle/HOL. It supports reasoning about the temporal...
-
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a... -
REGNUM: Generating Logical Rules with Numerical Predicates in Knowledge Graphs
Mining logical rules from a knowledge graph (KG) can reveal useful patterns for predicting facts, curating the KG, and identifying trends. However,... -
Logical Dimension in Modeling
The paper analyzes the proof of equivalence of the efficient market hypothesis and the hypothesis P = NP. The basis of this proof is enabling... -
Logical Expressibility of Syntactic NL for Complementarity and Maximization
In a discussion on the computational complexity of “parameterized” NL (nondeterministic logarithmic-space complexity class), Syntactic NL or... -
Learning to Classify Logical Formulas Based on Their Semantic Similarity
An important task in logic, given a formula and a knowledge base which represents what an agent knows of the current state of the world, is to be... -
Exploring the Logical Expressiveness of Graph Neural Networks by Establishing a Connection with \(\mathcal {C}_2\)
Graph neural networks (GNNs) have gained widespread application in various real-world scenarios due to their powerful ability to handle... -
Some Probabilistic Riddles and Some Logical Solutions
Six riddles in probability theory are solved in a systematic manner. The solutions suggest ingredients for a future symbolic probabilistic logic. -
Semantic Parsing with Syntax Graph of Logical Forms
Semantic parsing aims to convert natural language queries to logical forms, which are strictly structured. Recently neural semantic parsers have paid... -
Signal Embeddings for Complex Logical Reasoning in Knowledge Graphs
Complex logical reasoning over Knowledge Graph is one of the fundamental tasks of Artificial Intelligence. Traditional approaches suffer from the... -
Logical English meets legal English for swaps and derivatives
In this paper, we present an informal introduction to Logical English (LE) and illustrate its use to standardise the legal wording of the Automatic...
-
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic
We study coalgebraic modal logic to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli... -
A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction
Weighted abduction computes hypotheses that explain input observations. It employs parameters, called weights, to output hypotheses suitable for each... -
Reasoner = Logical Calculus + Rule Engine
We propose using rule languages to encode complex reasoning algorithms in a declarative way. This approach—which follows the classical slogan...
-
Towards Conceptual and Logical Modelling of NoSQL Databases
NoSQL databases (DB) support the ability to handle large volumes of data in the absence of an explicit data schema. On the other hand, schema... -
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness
AbstractAn approach to the static verification of the program source code for correct memory usage is considered. The method is based on the use of...