conftrace_
← Authors

Salvador Lucas

1 papers · 2020–2020 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓
🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15)

Conferences

IJCAI (1)

Keywords

knowledge base (1) first-order logic (1) answer set programming (1) relational database (1) model checking (1) semantic property (1)

Papers

Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) IJCAI 2020