SBBD

Paper Registration

1

Select Book

2

Select Paper

3

Fill in paper information

4

Congratulations

Fill in your paper information

English Information

(*) To change the order drag the item to the new position.

Authors
# Name
1 Fernando Pinto(fpinto@inf.puc-rio.br)
2 Jefferson Santos(jefferson.santos@fgv.br)
3 Sergio Lifschitz(sergio@inf.puc-rio.br)
4 Edward Haeusler(hermann@inf.puc-rio.br)

(*) To change the order drag the item to the new position.

Reference
# Reference
1 Alkmim, B., Haeusler, E. H., and Nalon, C. (2022). A labelled natural deduction system for an intuitionistic description logic with nominals. In Arieli, O., Homola, M., Jung, J. C., and Mugnier, M., editors, Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, volume 3263 of CEUR Workshop Proceedings. CEUR-WS.org.
2 Baader, F., Calvanese, D., Mcguinness, D., Nardi, D., and Patel-Schneider, P. (2007). The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press; 2nd Edition.
3 Bezerra, C., Freitas, F., and Santana, F. (2013). Evaluating ontologies with competency ques- tions. In 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), volume 3, pages 284–285.
4 Craig, W. (1957). Three uses of the herbrand-gentzen theorem in relating model theory and proof theory. Journal of Symbolic Logic, 22(3):269285.
5 Fitting, M. C. (1969). Intuitionistic logic model theory and forcing. North-Holland Publishing, Amsterdam, Netherlands.
6 Haeusler, E. H., d. Paiva, V., and Rademaker, A. (2010). Intuitionistic logic and legal ontologies. Conference: Legal Knowledge and Information Systems - JURIX 2010.
7 Keith D. Cooper, L. T. (2011). Engineering a Compiler . Elsevier, 2nd edition.