5 citations · 6 across the 3 of their papers we have counts for
4 papers
Forcing, Transition Algebras, and Calculi
Hashimoto Go, Daniel Găină, Ionuţ Ţuţu
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositi…
Horn Clauses in Hybrid-Dynamic First-Order Logic
Daniel Găină, Ionuţ Ţuţu
We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, the formalism we develop exten…
Service-Oriented Logic Programming
Ionut Tutu, Jose Luiz Fiadeiro
We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structure…
A methodological approach on the architectural development of integrated e-learning systems
Gramatovici Radu, Tutu Ionut
This study presents a methodological approach to the development of integrated e-learning systems that is used in the creation of educational content for standard Learning Manageme…