Skip to content
conftrace_

positive negative example

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

constraint satisfaction (2) formula learning (1) class expression learning (1) constraint learning (1) refinement operator (1) syntax-guided synthesis (1) contextual example (1) learning from example (1) property specification language (1) description logic (1)

Papers

Learning Interpretable Models in the Property Specification Language IJCAI 2020 Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation AAAI 2020 Two-way Parallel Class Expression Learning ACML 2012