Hostname: page-component-7479d7b7d-k7p5g Total loading time: 0 Render date: 2024-07-08T17:47:17.725Z Has data issue: false hasContentIssue false
  • English
  • Français

Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019

Published online by Cambridge University Press:  28 March 2022

PAUL FODOR Open the ORCID record for PAUL FODOR [Opens in a new window]  and
MARCO MONTALI
PAUL FODOR
Affiliation:
Stony Brook University, USA (e-mail: [email protected])
MARCO MONTALI
Affiliation:
Free University of Bozen-Bolzano, Italy (e-mail: [email protected])
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This special issue of Theory and Practice of Logic Programming consists of extended versions of five selected papers from the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). RuleML+RR 2019 was held in conjunction with the 5th Global Conference on Artificial Intelligence, GCAI 2019, as part of the Bolzano Rules and Artificial INtelligence Summit in Bolzano, Italy, from 17 to 19 of September 2019.

Keywords

RuleMLRRrules and reasoning
Type
Editorial
Information
Theory and Practice of Logic Programming , Volume 22 , Issue 2: Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019 , March 2022 , pp. 158 - 161
Check for updates
Copyright
© The Author(s), 2022. Published by Cambridge University Press

References

Borgwardt, S., Forkel, W., and Kovtunova, A. 2019. Temporal minimal-world semantics for sparse aboxes. In Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+ RR 2019). LNCS, Bolzano, Italy. Springer.CrossRefGoogle Scholar
Bozzato, L., Eiter, T., and Serafini, L. 2019. Reasoning on dl-lite with defeasibility in asp. In Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+ RR 2019). LNCS, Bolzano, Italy. Springer.Google Scholar
Dodaro, C., Galatà, G., Khan, M. K., Maratea, M., and Porro, I. 2019. Operating room (re) scheduling with bed management via asp. In Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+ RR 2019). LNCS, Bolzano, Italy. Springer.CrossRefGoogle Scholar
Liu, F. and You, J.-H. 2019. Alternating fixpoint operator for hybrid mknf knowledge bases as an approximator of aft. In International Joint Conference on Rules and Reasoning. Springer, 113–127.Google Scholar
Michel, F., Turhan, A.-Y., and Zarriess, B. 2019. Efficient tbox reasoning with value restrictions-introducing the flower reasoner. In Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+ RR 2019). LNCS, Bolzano, Italy. Springer.CrossRefGoogle Scholar