activity
20202026
most citedOn The Theory of Semantic Information and Communication for Logical Inference

3 citations · 4 across the 7 of their papers we have counts for

collaborators

7 papers

cs.IT2026

Goal-Oriented Logic-based Semantic Communication for Neuro-Symbolic Reasoning with Applications onto Autonomous Driving

Ahmet Faruk Saz, Duo Xu, Faramarz Fekri

We consider First-Order Logic (FOL)-based semantic communication for neuro-symbolic decision-making in collaborative environments such as autonomous driving networks. Each connecte…

cs.IT2026

Goal-Oriented Semantic Communication for Logical Decision Making

Ahmet Faruk Saz, Faramarz Fekri

This paper develops a principled foundation for goal-oriented semantic communication for logical decision-making. Consider a setting where autonomous agents engage in collaborative…

cs.IT2025

Analysis of Semantic Communication for Logic-based Hypothesis Deduction

Ahmet Faruk Saz, Siheng Xiong, Faramarz Fekri

This work presents an analysis of semantic communication in the context of First-Order Logic (FOL)-based deduction. Specifically, the receiver holds a set of hypotheses about the S…

cs.IT2025

DISCD: Distributed Lossy Semantic Communication for Logical Deduction of Hypothesis

Ahmet Faruk Saz, Siheng Xiong, Faramarz Fekri

In this paper, we address hypothesis testing in a distributed network of nodes, where each node has only partial information about the State of the World (SotW) and is tasked with…

cs.IT2024

Lossy Semantic Communication for the Logical Deduction of the State of the World

Ahmet Faruk Saz, Siheng Xiong, Faramarz Fekri

In this paper, we address the problem of lossy semantic communication to reduce uncertainty about the State of the World (SotW) for deductive tasks in point to point communication.…

cs.IT2024★ 3 cited

On The Theory of Semantic Information and Communication for Logical Inference

Ahmet Faruk Saz, Siheng Xiong, Faramarz Fekri

First-Order Logic (FOL), also called first-order predicate calculus, is a formal language that provides a framework to comprehensively represent a world and its present state, incl…

eess.SP2020★ 1 cited

Database Assisted Nonlinear Least Squares Algorithm for Visible Light Positioning in NLOS Environments

Ahmet Faruk Saz, Sinan Gezici

We propose an indoor localization algorithm for visible light systems by considering effects of non-line-of-sight (NLOS) propagation. The proposed algorithm, named database assiste…