E-LIB Suche - Ergebnisse für: Fodor, Paul

1

Ergo: A Quest for Declarativity in Logic Programming:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Grosof, Benjamin ; Kifer, Michael ; Swift, Theresa.. - p. 224-236 , 2023

Link: https://doi.org/10.1007/..

2

Knowledge Authoring for Rules and Actions:

WANG, YUHENG ; FODOR, PAUL ; KIFER, MICHAEL
Theory and Practice of Logic Programming. 23 (2023) 4 - p. 797-811 , 2023

Link: https://doi.org/10.1017/..

3

Introduction to the Special Issue on the International Join..:

FODOR, PAUL ; MONTALI, MARCO
Theory and Practice of Logic Programming. 22 (2022) 2 - p. 158-161 , 2022

Link: https://doi.org/10.1017/..

4

Report on the 3rd International Joint Conference on Rules a..:

Calvanese, Diego ; Fodor, Paul ; Montali, Marco
ACM SIGLOG News. 7 (2020) 2 - p. 16-18 , 2020

Link: https://doi.org/10.1145/..

5

Report on the 3rd International Joint Conference on Rules a..:

Calvanese, Diego ; Fodor, Paul ; Montali, Marco
ACM SIGLOG News. 7 (2020) 2 - p. 16-18 , 2020

Link: https://dl.acm.org/doi/1..

6

Rules and Reasoning: Third International Joint Conference, ..

Programming and Software Engineering, 11784

Fodor, Paul ; Montali, Marco ; Calvanese, Diego. - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

7

Querying Knowledge via Multi-Hop English Questions:

GAO, TIANTIAN ; FODOR, PAUL ; KIFER, MICHAEL
Theory and Practice of Logic Programming. 19 (2019) 5-6 - p. 636-653 , 2019

Link: https://doi.org/10.1017/..

8

Inflammation—The role of ATP in pre‐eclampsia:

Fodor, Paul ; White, Benjamin ; Khan, Raheela
Microcirculation. 27 (2019) 1 - p. , 2019

Link: https://doi.org/10.1111/..

9

Knowledge Authoring for Rule-Based Reasoning:

, In: Lecture Notes in Computer Science; On the Move to Meaningful Internet Systems. OTM 2018 Conferences,

Gao, Tiantian ; Fodor, Paul ; Kifer, Michael - p. 461-480 , 2018

Link: https://doi.org/10.1007/..

10

Rule Technologies. Research, Tools, and Applications

10th International Symposium, RuleML 2016, Stony Brook, NY,... Lecture Notes in Computer Science ; 9718;Programming and Software Engineering ; 9718;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Bertossi, Leopoldo ; Governatori, Guido ; Fodor, Paul.. , 2016

Link: https://doi.org/10.1007/..

11

Introduction to the special issue on the International Web ..:

BIKAKIS, ANTONIS ; FODOR, PAUL ; GIURCA, ADRIAN.
Theory and Practice of Logic Programming. 16 (2016) 3 - p. 243-246 , 2016

Link: https://doi.org/10.1017/..

12

Paraconsistency and word puzzles:

GAO, TIANTIAN ; FODOR, PAUL ; KIFER, MICHAEL
Theory and Practice of Logic Programming. 16 (2016) 5-6 - p. 703-720 , 2016

Link: https://doi.org/10.1017/..

13

10th International Web Rule Symposium (RuleML 2016) report:

Fodor, Paul
ACM SIGLOG News. 3 (2016) 4 - p. 48-49 , 2016

Link: https://dl.acm.org/doi/1..

14

10th International Web Rule Symposium (RuleML 2016) report:

Fodor, Paul
ACM SIGLOG News. 3 (2016) 4 - p. 48-49 , 2016

Link: https://doi.org/10.1145/..

15

Rules on the Web. From Theory to Applications

8th International Symposium, RuleML 2014, Co-located with t... Lecture Notes in Computer Science ; 8620;SpringerLink, Bücher

Bikakis, Antonis ; Fodor, Paul ; Roman, Dumitru , 2014

Link: https://doi.org/10.1007/..