Paul Fodor

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 16

Top Topics

Question Answering

Recent Progress

Controlled Natural Language

Top Venues

Theory Pract. Log. Program.

ACM SIGLOG News

Publications

Yuheng Wang, Paul Fodor, Michael Kifer
Knowledge Authoring for Rules and Actions. Theory Pract. Log. Program. 23 (4) (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
MLRegTest: A Benchmark for the Machine Learning of Regular Languages. CoRR (2023)
Yuheng Wang, Paul Fodor, Michael Kifer
Knowledge Authoring for Rules and Actions. CoRR (2023)
Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer
Knowledge Authoring with Factual English. ICLP Technical Communications / Doctoral Consortium (2022)
Paul Fodor, Marco Montali
Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019. Theory Pract. Log. Program. 22 (2) (2022)
Diego Calvanese, Paul Fodor, Marco Montali
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). ACM SIGLOG News 7 (2) (2020)
Tiantian Gao, Paul Fodor, Michael Kifer
Querying Knowledge via Multi-Hop English Questions. Theory Pract. Log. Program. 19 (5-6) (2019)
Tiantian Gao, Paul Fodor, Michael Kifer
Querying Knowledge via Multi-Hop English Questions. CoRR (2019)
Tiantian Gao, Paul Fodor, Michael Kifer
Knowledge Authoring for Rule-Based Reasoning. OTM Conferences (2) (2018)
Tiantian Gao, Paul Fodor, Michael Kifer
High Accuracy Question Answering via Hybrid Controlled Natural Language. WI (2018)
Benjamin N. Grosof, Michael Kifer, Paul Fodor
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) (2017)
Paul Fodor, Guido Governatori, José Júlio Alferes, Leopoldo E. Bertossi
RuleML (Web Rule Symposium) 2016 Report. AI Mag. 38 (1) (2017)
Paul Fodor
10th International Web Rule Symposium (RuleML 2016) report. ACM SIGLOG News 3 (4) (2016)
Tiantian Gao, Paul Fodor, Michael Kifer
Paraconsistency and word puzzles. Theory Pract. Log. Program. 16 (5-6) (2016)
Tiantian Gao, Paul Fodor, Michael Kifer
Paraconsistency and Word Puzzles. CoRR (2016)
Antonis Bikakis, Paul Fodor, Adrian Giurca, Leora Morgenstern
Introduction to the special issue on the International Web Rule Symposia 2012-2014. Theory Pract. Log. Program. 16 (3) (2016)
Benjamin N. Grosof, Michael Kifer, Paul Fodor
The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). Reasoning Web (2015)
Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Challenge+DC@RuleML (2015)
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
Advanced Knowledge Base Debugging for Rulelog. RuleML (2) (2013)
Reza Basseda, Michael Kifer, John P. Kane, Steven Greenspan, Paul Fodor
Developing Troubleshooting Systems Using Ontologies. Web Intelligence/IAT Workshops (2013)
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
Understanding Rulelog Computations in Silk. CoRR (2013)
Adam Lally, John M. Prager, Michael C. McCord, Branimir Boguraev, Siddharth Patwardhan, James Fan, Paul Fodor, Jennifer Chu-Carroll
Question analysis: How Watson reads a clue. IBM J. Res. Dev. 56 (3) (2012)
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach. Appl. Artif. Intell. 26 (1-2) (2012)
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Stream reasoning and complex event processing in ETALIS. Semantic Web 3 (4) (2012)
Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
EP-SPARQL: a unified language for event processing and stream reasoning. WWW (2011)
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams. RuleML Europe (2011)
Paul Fodor, Darko Anicic, Sebastian Rudolph
Results on Out-of-Order Event Processing. PADL (2011)
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Retractable Complex Event Processing and Stream Reasoning. RuleML Europe (2011)
Paul Fodor, Michael Kifer
Transaction Logic with Defaults and Argumentation Theories. ICLP (Technical Communications) (2011)
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
A Rule-Based Language for Complex Event Processing and Reasoning. RR (2010)
Paul Fodor, Michael Kifer
Tabling for transaction logic. PPDP (2010)
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
Logic Programming with Defaults and Argumentation Theories. ICLP (2009)
Paul Fodor
Initial Results on Justification for the Tabled Transaction Logic. AAAI Spring Symposium: Intelligent Event Processing (2009)
Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer
OpenRuleBench: an analysis of the performance of rule engines. WWW (2009)
Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer
Computing complex events in an event-driven and logic-based approach. DEBS (2009)
Diptikalyan Saha, Paul Fodor
A simple and efficient explicit parallelization of logic programs using low-level threading primitives CoRR (2009)
Darko Anicic, Paul Fodor, Roland Stühmer, Nenad Stojanovic
Event-Driven Approach for Logic-Based Complex Event Processing. CSE (1) (2009)
Paul Fodor
Research Summary: Tabled Evaluation for Transaction Logic Programs. ICLP (2009)
Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer
An approach for data-driven and logic-based complex Event Processing. DEBS (2009)
Paul Fodor
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. AAAI (2008)
Paul Fodor
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. AAAI (2008)
Paul Fodor, Adam Lally, David A. Ferrucci
The Prolog Interface to the Unstructured Information Management Architecture CoRR (2008)
Paul Fodor
Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine CoRR (2008)
Paul Fodor
Optimizations and Extensions for the Horn Transaction Logic Programs. AAAI (2008)
Paul Fodor
Efficient Tabling Mechanisms for Transaction Logic Programs CoRR (2007)
Joy Dutta, Paul Fodor
A Systematic Approach to Web-Application Development CoRR (2007)
Paul Fodor
Flexible Audio Streams CoRR (2007)
Paul Fodor
Portlet Wrappers using JavaScript CoRR (2007)
Paul Fodor
Domain Directed Dialogs for Decision Processes CoRR (2007)
Paul Fodor
Automatic Annotation of XHTML Pages with Audio Components CoRR (2007)
Paul Fodor, Juan M. Huerta
Planning and Logic Programming for Dialog Management. SLT (2006)