( en | de | ru )

 

Disambiguation of "Lamma, Evelina"

Author of the publication

copydeleteadd this publication to your clipboard
Computing 3-valued Stable Models by using the ATMS.

, and . AI*IA, volume 728 of Lecture Notes in Computer Science, page 23-34. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lamma Khodeir

Francine Lammar

Evelina Vogli

Evelina Volkmann

Evelina Koycheva

 

Other publications of authors with the same name

An Algorithm for Learning Abductive Rules., , , and . APPIA-GULP-PRODE, page 295-306. (1997)Mapping of Deontic Operators to Abductive Expectations., , , , , and . NORMAS, page 126-136. (2005)A Rationalisation of the ATMS in Terms of Partial Evaluation., and . LOPSTR, page 118-131. Springer, (1992)Multi-level Copying For Unification In Parallel Architectures., , , and . PDP, page 518-525. IEEE, (1994)Coordinating the safe execution of tasks in a constrained multi-agent system., , , and . AAMAS, page 940-941. ACM, (2002)Abductive Reasoning in a Multi-Theory Framework., , , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 137-146. Springer, (1991)Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture., , , and . ELP, volume 798 of Lecture Notes in Computer Science, page 62-76. Springer, (1993)Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach., , , , and . Theory Pract. Log. Program., 19 (3): 449-476 (2019)Fun&Co: identification of key functional differences in transcriptomes., , , , , , , , and . Bioinform., 23 (20): 2725-2732 (2007)Applying Inductive Logic Programming to Process Mining., , , and . ILP, volume 4894 of Lecture Notes in Computer Science, page 132-146. Springer, (2007)