Publications

  1. Published

    Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools

    Zohar, Y., Tishkovsky, D., Schmidt, R. A. & Zamansky, A., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, p. 610-638 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11560 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Published

    Role Forgetting for ALCOQH(O)-Ontologies Using an Ackermann-Based Approach

    Zhao, Y. & Schmidt, R., 2017, The 26th International Joint Conference on Artificial Intelligence . Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1354-1361 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics

    Zhao, Y. & Schmidt, R., 2018, Automated Reasoning (IJCAR 2018). Cham: Springer Nature, Vol. 10900. p. 19-27 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    On Concept Forgetting in Description Logics with Qualified Number Restrictions

    Zhao, Y. & Schmidt, R., 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. p. 1984-1990 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Published

    Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

    Zhao, Y., Alghamdi, G., Schmidt, R., Feng, H., Stoilos, G., Juric, D. & Khodadadi, M., 2019, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions

    Zhao, Y. & Schmidt, R., 2019, Automated Deduction: CADE-27. Fontaine, P. (ed.). Springer Nature, Vol. 11716. (Lecture Notes in Computer Science; vol. 11716).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Published

    Multi-core model checking and maximum satisfiability applied to hardware-software partitioning

    Trindade, A. B., Degelo, R. D. F., Galvao Dos Santos Junior, E., Ismail, H. I., Silva, H. C. D. & Cordeiro, L. C., 2017, In : International Journal of Embedded Systems. 9, 6, p. 570

    Research output: Contribution to journalArticle

  8. Published

    Applying SMT-based verification to hardware/software partitioning in embedded systems

    Trindade, A. B. & Cordeiro, L. C., 22 Apr 2015, In : Design Automation for Embedded Systems. 20, 1, p. 1-19

    Research output: Contribution to journalArticle

  9. Published

    Applying multi-core model checking to hardware-software partitioning in embedded systems

    Trindade, A., Ismail, H. & Cordeiro, L., 2015, In : Brazilian Symposium on Computing System Engineering : proceedings. p. 102-105

    Research output: Contribution to journalArticle

  10. Published

    Automated Formal Verification of Stand-alone Solar Photovoltaic Systems

    Trindade, A. B. & Cordeiro, L., 2019, In : Solar Energy.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...14 Next
Return to faculty and school overview