Alert button
Picture for Paul Fodor

Paul Fodor

Alert button

Department of Computer Science, Stony Brook University

Knowledge Authoring for Rules and Actions

May 12, 2023
Yuheng Wang, Paul Fodor, Michael Kifer

Figure 1 for Knowledge Authoring for Rules and Actions
Figure 2 for Knowledge Authoring for Rules and Actions
Figure 3 for Knowledge Authoring for Rules and Actions
Figure 4 for Knowledge Authoring for Rules and Actions
Viaarxiv icon

MLRegTest: A Benchmark for the Machine Learning of Regular Languages

Apr 16, 2023
Sam van der Poel, Dakotah Lambert, Kalina Kostyszyn, Tiantian Gao, Rahul Verma, Derek Andersen, Joanne Chau, Emily Peterson, Cody St. Clair, Paul Fodor, Chihiro Shibata, Jeffrey Heinz

Figure 1 for MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Figure 2 for MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Figure 3 for MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Figure 4 for MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Viaarxiv icon

Knowledge Authoring with Factual English

Aug 05, 2022
Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer

Figure 1 for Knowledge Authoring with Factual English
Figure 2 for Knowledge Authoring with Factual English
Figure 3 for Knowledge Authoring with Factual English
Figure 4 for Knowledge Authoring with Factual English
Viaarxiv icon

Proceedings 37th International Conference on Logic Programming (Technical Communications)

Sep 15, 2021
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou

Viaarxiv icon

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Sep 19, 2020
Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi

Viaarxiv icon

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Sep 17, 2019
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, German Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang

Viaarxiv icon

Querying Knowledge via Multi-Hop English Questions

Jul 18, 2019
Tiantian Gao, Paul Fodor, Michael Kifer

Figure 1 for Querying Knowledge via Multi-Hop English Questions
Figure 2 for Querying Knowledge via Multi-Hop English Questions
Viaarxiv icon

Paraconsistency and Word Puzzles

Aug 05, 2016
Tiantian Gao, Paul Fodor, Michael Kifer

Viaarxiv icon

Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine

Aug 12, 2008
Paul Fodor

Figure 1 for Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine
Viaarxiv icon

Efficient Tabling Mechanisms for Transaction Logic Programs

Sep 11, 2007
Paul Fodor

Figure 1 for Efficient Tabling Mechanisms for Transaction Logic Programs
Figure 2 for Efficient Tabling Mechanisms for Transaction Logic Programs
Figure 3 for Efficient Tabling Mechanisms for Transaction Logic Programs
Figure 4 for Efficient Tabling Mechanisms for Transaction Logic Programs
Viaarxiv icon