A methodology for proving termination of general logic programs

von Marchiori, Elena
Veröffentlicht 1995

A logic for variable aliasing in logic programs

von Marchiori, Elena
Veröffentlicht 1994

Some uses of constructive negation for classical problems in non-monotonic reasoning

von Marchiori, Elena
Veröffentlicht 1994

Design of abstract domains using first-order logic

von Marchiori, Elena
Veröffentlicht 1996

Proving run-time properties of general programs w.r.t constructive negation

von Marchiori, Elena
Veröffentlicht 1992

Proving deadlock freedom of logic programs with dynamic scheduling

von Marchiori, Elena
Veröffentlicht 1996

A predicate transformer for unification

von Colussi, Livio
Veröffentlicht 1992

A comparison of pre-visit beliefs and projected visual images of destinations

von Önder, Irem
Veröffentlicht in Tourism management perspectives (2017)

Proving termination of logic programs with delay declarations

von Marchiori, Elena
Veröffentlicht 1996

Reasoning about Prolog programms : from modes through types to assertions

von Abt, Krzysztof R.
Veröffentlicht 1993

Drivers and benefits of analysing DMOs' eWOM activities

von Marchiori, Elena
Veröffentlicht in Information and communication technologies in tourism 2013 (2013)

A comparison of social media adoption and use in different countries : the case of the United States and Switzerland

von Milwood, Pauline
Veröffentlicht in Journal of travel and tourism marketing (2013)

Multi-view Analysis of Unregistered Medical Images Using Cross-View Transformers

von Tulder, Gijs van
Veröffentlicht in MICCAI (24. : 2021 : Online) Medical image computing and computer assisted intervention - MICCAI 2021 ; Part 3 (2021)

A declarative approach for first-order built-in's of Prolog

von Apt, Krzysztof R.
Veröffentlicht 1992

What did they say about us? : message cues and destination reputation in social media

von Marchiori, Elena
Veröffentlicht in Information and communication technologies in tourism 2013 (2013)

A theory of first-order built-in's of PROLOG

von Apt, Krzysztof R.
Veröffentlicht 1992

Evolutionary computation, machine learning and data mining in bioinformatics : 6th european conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008 ; proceedings

Veröffentlicht 2008

Online communication in Spanish destination marketing organizations : the view of practitioners

von Fernández-Cavia, José
Veröffentlicht in Journal of vacation marketing (2017)

Evolutionary computation, machine learning and data mining in bioinformatics : 5th European conference, EvoBIO 2007, Valencia, Spain, April 11 - 13, 2007 ; proceedings

Veröffentlicht 2007

Pattern recognition in bioinformatics : 9th IAPR international conference, PRIB 2014, Stockholm, Sweden, August 21 - 23, 2014 ; proceedings

Veröffentlicht 2014