( en | de | ru )

 

Disambiguierung von "Lamma, Evelina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Expressing and Verifying Business Contracts with Abductive Logic Programming.

, , , , , , und . Int. J. Electron. Commer., 12 (4): 9-38 (2008)

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.

Lamma Khodeir

Francine Lammar

Evelina Vogli

Evelina Volkmann

Evelina Koycheva

 

Weitere Publikationen von Autoren mit dem selben Namen

Modularity in Logic Programming., , und . J. Log. Program., (1994)Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming., , und . Inf., 10 (11): 335 (2019)Optimization techniques in building expert systems., , und . Microprocess. Microprogramming, 21 (1-5): 531-538 (1987)Accountable Protocols in Abductive Logic Programming., , und . ACM Trans. Internet Techn., 18 (4): 46:1-46:20 (2018)Interpreting Abduction in CLP., , , , und . APPIA-GULP-PRODE, Seite 25-35. (2003)An Optimized Implementation of a Dynamic Modular Logic Language., , und . Software - Concepts and Tools, 17 (4): 148-162 (1996)Interactive Constraint Satisfaction and its Application to Visual Object Recognition., , , , und . APPIA-GULP-PRODE, Seite 57-70. (1998)Expressing Collaborative and Competitive Coordination among Abductive., , , und . CL-2000 Workshop on Computational Logic in Multi-Agent Systems, Seite 35-43. (2000)Combining Solvers in a Meta Constraint Logic Programming Architecture., , und . FroCoS, Volume 3 von Applied Logic Series, Seite 267-283. Kluwer Academic Publishers, (1996)Learning Multiple Predicates., , und . AIMSA, Volume 1480 von Lecture Notes in Computer Science, Seite 303-316. Springer, (1998)