Maria Vanina Martinez
8 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π Cross-Pollinator (15) π Conference Polyglot (2) π Academic Marathon (12) π Renaissance Researcher (5) π Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Pioneer
Conferences
IJCAI (7)
AAAI (1)
Top co-authors
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
On the Logic of Theory Base Change: Reformulation of Belief Bases
AAAI 2025
Efficient and Rigorous Model-Agnostic Explanations
IJCAI 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