Search
Search Results
-
Multiple-Valued Semantics for Metric Temporal Logic
Metric temporal frames are introduced based on multiple-valued semantics. The intended metric temporal language is interpreted in models based on... -
Robust computation tree logic
It is widely accepted that every system should be robust in that “small” violations of environment assumptions should lead to “small” violations of...
-
Logic program proportions
The purpose of this paper is to present a fresh idea on how symbolic learning might be realized via analogical reasoning. For this, we introduce...
-
A creative concept for designing and simulating quaternary logic gates in quantum-dot cellular automata
New technologies such as quantum-dot cellular automata (QCA) have been showing some remarkable characteristics that standard...
-
Advanced Topics in Logic
This chapter presents some advanced topics in logic including fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the... -
LTN: Logic Tensor Networks
In this chapter, we provide an overview of Logic Tensor Networks (LTNs, for short), a formalism that makes use of tensor embeddings—n-dimensional... -
Type-1 Fuzzy Logic
This chapter introduces the basic concepts, notation, and basic operations for the type-1 fuzzy sets that will be needed in the following chapters.... -
Logic programming in tensor spaces
This paper introduces a novel approach to computing logic programming semantics. First, a propositional Herbrand base is represented in a vector...
-
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation
Algebraic characterization of logic programs has received increasing attention in recent years. Researchers attempt to exploit connections between...
-
Inductive logic programming at 30
Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program) that generalises...
-
A Decision Method for First-Order Stream Logic
Our main result is a doubly exponential decision procedure for the first-order equality theory of streams with addition, convolution, and... -
STAn : analysis of data traces using an event-driven interval temporal logicThe increasing integration of systems into people’s daily routines, especially smartphones, requires ensuring correctness of their functionality and...
-
Temporal-logic query checking over finite data streams
This paper describes a technique for solving temporal-logic queries over finite sets of finite-length data streams . Such data streams arise in many...
-
Logic-Level Fault Simulation
In this chapter, we present different applications of SSBDDs and S3BDDs in the field of simulation of digital circuits. We have developed algorithms... -
Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion
Provenance calculus has been introduced, about fifteen years ago, for complementing relational algebra calculations in databases, with semiring... -
Proof-Theoretic Foundations of Normal Logic Programs
There are several semantics in logic programming for negation as failure. These semantics can be realized with a combination of induction and... -
Decomposing Analogy: A Logic Characterization
Analogical proportions, i.e., relational assertions of the form “a is to b as c is to d” are fundamental for analogical reasoning, a cognitively... -
A new method of content distribution based on fuzzy logic and coalition graph games for VEC
With the rapid development of the Internet of Vehicles (IOV), how to effectively distributed content in IOV has been a key issue. To tackle this...
-
Neuro Symbolic Learning with Differentiable Inductive Logic Programming
In this chapter, we describe how a logic program can be learned from data in a neuro symbolic framework. Our focus is on the gradient-based method... -
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...