conftrace_

Peter Schüller

4 papers · 2016–2022 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🐝 Cross-Pollinator (12)

Conferences

IJCAI (2) SEMEVAL (2)

Top co-authors

Mishal Kazmi (2) Yücel Saygın (1) Bernardo Cuteri (1) Carmine Dodaro (1) Francesco Ricca (1) Thomas Eiter (1) Zeynep G. Saribatur (1) Myra Spiliopoulou (1) Stefan Räbiger (1)

Keywords

answer set programming (2) abstraction refinement (1) automated reasoning (1) constraint propagation (1) nonmonotonic reasoning (1) grounding bottleneck (1) cdcl algorithm (1) knowledge representation (1) domain abstraction (1)

Papers

Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022 Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020 SteM at SemEval-2016 Task 4: Applying Active Learning to Improve Sentiment Classification SEMEVAL 2016 Inspire at SemEval-2016 Task 2: Interpretable Semantic Textual Similarity Alignment based on Answer Set Programming SEMEVAL 2016