( en | de | ru )

 

Disambiguierung von "Ternovska, Eugenia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving.

, und . FroCos, Volume 11715 von Lecture Notes in Computer Science, Seite 57-73. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Eugenia Kopas

Eugenia Gripp

Eugenia Lesina

Eugenia Winter

Eugenia Alexake

 

Weitere Publikationen von Autoren mit dem selben Namen

Expressive power and abstraction in Essence., und . Constraints An Int. J., 13 (3): 343-384 (2008)Towards a Preference Formalism for Modular Systems., und . AAAI Spring Symposia, AAAI Press, (2015)A logic of nonmonotone inductive definitions., und . ACM Trans. Comput. Log., 9 (2): 14:1-14:52 (2008)A Semantic Account for Modularity in Multi-language Modelling of Search Problems., und . FroCoS, Volume 6989 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2011)Executable First-Order Queries in the Logic of Information Flows., , , , und . ICDT, Volume 155 von LIPIcs, Seite 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)An Algebra of Modular Systems: Static and Dynamic Perspectives.. FroCos, Volume 11715 von Lecture Notes in Computer Science, Seite 94-111. Springer, (2019)Problem Solving with the Enfragmo System., , und . Theory Pract. Log. Program., (2013)Promise Algebra: An Algebraic Model of Non-Deterministic Computations.. CoRR, (2023)Model Checking Abstract State Machines with Answer Set Programming., und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 443-458. Springer, (2005)PBINT, A Logic for Modelling Search Problems Involving Arithmetic., und . LPAR (Yogyakarta), Volume 6397 von Lecture Notes in Computer Science, Seite 610-624. Springer, (2010)