Accurate and Efficient Profile Matching in Knowledge Bases

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Martinez-Gil, Jorge, Paoletti, Alejandra Lorena, Rácz, Gábor, Sali, Attila, Schewe, Klaus-Dieter
Format:	Preprint
Published:	2017
Subjects:	Logic in Computer Science 68-04
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms
by: Schewe, Klaus-Dieter, et al.
Published: (2025)

Choiceless Polynomial Space
by: Ferrarotti, Flavio, et al.
Published: (2024)

A Complete Fragment of LTL(EB)
by: Ferrarotti, Flavio, et al.
Published: (2024)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
by: Schewe, Klaus-Dieter
Published: (2020)

Algebra of Self-Replication
by: Moss, Lawrence S.
Published: (2023)

On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)

A formal proof of the Ramanujan--Nagell theorem in Lean 4
by: Banwait, Barinder S.
Published: (2026)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
by: Salvadori, Daniel Augusto Rizzi
Published: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
by: Spreen, Dieter
Published: (2025)

Matching logic -- a new axiomatization
by: Leuştean, Laurenţiu, et al.
Published: (2025)

Intersection Types via Finite-Set Declarations
by: Kamareddine, Fairouz, et al.
Published: (2024)

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing
by: Dubey, ShivKishan, et al.
Published: (2025)

Game Comonads & Generalised Quantifiers
by: Conghaile, Adam Ó, et al.
Published: (2020)

A logic-based framework for database repairs
by: Fröhlich, Nicolas, et al.
Published: (2023)

The Constraint Satisfaction Problem Over Multisorted Cores
by: Delic, Dejan, et al.
Published: (2025)

There is a deep 1-generic set
by: Li, Ang
Published: (2024)

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
by: Cifuentes, Santiago, et al.
Published: (2024)

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
by: Schewe, Klaus-Dieter, et al.
Published: (2025)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
by: Haak, Anselm, et al.
Published: (2026)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
by: Motoura, Shota, et al.
Published: (2025)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
by: Marković, Petar, et al.
Published: (2026)

A modal logic translation of the AGM axioms for belief revision
by: Bonanno, Giacomo
Published: (2025)

Influence-Inspired Spectral Rotations for Extreme Low-Bit LLM Quantization
by: Pavlov, Gorgi
Published: (2026)

Don't Forget Imagination!
by: Vityaev, Evgenii E., et al.
Published: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
by: Amato, Gianluca, et al.
Published: (2024)

Constraint satisfaction problems, compactness and non-measurable sets
by: Tardif, Claude
Published: (2025)

Polynomial definability in constraint languages with few subpowers
by: Bulín, Jakub, et al.
Published: (2023)

Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case
by: Samarakkody, Miraj
Published: (2026)

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

RustyDL: A Program Logic for Rust
by: Drodt, Daniel, et al.
Published: (2026)

Undefinability of Approximation of 2-to-2 Games
by: Dawar, Anuj, et al.
Published: (2025)

Verifiably Robust Conformal Prediction
by: Jeary, Linus, et al.
Published: (2024)

Unifying lower bounds for algebraic machines, semantically
by: Seiller, Thomas, et al.
Published: (2018)

Computational Complexity of Preferred Subset Repairs on Data-Graphs
by: Pardal, Nina, et al.
Published: (2024)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)