Treffer 1 - 6 von 6 für Suche 'MATEIS, C', Suchdauer: 0,81s Treffer weiter einschränken
  1. 1
    Quantitative disjunctive logic programming: semantics and computation

    Quantitative disjunctive logic programming: semantics and computation von Mateis, Cristinel

    Veröffentlicht in Ai communications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Extending Disjunctive Logic Programming by T-norms

    Extending Disjunctive Logic Programming by T-norms von Mateis, Cristinel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A deductive system for non-monotonic reasoning

    A deductive system for non-monotonic reasoning von EITER, T, LEONEA, N, MATEIS, C, PFEIFER, G, SCARCELLO, F


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Locating Bugs in Java Programs — First Results of the Java Diagnosis Experiments Project

    Locating Bugs in Java Programs — First Results of the Java Diagnosis Experiments Project von Mateis, Cristinel, Stumptner, Markus, Wotawa, Franz


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Progress report on the disjunctive deductive database system dlv

    Progress report on the disjunctive deductive database system dlv von Eiter, Thomas, Leone, Nicola, Mateis, Cristinel, Pfeifer, Gerald, Scarcello, Francesco


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    The complexity of weak unification of bounded simple set terms

    The complexity of weak unification of bounded simple set terms von Greco, Sergio, Mateis, Cristinel, Spadafora, Eugenio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: