Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Paul Fodor

Paul Fodor

Stony Brook University

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

* EPTCS 345, 2021 

  Access Paper or Ask Questions

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

* EPTCS 325, 2020 

  Access Paper or Ask Questions

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

* EPTCS 306, 2019 

  Access Paper or Ask Questions

Querying Knowledge via Multi-Hop English Questions


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

* Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages 

  Access Paper or Ask Questions

Paraconsistency and Word Puzzles


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


  Access Paper or Ask Questions

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


Aug 12, 2008
Paul Fodor


  Access Paper or Ask Questions

Efficient Tabling Mechanisms for Transaction Logic Programs


Sep 11, 2007
Paul Fodor


  Access Paper or Ask Questions