:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Majkic, Zoran
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2409.04469
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
by: Majkic, Zoran
Published: (2025)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
by: Majkic, Zoran
Published: (2026)

Embedding Ontologies via Incorporating Extensional and Intensional Knowledge
by: Wang, Keyu, et al.
Published: (2024)

SHACL2FOL: An FOL Toolkit for SHACL Decision Problems
by: Pareti, Paolo
Published: (2024)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
by: Marković, Đorđe, et al.
Published: (2025)

Categorial Geometry and Algebraic Topology
by: Majkic, Zoran
Published: (2024)

Category Theory: Symmetry Group of Comma-propagation Transformations
by: Majkic, Zoran
Published: (2024)

Internal Symmetry Group in Categorial Topology
by: Majkic, Zoran
Published: (2026)

Intensional Inheritance Between Concepts: An Information-Theoretic Interpretation
by: Goertzel, Ben
Published: (2025)

ANALIZA VRSTA I LOKACIJA VEZA I NEKIH KONSTRUKTIVNIH ZAHTEVA PRI UGRADNJI RAZLIČITIH TIPOVA NADGRADNJI NA TRANSPORTNA VOZILA
by: Zoran Majkić Đ.
Published: (2011)

PROJEKTNI PRORAČUN HIDRAULIČKOG SERVOUPRAVLJAČA UPRAVLJAČKOG MEHANIZMA MOTORNIH VOZILA
by: Zoran Đ. Majkić
Published: (2013)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
by: Lee, Isabelle, et al.
Published: (2025)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
by: Fandinno, Jorge, et al.
Published: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
by: Viswanadha, Koushik, et al.
Published: (2025)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
by: Brunello, Andrea, et al.
Published: (2025)

Who Do LLMs Trust? Human Experts Matter More Than Other LLMs
by: Bajaj, Anooshka, et al.
Published: (2026)

Architecting Agentic Communities using Design Patterns
by: Milosevic, Zoran, et al.
Published: (2026)

Gradual Forgetting: Logarithmic Compression for Extending Transformer Context Windows
by: Dickson, Billy, et al.
Published: (2025)

Bandwidth-Efficient and Privacy-Preserving Edge-Cloud Many-to-Many Speech Translation
by: Du, Yexing, et al.
Published: (2026)

Different Paths to Harmful Compliance: Behavioral Side Effects and Mechanistic Divergence Across LLM Jailbreaks
by: Kabir, Md Rysul, et al.
Published: (2026)

A Topological Sorting Criterion for Random Causal Directed Acyclic Graphs
by: Reisach, Alexander G., et al.
Published: (2026)

Structure Development in List-Sorting Transformers
by: Urdshals, Einar, et al.
Published: (2025)

Sorting by Strip Swaps is NP-Hard
by: Roy, Swapnoneel, et al.
Published: (2025)

The Future of AI is Many, Not One
by: Singer, Daniel J., et al.
Published: (2026)

Gini Coefficient as a Unified Metric for Evaluating Many-versus-Many Similarity in Vector Spaces
by: Fauber, Ben
Published: (2024)

SortBench: Benchmarking LLMs based on their ability to sort lists
by: Herbold, Steffen
Published: (2025)

An Empirical Study of Many-to-Many Summarization with Large Language Models
by: Wang, Jiaan, et al.
Published: (2025)

LapSum -- One Method to Differentiate Them All: Ranking, Sorting and Top-k Selection
by: Struski, Łukasz, et al.
Published: (2025)

Many-Turn Jailbreaking
by: Yang, Xianjun, et al.
Published: (2025)

Deep reinforcement learning with time-scale invariant memory
by: Kabir, Md Rysul, et al.
Published: (2024)

MLLM-Fabric: Multimodal Large Language Model-Driven Robotic Framework for Fabric Sorting and Selection
by: Wang, Liman, et al.
Published: (2025)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
by: Quigley, Daniel
Published: (2024)

From Few to Many: Self-Improving Many-Shot Reasoners Through Iterative Optimization and Generation
by: Wan, Xingchen, et al.
Published: (2025)

The Winnability of Klondike Solitaire and Many Other Patience Games
by: Blake, Charlie, et al.
Published: (2019)

How Many Instructions Can LLMs Follow at Once?
by: Jaroslawicz, Daniel, et al.
Published: (2025)

The Many Faces of On-Policy Distillation: Pitfalls, Mechanisms, and Fixes
by: Zhu, Siqi, et al.
Published: (2026)

From Sorting Algorithms to Scalable Kernels: Bayesian Optimization in High-Dimensional Permutation Spaces
by: Xie, Zikai, et al.
Published: (2025)

SortedRL: Accelerating RL Training for LLMs through Online Length-Aware Scheduling
by: Zhang, Yiqi, et al.
Published: (2026)

Knowledge Graph Extension by Entity Type Recognition
by: Shi, Daqian
Published: (2024)