Publications related to declarative programming
This section contains papers that are related to declarative programming, describing theoretical foundations, calcili, techniques, and applications. It includes both refereed publications and reports, but not edited books or volumes. Entries in this section may appear in the others as well.
Journal and conference papers
- B. Dundua, T. Kutsia, M. Marin. Variadic equational matching in associative and commutative theories. Journal of Symbolic Computation. 106, 78–109, 2021. DOI: 10.1016/j.jsc.2021.01.001.
PDF, PDF at the publisher's site, BibTeX. -
M. Marin, B. Dundua, T. Kutsia. A Rule-Based System for Computation and Deduction in Mathematica.
In: S. Escobar and N. Marti-Oliet, editors. Prpceedings of WRLA 2020 - Rewriting Logic and Its Applications. Volume 12328 of Lecture Notes in Computer Science. Springer, 2020. 57–74.
PDF, BibTeX. -
B. Dundua, T. Kutsia, M. Marin, C. Pau. Extending the ρLog Calculus with Proximity Relations.
In: G. Jaiani and D. Natroshvili, editors. Applications of Mathematics and Informatics in Natural Sciences and Engineering, AMINSE 2019. Volume 334 of Springer Proceedings in Mathematics & Statistics. Springer, Cham. 2020. 83–100.
PDF, BibTeX. -
B. Dundua, T. Kutsia, M. Marin, M. Rukhaia. Specification and Analysis of ABAC Policies in a Rule-Based Framework.
In: G. Jaiani and D. Natroshvili, editors. Applications of Mathematics and Informatics in Natural Sciences and Engineering, AMINSE 2019. Volume 334 of Springer Proceedings in Mathematics & Statistics. Springer, Cham. 2020. 101–116.
PDF, BibTeX. - T. Kutsia, C. Pau. Solving Proximity Constraints. In: M. Gabbrielli, editor. Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers. October 8–10, 2019, Porto, Portugal. Vol. 12042 of Lecture Notes in Computer Science. Springer, 2019. 107–122. © Springer.
PDF, BibTeX. - B. Dundua, T. Kutsia, M. Marin. Variadic Equational Matching. In: C. Kaliszyk, E. Brady, A. Kohlhase, C. Sacerdoti Coen, editors. Intelligent Computer Mathematics - 12th International Conference, CICM 2019. July 9–12, 2019, Prague, Czech Republic. Vol. 11617 of Lecture Notes in Computer Science. Springer, 2019, 77–92. © Springer.
PDF, BibTeX. - M. Marin, T. Kutsia, B. Dundua. A Rule-based Approach to the Decidability of Safety of ABACα. In: F. Kerschbaum, A. Mashatan, J. Niu, A. J. Lee, editors. Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, SACMAT 2019. June 3–6, 2019, Toronto, Canada. ACM, 2019, 173–178.
PDF, BibTeX. - S. Alves, B. Dundua, M. Florido, T. Kutsia. Pattern-based calculi with finitary matching. Logic Journal of the IGPL. 26(2):203–243, 2018. DOI: 10.1093/JIGPAL/jzx059.
PDF (with minor corrections), PDF from the publisher's page, BibTeX. - B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr. An overview of PρLog. In: Y. Lierler and W. Taha, editors. Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017. Volume 10137 of Lecture Notes in Computer Science. Springer, 2017. 34–49. © Springer.
PDF, BibTeX. - B. Dundua, T. Kutsia, K. Reisenberger-Hagmayr. PρLog: Combining Logic Programming with Conditional Transformation Systems (Tool Description). In: M. Carro, A. King, N. Saeedloei, and M. De Vos, editors. Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. Vol. 52 of OpenAccess Series in Informatics (OASIcs). Schloss Dagstuhl, 2016, 10.1–10.5.
PDF, BibTeX. -
M. Marin, T. Kutsia, B. Dundua. A Rewrite-based Computational Model for Functional Logic Programming. In: J. H. Davenport and F. Ghourabi, editors. Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016. EPiC Series, Volume 39, EasyChair, 2016. 95–106.
PDF, BibTeX. - B. Dundua, M. Florido, T. Kutsia, and M. Marin. CLP(H): Constraint Logic Programming for Hedges. Theory and Practice of Logic Programming. 16(2):141–162, 2016. DOI: 10.1017/S1471068415000071.
PDF, BibTeX. - B. Dundua, M. Florido, T. Kutsia, M. Marin. Constraint Logic Programming for Hedges: A Semantic Reconstruction. In: M. Codish and E. Sumii, editors, Proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014. June 4–6, 2014, Kanazawa, Japan. Volume 8475 of Lecture Notes in Computer Science. Springer, 2014, 285–301. © Springer.
PDF, BibTeX. - T. Kutsia, M. Marin. Solving, Reasoning, and Programming in Common Logic. In: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012. September 26–29, 2012, Timisoara, Romania. IEEE Computer Society. © IEEE, 2013, 119–126.
PDF, BibTeX. - J. Coelho, B. Dundua, M. Florido, T. Kutsia. A Rule-Based Approach to XML Processing and Web Reasoning. In: P. Hitzler and T. Lukasiewicz, editors, Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010. September 22–24, 2010, Bressanone/Brixen, Italy. Volume 6333 of Lecture Notes in Computer Science. Springer, 2010, 164–172. © Springer.
PDF, BibTeX. - B. Dundua, T. Kutsia, M. Marin, Strategies in PρLog. In: M. Fernández, editor, 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009. June 28, 2009, Brasilia, Brazil. Electronic Proceedings in Theoretical Computer Science 15, 2010, 32–43.
PDF, BibTeX. - J. Coelho, M. Florido, T. Kutsia. Collaborative Schema Construction using Regular Sequence Types. In: Proceedings of the 2009 IEEE International Conference of Information Reuse and Integration, IRI 2009. August 10–12, 2009, Las-Vegas, USA. 290–295. © IEEE.
PDF, BibTeX. - T. Kutsia. Flat Matching. Journal of Symbolic Computation 43(12):858–873, 2008. DOI: 10.1016/j.jsc.2008.05.001.
PDF, BibTeX. - J. Coelho, M. Florido, T. Kutsia. Sequence Disunification and its Application in Collaborative Schema Construction. In: M. Weske, M.-S. Hacid, C. Godart, editors, Web Information Systems - WISE 2007 Workshops. December 3–7, 2007. Nancy, France. Volume 4832 of Lecture Notes in Computer Science. Springer, 2007, 91–102. © Springer.
PDF, BibTeX. - M. Marin, T. Kutsia. Foundations of the Rule-Based System RhoLog. Journal of Applied Non-Classical Logics, 16(1–2):151–168, 2006. DOI: 10.3166/jancl.16.151-168.
PDF, BibTeX. - T. Kutsia, M. Marin. Matching with Regular Constraints. In: G. Sutcliffe and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 12th International Conference LPAR 2005. December 2–6, 2005, Montego Bay, Jamaica. Volume 3835 of Lecture Notes in Artificial Intelligence. Springer, 2005, 215–229. © Springer.
PDF, BibTeX. - M. Marin, T. Kutsia. A Rule-based Approach to the Implementation of Evaluation Strategies. Annals of West University of Timisoara. Volume XLII, Special Issue on Computer Science II, 2004, 117–134.
BibTeX. - M. Marin, T. Kutsia. Programming with Transformation Rules. Analele Universitatii de Vest din Timisoara. Seria Matematica-Informatica, Vol. XVI, Fasc. special, 2003, 163–175.
BibTeX.
Workshop papers and technical reports
- M. Ayala-Rincón, B. Dundua, T. Kutsia, M. Marin. Rewriting Logic from a ρLog Point of View. In: S. Alves and R. Wasserman, editors. Proceedings of the 12th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2017.
PDF. - S. Alves, B. Dundua, M. Florido, T. Kutsia. A Confluent Pattern Calculus with Hedge Variables. In: N. Hirokawa and V. van Oostrom, editors, 2nd International Workshop on Confluence, IWC 2013. June 28, Eindhoven, The Netherlands. 41–45.
BibTeX. - T. Kutsia, M. Marin. Solving Regular Constraints for Hedges and Contexts. In: J. Levy, editor, Proceedings of the 20th International Workshop on Unification, UNIF 2006. August 11, 2006, Seattle, USA, 89–107.
PDF, BibTeX. - M. Marin, T. Kutsia. On the Implementation of a Rule-Based Programming System and some of its Applications. In: B. Konev and R. Schmidt, editors, Proceedings of the 4th International Workshop on the Implementation of Logics, WIL 2003. September 26, 2003, Almaty, Kazakhstan. 55–68.
PDF, BibTeX. - T. Kutsia. A Framework for Some Semantics of Normal Logic Programs (Extended Abstract). Reports of Enlarged Sessions of the Seminar of the Ilia Vekua Institute of Applied Mathematics, 13(4), 1998, Tbilisi University Press.
BibTeX. - T. Kutsia. Semantics and Proof Theory of Disjunctive Logic Programs with Implicative Goals. In: R. Cooper and Th. Gamkrelidze, editors. Proceedings of the 2nd International Symposium on Language, Logic and Computation, LLC 1997. September 15–20, 1997, Tbilisi, Georgia. Tbilisi University Press, 1997, 160–178.
BibTeX. - T. Kutsia. On Semantics and Proof Theory of Disjunctive Logic Programs with Classical Negation. Applied Mathematics and Informatics, 1(1), 96–110, 1996, Tbilisi University Press.
BibTeX. - T. Kutsia. Description of One Variant of Three-Valued Logic Programming. Reports of the Seminar of the Ilia Vekua Institute of Applied Mathematics, no. 22, 53–64, 1993, Tbilisi State University.
Bibtex.