Treffer 1 - 7 von 7 für Suche 'Mellarkod, Veena S.', Suchdauer: 0,47s Treffer weiter einschränken
  1. 1
    Integrating answer set programming and constraint logic programming

    Integrating answer set programming and constraint logic programming von Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Integrating answer set reasoning with constraint solving techniques

    Integrating answer set reasoning with constraint solving techniques von Mellarkod, Veena S., Gelfond, Michael

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Tea Times with Gelfond

    Tea Times with Gelfond von Mellarkod, Veena S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Enhancing ASP Systems for Planning with Temporal Constraints

    Enhancing ASP Systems for Planning with Temporal Constraints von Mellarkod, Veena S., Gelfond, Michael


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Integrating ASP and CLP systems: Computing answer sets from partially ground programs

    Integrating ASP and CLP systems: Computing answer sets from partially ground programs von Mellarkod, Veena S

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Optimizing the computation of stable models using merged rules

    Optimizing the computation of stable models using merged rules von Mellarkod, Veena S

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A-Prolog with CR-rules and ordered disjunction

    A-Prolog with CR-rules and ordered disjunction von Balduccini, M., Mellarkod, V.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: