Treffer 1 - 20 von 465 für Suche 'DENECKER, Marc', Suchdauer: 0,83s Treffer weiter einschränken
  1. 1
    Quantification and Aggregation over Concepts of the Ontology

    Quantification and Aggregation over Concepts of the Ontology von Carbonnelle, Pierre, Van der Hallen, Matthias, Denecker, Marc


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Embedding justification theory in approximation fixpoint theory

    Embedding justification theory in approximation fixpoint theory von Marynissen, Simon, Bogaerts, Bart, Denecker, Marc

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Embedding justification theory in approximation fixpoint

    Embedding justification theory in approximation fixpoint von Marynissen, Simon, Bogaerts, Bart, Denecker, Marc

    Veröffentlicht in ARTIFICIAL INTELLIGENCE

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Justifications and a Reconstruction of Parity Game Solving Algorithms

    Justifications and a Reconstruction of Parity Game Solving Algorithms von Lapauw, Ruben, Bruynooghe, Maurice, Denecker, Marc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs

    Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs von Denecker, Marc, Bruynooghe, Maurice, Vennekens, Joost


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Grounded fixpoints and their applications in knowledge representation

    Grounded fixpoints and their applications in knowledge representation von Bogaerts, Bart, Vennekens, Joost, Denecker, Marc

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Safe inductions and their applications in knowledge representation

    Safe inductions and their applications in knowledge representation von Bogaerts, Bart, Vennekens, Joost, Denecker, Marc

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Justifications and a Reconstruction of Parity Game Solving Algorithms

    Justifications and a Reconstruction of Parity Game Solving Algorithms von Lapauw, Ruben, Bruynooghe, Maurice, Denecker, Marc


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

    Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory von Vanbesien, Linde, Bruynooghe, Maurice, Denecker, Marc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A logic of nonmonotone inductive definitions

    A logic of nonmonotone inductive definitions von Denecker, Marc, Ternovska, Eugenia


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Towards Systematic Treatment of Partial Functions in Knowledge Representation

    Towards Systematic Treatment of Partial Functions in Knowledge Representation von Markovic, Dorde, Bruynooghe, Maurice, Denecker, Marc


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Interactive Model Expansion in an Observable Environment

    Interactive Model Expansion in an Observable Environment von CARBONNELLE, PIERRE, VENNEKENS, JOOST, DENECKER, MARC, BOGAERTS, BART


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Quantification and aggregation over concepts of the ontology

    Quantification and aggregation over concepts of the ontology von Carbonnelle, Pierre, van der Hallen, Matthias, Denecker, Marc


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Interactive Model expansion in an Observable Environment

    Interactive Model expansion in an Observable Environment von Carbonnelle, Pierre, Vennekens, Joost, Denecker, marc, Bogaerts, Bart


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Interactive Model Expansion in an Observable Environment

    Interactive Model Expansion in an Observable Environment von Carbonnelle, Pierre, Vennekens, Joost, Denecker, Marc, Bogaerts, Bart


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    On Nested Justification Systems

    On Nested Justification Systems von MARYNISSEN, SIMON, HEYNINCK, JESSE, BOGAERTS, BART, DENECKER, MARC


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Safe inductions and their applications in knowledge representation

    Safe inductions and their applications in knowledge representation von Bogaerts, Bart, Vennekens, Joost, Denecker, Marc

    Veröffentlicht in Artificial Intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

    Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory von VANBESIEN, LINDE, BRUYNOOGHE, MAURICE, DENECKER, MARC


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A Better Logical Semantics for Prolog

    A Better Logical Semantics for Prolog von Warren, David S., Denecker, Marc


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Exploiting Game Theory for Analysing Justifications

    Exploiting Game Theory for Analysing Justifications von Marynissen, Simon, Bogaerts, Bart, Denecker, Marc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: