conftrace_

input output logic

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

epistemic trust (1) belief manipulation (1) trust inference (1) information filtering (1) sequent calculus (1) modal logic (1) causal relation (1) automated reasoning (1)

Papers

A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference AAAI 2026 Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024