![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Paul Fodor
Person information
- affiliation: Stony Brook University, NY, USA
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j11]Yuheng Wang
, Paul Fodor
, Michael Kifer:
Knowledge Authoring for Rules and Actions. Theory Pract. Log. Program. 23(4): 797-811 (2023) - [p1]Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield:
Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years 2023: 224-236 - [e12]Jan Vanthienen, Tomás Kliegr, Paul Fodor, Davide Lanti, Dörthe Arndt, Egor V. Kostylev, Theodoros Mitsikas, Ahmet Soylu:
Proceedings of the 17th International Rule Challenge and 7th Doctoral Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer School (RW 2023) and 15th DecisionCAMP 2023 as part of Declarative AI 2023, Oslo, Norway, 18 - 20 September, 2023. CEUR Workshop Proceedings 3485, CEUR-WS.org 2023 [contents] - [i14]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 abs/2304.07687 (2023) - [i13]Yuheng Wang, Paul Fodor, Michael Kifer:
Knowledge Authoring for Rules and Actions. CoRR abs/2305.07763 (2023) - 2022
- [j10]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): 158-161 (2022) - [c26]Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer:
Knowledge Authoring with Factual English. ICLP Technical Communications / Doctoral Consortium 2022: 107-122 - 2021
- [e11]Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts
, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents] - 2020
- [j9]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): 16-18 (2020) - [e10]Sotiris Moschoyiannis, Paul Fodor, Jan Vanthienen, Daniela Inclezan, Nikolay Nikolov, Francisco Martín-Recuerda, Ioan Toma:
Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June - 1 July, 2020. CEUR Workshop Proceedings 2644, CEUR-WS.org 2020 [contents] - [e9]Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents]
2010 – 2019
- 2019
- [j8]Tiantian Gao
, Paul Fodor, Michael Kifer:
Querying Knowledge via Multi-Hop English Questions. Theory Pract. Log. Program. 19(5-6): 636-653 (2019) - [e8]Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman:
Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. Lecture Notes in Computer Science 11784, Springer 2019, ISBN 978-3-030-31094-3 [contents] - [e7]Bart Bogaerts
, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva
, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents] - [i12]Tiantian Gao, Paul Fodor, Michael Kifer:
Querying Knowledge via Multi-Hop English Questions. CoRR abs/1907.08176 (2019) - 2018
- [c25]Tiantian Gao, Paul Fodor
, Michael Kifer:
Knowledge Authoring for Rule-Based Reasoning. OTM Conferences (2) 2018: 461-480 - [c24]Tiantian Gao, Paul Fodor
, Michael Kifer:
High Accuracy Question Answering via Hybrid Controlled Natural Language. WI 2018: 17-24 - [e6]Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor:
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. OASIcs 64, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-090-3 [contents] - [e5]Wolfgang Faber, Paul Fodor, Giovanni De Gasperis, Adrian Giurca, Kia Teymourian
:
Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018. CEUR Workshop Proceedings 2204, CEUR-WS.org 2018 [contents] - 2017
- [j7]Paul Fodor, Guido Governatori, José Júlio Alferes, Leopoldo E. Bertossi:
RuleML (Web Rule Symposium) 2016 Report. AI Mag. 38(1): 109-110 (2017) - [c23]Benjamin N. Grosof, Michael Kifer, Paul Fodor:
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) 2017 - 2016
- [j6]Paul Fodor:
10th International Web Rule Symposium (RuleML 2016) report. ACM SIGLOG News 3(4): 48-49 (2016) - [j5]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): 243-246 (2016) - [j4]Tiantian Gao, Paul Fodor
, Michael Kifer:
Paraconsistency and word puzzles. Theory Pract. Log. Program. 16(5-6): 703-720 (2016) - [e4]José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori
, Paul Fodor, Dumitru Roman:
Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Lecture Notes in Computer Science 9718, Springer 2016, ISBN 978-3-319-42018-9 [contents] - [i11]Tiantian Gao, Paul Fodor, Michael Kifer:
Paraconsistency and Word Puzzles. CoRR abs/1608.01338 (2016) - 2015
- [c22]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 - [c21]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: 189-192 - [e3]Nick Bassiliades, Paul Fodor, Adrian Giurca, Georg Gottlob, Tomás Kliegr, Grzegorz J. Nalepa, Monica Palmirani, Adrian Paschke, Mark Proctor, Dumitru Roman, Fariba Sadri, Nenad Stojanovic:
Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015. CEUR Workshop Proceedings 1417, CEUR-WS.org 2015 [contents] - 2014
- [e2]Antonis Bikakis, Paul Fodor, Dumitru Roman:
Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings. Lecture Notes in Computer Science 8620, Springer 2014, ISBN 978-3-319-09869-2 [contents] - 2013
- [c20]Reza Basseda, Michael Kifer, John P. Kane, Steven Greenspan, Paul Fodor
:
Developing Troubleshooting Systems Using Ontologies. Web Intelligence/IAT Workshops 2013: 274-277 - [c19]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 - [e1]Paul Fodor, Dumitru Roman, Darko Anicic, Adam Z. Wyner, Monica Palmirani, Davide Sottara, François Lévy:
Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, Seattle, USA, July 11 -13, 2013. CEUR Workshop Proceedings 1004, CEUR-WS.org 2013 [contents] - [i10]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 abs/1308.4125 (2013) - 2012
- [j3]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): 6-57 (2012) - [j2]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): 2 (2012) - [j1]Darko Anicic, Sebastian Rudolph
, Paul Fodor
, Nenad Stojanovic:
Stream reasoning and complex event processing in ETALIS. Semantic Web 3(4): 397-407 (2012) - 2011
- [c18]Paul Fodor, Michael Kifer:
Transaction Logic with Defaults and Argumentation Theories. ICLP (Technical Communications) 2011: 162-174 - [c17]Paul Fodor
, Darko Anicic, Sebastian Rudolph
:
Results on Out-of-Order Event Processing. PADL 2011: 220-234 - [c16]Darko Anicic, Sebastian Rudolph
, Paul Fodor
, Nenad Stojanovic:
Retractable Complex Event Processing and Stream Reasoning. RuleML Europe 2011: 122-137 - [c15]Darko Anicic, Sebastian Rudolph
, Paul Fodor
, Nenad Stojanovic:
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams. RuleML Europe 2011: 138-153 - [c14]Darko Anicic, Paul Fodor
, Sebastian Rudolph
, Nenad Stojanovic:
EP-SPARQL: a unified language for event processing and stream reasoning. WWW 2011: 635-644 - 2010
- [c13]Paul Fodor
, Michael Kifer:
Tabling for transaction logic. PPDP 2010: 199-208 - [c12]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: 42-57
2000 – 2009
- 2009
- [c11]Paul Fodor:
Initial Results on Justification for the Tabled Transaction Logic. AAAI Spring Symposium: Intelligent Event Processing 2009: 52-53 - [c10]Darko Anicic, Paul Fodor
, Roland Stühmer, Nenad Stojanovic:
Event-Driven Approach for Logic-Based Complex Event Processing. CSE (1) 2009: 56-63 - [c9]Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer:
An approach for data-driven and logic-based complex Event Processing. DEBS 2009 - [c8]Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer:
Computing complex events in an event-driven and logic-based approach. DEBS 2009 - [c7]Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor
, Senlin Liang:
Logic Programming with Defaults and Argumentation Theories. ICLP 2009: 432-448 - [c6]Paul Fodor
:
Research Summary: Tabled Evaluation for Transaction Logic Programs. ICLP 2009: 525-526 - [c5]Senlin Liang, Paul Fodor
, Hui Wan, Michael Kifer:
OpenRuleBench: an analysis of the performance of rule engines. WWW 2009: 601-610 - [i9]Diptikalyan Saha, Paul Fodor:
A simple and efficient explicit parallelization of logic programs using low-level threading primitives. CoRR abs/0912.3510 (2009) - 2008
- [c4]Paul Fodor:
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs. AAAI 2008: 1798-1799 - [c3]Paul Fodor:
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques. AAAI 2008: 1800-1801 - [c2]Paul Fodor:
Optimizations and Extensions for the Horn Transaction Logic Programs. AAAI 2008: 1849-1850 - [i8]Paul Fodor:
Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine. CoRR abs/0808.1721 (2008) - [i7]Paul Fodor, Adam Lally, David A. Ferrucci:
The Prolog Interface to the Unstructured Information Management Architecture. CoRR abs/0809.0680 (2008) - 2007
- [i6]Paul Fodor:
Efficient Tabling Mechanisms for Transaction Logic Programs. CoRR abs/0709.1699 (2007) - [i5]Paul Fodor:
Portlet Wrappers using JavaScript. CoRR abs/cs/0703069 (2007) - [i4]Paul Fodor:
Flexible Audio Streams. CoRR abs/cs/0703070 (2007) - [i3]Paul Fodor:
Automatic Annotation of XHTML Pages with Audio Components. CoRR abs/cs/0703071 (2007) - [i2]Paul Fodor:
Domain Directed Dialogs for Decision Processes. CoRR abs/cs/0703072 (2007) - [i1]Joy Dutta, Paul Fodor:
A Systematic Approach to Web-Application Development. CoRR abs/cs/0703080 (2007) - 2006
- [c1]Paul Fodor
, Juan M. Huerta:
Planning and Logic Programming for Dialog Management. SLT 2006: 214-217
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint