Search
Search Results
-
The Minimal Negated Model Semantics of Assumable Logic Programs
Assumable Logic Programming (ALP) extends the regular logic programs with an assumption operator...
-
Big Ideas from Logic for Mathematics and Computing Education
Despite logic and reasoning being considered central to mathematics and computing education, it plays a largely peripheral role in high school or...
-
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for...
-
Ergo: A Quest for Declarativity in Logic Programming
\(\mathcal{E}\) rgo is a...
-
Evaluating logic gate constraints in local search for structured satisfiability problems
Conjunctive normal forms (CNF) of structured satisfiability problems contain logic gate patterns. So Boolean circuits (BC) by and large can be...
-
Teaching First Order Logic with Friendly Puzzles
Instructors in artificial intelligence are aware of the cognitive and educational value of modelling puzzles and thus develo** problem-solving...
-
Rudin-Shapiro Sums via Automata Theory and Logic
We show how to obtain, via a unified framework provided by logic and automata theory, many classical results of Brillhart and Morton on Rudin-Shapiro...
-
Z-Voter: a novel high-impedance voter for efficient realization of tristate logic in quantum-dot cellular automata technology
Regardless of the technology, the tristate logic is a crucial concept which facilitate bidirectional shared media access as an essential requirement...
-
Explainable Online Monitoring of Metric First-Order Temporal Logic
Metric first-order temporal logic (MFOTL) is an expressive formalism for specifying temporal and data-dependent constraints on streams of...
-
A Fuzzy Logic Based Top-Down Attention Modulation Framework for Selective Observation
The work presents a framework for top-down modulating the visual process under intention which is typically represented by words or short sentences....
-
On the Dynamics of Structured Argumentation: Modeling Changes in Default Justification Logic
This paper studies information changes in default justification logic with argumentation semantics. We introduce dynamic operators that combine...
-
Extending a brainiac prover to lambda-free higher-order logic
Decades of work have gone into develo** efficient proof calculi, data structures, algorithms, and heuristics for first-order automatic theorem...
-
Justification Logics with Probability Operators
In this chapter we present a formal system that results from the combination of two well known formalisms for knowledge representation: probabilistic...
-
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL...
-
Structured argumentation dynamics
This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and...
-
A Pragmatic Model of Justification for Social Epistemology
Social epistemology presents different theories about the status of shared knowledge, but only some of them retain a fruitful relation with...
-
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)
Our goal is to develop a logic-based component for hybrid – machine learning plus logic – commonsense question answering systems. The paper presents...
-
Logic, Accountability and Design: Extended Abstract
This note is a contribution to the methodology of applied, computational logics in light of their potential role in securing the accountability of...
-
Using Logic Programming and Kernel-Grou** for Improving Interpretability of Convolutional Neural Networks
Within the realm of deep learning, the interpretability of Convolutional Neural Networks (CNNs), particularly in the context of image classification...
-
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...