Picture for Paul Fodor

Paul Fodor

Department of Computer Science, Stony Brook University

Knowledge Authoring for Rules and Actions

Add code
May 12, 2023
Viaarxiv icon

MLRegTest: A Benchmark for the Machine Learning of Regular Languages

Add code
Apr 16, 2023
Viaarxiv icon

Knowledge Authoring with Factual English

Add code
Aug 05, 2022
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)

Add code
Sep 15, 2021
Viaarxiv icon

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

Add code
Sep 19, 2020
Viaarxiv icon

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

Add code
Sep 17, 2019
Viaarxiv icon

Querying Knowledge via Multi-Hop English Questions

Add code
Jul 18, 2019
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

Add code
Aug 05, 2016
Viaarxiv icon

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

Add code
Aug 12, 2008
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

Add code
Sep 11, 2007
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