Imagen de Portada

Intensional FOL: Many-Sorted Extension

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Majkic, Zoran
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

SHACL2FOL: An FOL Toolkit for SHACL Decision Problems
por: Pareti, Paolo
Publicado: (2024)

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

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

Categorial Geometry and Algebraic Topology
por: Majkic, Zoran
Publicado: (2024)

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

Internal Symmetry Group in Categorial Topology
por: Majkic, Zoran
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Many-Turn Jailbreaking
por: Yang, Xianjun, et al.
Publicado: (2025)

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

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

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

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

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

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

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

Extension-ranking Semantics for Abstract Argumentation Preprint
por: Skiba, Kenneth, et al.
Publicado: (2025)

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

MAPLE: Many-Shot Adaptive Pseudo-Labeling for In-Context Learning
por: Chen, Zihan, et al.
Publicado: (2025)

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