Treffer 1 - 20 von 277 für Suche 'PFEIFER, Gerald', Suchdauer: 1,35s Treffer weiter einschränken
  1. 1
    Semantics and complexity of recursive aggregates in answer set programming

    Semantics and complexity of recursive aggregates in answer set programming von Faber, Wolfgang, Pfeifer, Gerald, Leone, Nicola

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The DLV system for knowledge representation and reasoning

    The DLV system for knowledge representation and reasoning von Leone, Nicola, Pfeifer, Gerald, Faber, Wolfgang, Eiter, Thomas, Gottlob, Georg, Perri, Simona, Scarcello, Francesco


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR' 99 El Paso, Texas, USA, December 2-4, 1999 Proceedings

    Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR' 99 El Paso, Texas, USA, December 2-4, 1999 Proceedings von Goos, G, Hartmanis, J, van Leeuwen, J


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

    Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity von Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Design and implementation of aggregate functions in the DLV system

    Design and implementation of aggregate functions in the DLV system von FABER, WOLFGANG, PFEIFER, GERALD, LEONE, NICOLA, DELL'ARMI, TINA, IELPA, GIUSEPPE


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    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:
  7. 7
    Improving the model generation/checking interplay to enhance the evaluation of disjunctive programs

    Improving the model generation/checking interplay to enhance the evaluation of disjunctive programs von PFEIFER, Gerald


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Semantics and complexity of recursive aggregates in answer set programming: John McCarthy's legacy

    Semantics and complexity of recursive aggregates in answer set programming: John McCarthy's legacy von FABER, Wolfgang, PFEIFER, Gerald, LEONE, Nicola

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A logic programming approach to knowledge-state planning: Semantics and complexity

    A logic programming approach to knowledge-state planning: Semantics and complexity von Eiter, Thomas, Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald, Polleres, Axel


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Enhancing disjunctive logic programming systems by SAT checkers

    Enhancing disjunctive logic programming systems by SAT checkers von Koch, Christoph, Leone, Nicola, Pfeifer, Gerald

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The Disjunctive Datalog System DLV

    The Disjunctive Datalog System DLV von Alviano, Mario, Faber, Wolfgang, Leone, Nicola, Perri, Simona, Pfeifer, Gerald, Terracina, Giorgio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Answer Set Planning Under Action Costs

    Answer Set Planning Under Action Costs von Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    On look-ahead heuristics in disjunctive logic programming

    On look-ahead heuristics in disjunctive logic programming von Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald, Ricca, Francesco


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    The DLV System

    The DLV System von Leone, Nicola, Pfeifer, Gerald, Faber, Wolfgang, Calimeri, Francesco, Dell’Armi, Tina, Eiter, Thomas, Gottlob, Georg, Ianni, Giovambattista, Ielpa, Giuseppe, Koch, Christoph, Perri, Simona, Polleres, Axel


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Computing preferred answer sets by meta-interpretation in Answer Set Programming

    Computing preferred answer sets by meta-interpretation in Answer Set Programming von EITER, THOMAS, FABER, WOLFGANG, LEONE, NICOLA, PFEIFER, GERALD


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    METHOD FOR PRODUCING A DECORATIVE PROFILE BODY, IN PARTICULAR OF AN EDGE STRIP

    METHOD FOR PRODUCING A DECORATIVE PROFILE BODY, IN PARTICULAR OF AN EDGE STRIP von Pfeifer, Gerald, Menke, Oliver, Dohe, Dieter, Schunck, Stephan, Gornik, Christian, Ottow, Martin, Petrakis, Jordanis

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  17. 17
    METHOD FOR PRODUCING A DECORATIVE PROFILE BODY, IN PARTICULAR OF AN EDGE STRIP

    METHOD FOR PRODUCING A DECORATIVE PROFILE BODY, IN PARTICULAR OF AN EDGE STRIP von Pfeifer, Gerald, Menke, Oliver, Dohe, Dieter, Schunck, Stephan, Gornik, Christian, Ottow, Martin, Petrakis, Jordanis

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    The diagnosis frontend of the dlv system

    The diagnosis frontend of the dlv system von Eiter, T, Faber, W, Leone, N, Pfeifer, G

    Veröffentlicht in Ai communications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Answer Set Planning under Action Costs

    Answer Set Planning under Action Costs von Eiter, Thomas, Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald, Polleres, Axel


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Planning under Incomplete Knowledge

    Planning under Incomplete Knowledge von Eiter, Thomas, Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald, Polleres, Axel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: