Michael Kifer
Stony Brook University
H-index: 54
North America-United States
Top articles of Michael Kifer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Clabject Typing in MLM–the Double Life of a Clabject: A Position Paper | Mira Balaban Michael Kifer Azzam Maraee | 2023/10/1 | |
Knowledge Authoring for Rules and Actions | Theory and Practice of Logic Programming | Yuheng Wang Paul Fodor Michael Kifer | 2023/7 |
Ergo: a quest for declarativity in logic programming | Benjamin Grosof Michael Kifer Theresa Swift Paul Fodor Janine Bloomfield | 2023/6/17 | |
Mediation-based MLM in FOModeLer | Mira Balaban Igal Khitron Azzam Maraee Michael Kifer | 2022/10/23 | |
Knowledge authoring with factual english | arXiv preprint arXiv:2208.03094 | Yuheng Wang Giorgian Borca-Tasciuc Nikhil Goel Paul Fodor Michael Kifer | 2022/8/5 |
Logic Databases and the Meaning of Change (Dagstuhl Seminar 9639) | Hendrik Decker Jorge Bocca Michael Kifer Andrei Voronkov | 2021 | |
Logic-based software modeling with FOML | Journal of object technology | Mira Balaban Igal Khitron | 2020/10 |