Imagen de Portada

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Roos, Nico
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence 68T27, 68T30 I.2.3
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
por: Haque, Md. Asraful, et al.
Publicado: (2026)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
por: Akgün, Özgür, et al.
Publicado: (2022)

Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
por: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Publicado: (2025)

LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics
por: Peyronnet, Antoine, et al.
Publicado: (2026)

Thinking Machines: Mathematical Reasoning in the Age of LLMs
por: Asperti, Andrea, et al.
Publicado: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
por: Platzer, André
Publicado: (2024)

Fact Grounded Attention: Eliminating Hallucination in Large Language Models Through Attention Level Knowledge Integration
por: Gupta, Aayush
Publicado: (2025)

A Reduction of Input/Output Logics to SAT
por: Steen, Alexander
Publicado: (2025)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
por: Khan, Ishraq, et al.
Publicado: (2025)

Advancing Explainability in Neural Machine Translation: Analytical Metrics for Attention and Alignment Consistency
por: Mishra, Anurag
Publicado: (2024)

AI Agents-as-Judge: Automated Assessment of Accuracy, Consistency, Completeness and Clarity for Enterprise Documents
por: Dasgupta, Sudip, et al.
Publicado: (2025)

A Prompt Learning Framework for Source Code Summarization
por: Xu, Tingting, et al.
Publicado: (2023)

Text-to-SQL based on Large Language Models and Database Keyword Search
por: Nascimento, Eduardo R., et al.
Publicado: (2025)

Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
por: Liu, Bowen, et al.
Publicado: (2026)

Ontology Learning with LLMs: A Benchmark Study on Axiom Identification
por: Bakker, Roos M., et al.
Publicado: (2025)

Knowledge-Guided Multi-Agent Framework for Automated Requirements Development: A Vision
por: Huang, Jiangping, et al.
Publicado: (2025)

From Unstructured Recall to Schema-Grounded Memory: Reliable AI Memory via Iterative, Schema-Aware Extraction
por: Petrov, Alex, et al.
Publicado: (2026)

Oruga: An Avatar of Representational Systems Theory
por: Raggi, Daniel, et al.
Publicado: (2025)

Feature-Factory: Automating Software Feature Integration Using Generative AI
por: Vsevolodovna, Ruslan Idelfonso Magana
Publicado: (2024)

Semantic Modeling for World-Centered Architectures
por: Mantsivoda, Andrei, et al.
Publicado: (2026)

ESALE: Enhancing Code-Summary Alignment Learning for Source Code Summarization
por: Fang, Chunrong, et al.
Publicado: (2024)

Source Code Summarization in the Era of Large Language Models
por: Sun, Weisong, et al.
Publicado: (2024)

Commenting Higher-level Code Unit: Full Code, Reduced Code, or Hierarchical Code Summarization
por: Sun, Weisong, et al.
Publicado: (2025)

Domain size asymptotics for Markov logic networks
por: Koponen, Vera
Publicado: (2025)

ORPHEAS: A Cross-Lingual Greek-English Embedding Model for Retrieval-Augmented Generation
por: Livieris, Ioannis E., et al.
Publicado: (2026)

Chase Anonymisation: Privacy-Preserving Knowledge Graphs with Logical Reasoning
por: Bellomarini, Luigi, et al.
Publicado: (2024)

Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
por: Berman, Shmuel, et al.
Publicado: (2024)

1GC-7RC: One Graphic Card -- Seven Research Challenges! How Good Are AI Agents at Doing Your Job?
por: Kampa, Robin-Nico, et al.
Publicado: (2026)

FARSIQA: Faithful and Advanced RAG System for Islamic Question Answering
por: Asl, Mohammad Aghajani, et al.
Publicado: (2025)

Normative Conditional Reasoning as a Fragment of HOL
por: Parent, Xavier, et al.
Publicado: (2023)

CLEV: LLM-Based Evaluation Through Lightweight Efficient Voting for Free-Form Question-Answering
por: Badshah, Sher, et al.
Publicado: (2025)

M3: Conversational LLMs Simplify Secure Clinical Data Access, Understanding, and Analysis
por: Attrach, Rafi Al, et al.
Publicado: (2025)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
por: Raggi, Daniel, et al.
Publicado: (2025)

Structure and Destructure: Dual Forces in the Making of Knowledge Engines
por: Chen, Yihong
Publicado: (2025)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
por: Buoncompagni, Luca, et al.
Publicado: (2024)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
por: Zhang, Shiyu, et al.
Publicado: (2024)

Probabilistic Easy Variational Causal Effect
por: Faghihi, Usef, et al.
Publicado: (2024)

CHORUS: An Agentic Framework for Generating Realistic Deliberation Data
por: Koursaris, A., et al.
Publicado: (2026)

MCP-Diag: A Deterministic, Protocol-Driven Architecture for AI-Native Network Diagnostics
por: Lodha, Devansh, et al.
Publicado: (2026)

Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness
por: Sun, Weisong, et al.
Publicado: (2025)