Ingo Pill

4 papers · 2013–2024 · 3 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 ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🚀 Conference Pioneer

Venues

IJCAI (2) AAAI (1) ACL (1)

Top co-authors

Thomas Quaritsch (2) Franz Wotawa (1) Iulia Nica (1) Edi Muskardin (1) Johan de Kleer (1) Thomas Pock (1) Bernhard Aichernig (1) Franza Wotawa (1) Alexander Feldman (1) Ion Matei (1)

Research topics

Artificial Intelligence (1) Knowledge & Reasoning (1) Machine Learning (1) Core AI (1) Core Methods (1) Reasoning (1)

Keywords

unsupervised clustering (1) model-based diagnosis (1) satisfiability solving (1) recurrent neural network (1) semantic clustering (1) sat solver (1) conjunctive normal form (1) sequential circuit (1) minimal diagnosis (1) hidden state vector (1) diagnosis algorithm (1) cnf encoding (1) automata state (1)

Papers

On the Relationship Between RNN Hidden-State Vectors and Semantic Structures ACL 2024 Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020 Behavioral Diagnosis of LTL Specifications at Operator Level IJCAI 2013 The Route to Success – A Performance Comparison of Diagnosis Algorithms IJCAI 2013