Maria Vanina Martinez
8 papers · 2013–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (10) π£ Hot Topic Early Bird
π
Conference Pioneer
Top co-authors
Research topics
Keywords
knowledge representation
(2)
algorithm design
(1)
belief revision
(1)
complexity analysis
(1)
bayesian optimization
(1)
probabilistic sampling
(1)
surrogate model
(1)
polynomial time algorithm
(1)
counterfactual explanation
(1)
knowledge acquisition
(1)
integrity constraint
(1)
black-box model
(1)
belief change
(1)
explainable artificial intelligence
(1)
graph database
(1)
formal logic
(1)
decision support
(1)
axiomatic characterization
(1)
inconsistency measure
(1)
domain expertise
(1)
Papers
Efficient and Rigorous Model-Agnostic Explanations
IJCAI 2025
On the Logic of Theory Base Change: Reformulation of Belief Bases
AAAI 2025
On the Complexity of Finding Set Repairs for Data-Graphs (Abstract Reprint)
IJCAI 2024
BayCon: Model-agnostic Bayesian Counterfactual Generator
IJCAI 2022
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract)
IJCAI 2022
Knowledge Engineering for Intelligent Decision Support
IJCAI 2017
Combining Existential Rules with the Power of CP-Theories
IJCAI 2015
Preference-Based Query Answering in Datalog+/β Ontologies
IJCAI 2013