Hostname: page-component-6b989bf9dc-476zt Total loading time: 0 Render date: 2024-04-13T10:50:15.284Z Has data issue: false hasContentIssue false

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
Affiliation:
Stony Brook University, USA (e-mail: pfodor@cs.stonybrook.edu)
MARCO MONTALI
Affiliation:
Free University of Bozen-Bolzano, Italy (e-mail: montali@inf.unibz.it)
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.

Type
Editorial
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, 113127.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