Buchumschlag

Similarity-based analogical proportions

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

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

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

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

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

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

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

Proportoids
von: Antić, Christian
Veröffentlicht: (2022)

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

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

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

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

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

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

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)

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)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
von: David, Victor, et al.
Veröffentlicht: (2026)

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)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

An action language-based formalisation of an abstract argumentation framework
von: Munro, Yann, et al.
Veröffentlicht: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
von: Bankosegger, Rafael, et al.
Veröffentlicht: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
von: Vozna, Alina, et al.
Veröffentlicht: (2026)

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

A SAT-based approach to rigorous verification of Bayesian networks
von: Stępka, Ignacy, et al.
Veröffentlicht: (2024)

Operator-based semantics for choice programs: is choosing losing? (full version)
von: Heyninck, Jesse
Veröffentlicht: (2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
von: Chatterjee, Krishnendu, 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)

Improving ASP-based ORS Schedules through Machine Learning Predictions
von: Bruno, Pierangela, et al.
Veröffentlicht: (2025)

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG
von: Katz, Jediah, et al.
Veröffentlicht: (2024)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
von: Gonzalez, Salwa Tabet, et al.
Veröffentlicht: (2024)

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

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
von: Švancár, Slavomír, et al.
Veröffentlicht: (2024)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
von: Parent, Xavier
Veröffentlicht: (2026)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
von: Cecconi, Alessio, et al.
Veröffentlicht: (2023)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
von: Caminati, Marco B.
Veröffentlicht: (2024)