Buchumschlag

Proportoids

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Antić, Christian
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

Analogical proportions II
von: Antić, Christian
Veröffentlicht: (2024)

Bilingual analogical proportions via hedges
von: Antić, Christian
Veröffentlicht: (2023)

Generalization-baed similarity
von: Antić, Christian
Veröffentlicht: (2023)

Neural logic programs and neural nets
von: Antić, Christian
Veröffentlicht: (2024)

Boolean proportions
von: Antić, Christian
Veröffentlicht: (2021)

Analogical proportions
von: Antić, Christian
Veröffentlicht: (2020)

Algebraic anti-unification
von: Antić, Christian
Veröffentlicht: (2024)

Sequential composition of answer set programs
von: Antić, Christian
Veröffentlicht: (2021)

Logic-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

Set-like operations on propositional logic programs
von: Antić, Christian
Veröffentlicht: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

LTLf Synthesis Under Unreliable Input
von: Hagemeier, Christian, et al.
Veröffentlicht: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
von: Rehan, Zainab, et al.
Veröffentlicht: (2026)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
von: Lamont, Sean, et al.
Veröffentlicht: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
von: D'Asaro, Fabio Aurelio, et al.
Veröffentlicht: (2022)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
von: Rodler, Patrick
Veröffentlicht: (2022)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
von: El-Kholany, Mohammed M. S., et al.
Veröffentlicht: (2022)

Abductive forgetting
von: Liberatore, Paolo
Veröffentlicht: (2022)

Computing unsatisfiable cores for LTLf specifications
von: Roveri, Marco, et al.
Veröffentlicht: (2022)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2022)

A first-order logic characterization of safety and co-safety languages
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2022)

Differentiable Inductive Logic Programming in High-Dimensional Space
von: Purgał, Stanisław J., et al.
Veröffentlicht: (2022)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
von: Xu, Jianfeng
Veröffentlicht: (2025)

Incremental Neural Network Verification via Learned Conflicts
von: Elsaleh, Raya, et al.
Veröffentlicht: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2026)

A Logic of Uncertain Interpretation
von: Bjorndahl, Adam
Veröffentlicht: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
von: Heuer, Jan
Veröffentlicht: (2023)

Approximate matrices of systems of max-min fuzzy relational equations
von: Baaj, Ismaïl
Veröffentlicht: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
von: Vanbesien, Linde, et al.
Veröffentlicht: (2025)

Canonical Decision Diagrams Modulo Theories
von: Michelutti, Massimo, et al.
Veröffentlicht: (2024)