Search
Search Results
-
On Systems of Slices in the Structure of Superintuitionistic Predicate (or Propositional) Logics. I
AbstractThe structure (i.e., the lattice) of superintuitionistic predicate logics is considered. An approach to classifying logics from the structure...
-
Propositional and Predicate Logic
This chapter provides an introduction to propositional and predicate logic. Propositonal logicPropositonal logic may be used to encode simple... -
Logical Predicates in Higher-Order Mathematical Operational Semantics
We present a systematic approach to logical predicates based on universal coalgebra and higher-order abstract GSOS, thus making a first step towards... -
The Logical Level
Epistemological primitives can be given formal meaning via logical formalisms, which provide the foundation for machine understandability. In this... -
Brief Introduction to Propositional Logic and Predicate Calculus
Many recent neuro symbolic approaches rely on an underlying logical language. In this chapter, we provide a brief introduction to the basic concepts... -
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...
-
Decision Predicate Graphs: Enhancing Interpretability in Tree Ensembles
Understanding the decisions of tree-based ensembles and their relationships is pivotal for machine learning model interpretation. Recent attempts to... -
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,...
-
A Better Logical Semantics for Prolog
This paper describes a semantics for the language of pure positive Prolog programs that improves on the widely accepted Least Herbrand Model (LHM)... -
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...
-
Predicate Logic Network: Vision Concept Formation
Although deep learning has shown good performance in many fields, it still lacks the most basic human intelligence, which we often called the ability... -
Online semi-supervised learning of composite event rules by combining structure and mass-based predicate similarity
Symbolic event recognition systems detect event occurrences using first-order logic rules. Although existing online structure learning approaches...
-
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... -
The undecidability of proof search when equality is a logical connective
One proof-theoretic approach to equality in quantificational logic treats equality as a logical connective: in particular, term equality can be given...
-
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals
We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed... -
Logical English for Law and Education
In this paper we present the key features of Logical English as syntactic sugar for logic programming languages such as pure Prolog, ASP and s(CASP);... -
A Predicate Transformer for Choreographies
Construction and analysis of distributed systems is difficult; choreographic programming is a deadlock-freedom-by-construction approach to simplify... -
Formal Verification of Database Applications Using Predicate Abstraction
Formal verification has gained paramount attention from both academia and industry over more than 4 decades. Intensive research in this direction has...
-
Automated Enrichment of Logical Attack Graphs via Formal Ontologies
Attack graphs represent the possible actions of adversaries to attack a system. Cybersecurity experts use them to make decisions concerning... -
From Predicate Calculus to the Situation Calculus
Our account is formulated in the language of the situation calculus, the most established special-purpose knowledge representation formalism for...