E-LIB Suche - Ergebnisse für: Denecker, Marc

1

Embedding justification theory in approximation fixpoint th..:

Marynissen, Simon ; Bogaerts, Bart ; Denecker, Marc
Artificial Intelligence. 331 (2024) - p. 104112 , 2024

Link: https://doi.org/10.1016/..

2

An epistemic logic for modeling decisions in the context of..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,

Marković, Đorđe ; Vandevelde, Simon ; Vanbesien, Linde.. - p. 789-793 , 2024

Link: https://dl.acm.org/doi/1..

3

Justifications and a Reconstruction of Parity Game Solving ..:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Lapauw, Ruben ; Bruynooghe, Maurice ; Denecker, Marc - p. 170-187 , 2023

Link: https://doi.org/10.1007/..

4

Interactive Model Expansion in an Observable Environment:

CARBONNELLE, PIERRE ; VENNEKENS, JOOST ; DENECKER, MARC.
Theory and Practice of Logic Programming. 23 (2023) 4 - p. 648-663 , 2023

Link: https://doi.org/10.1017/..

5

A Better Logical Semantics for Prolog:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Warren, David S. ; Denecker, Marc - p. 82-92 , 2023

Link: https://doi.org/10.1007/..

6

Towards Systematic Treatment of Partial Functions in Knowle..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Markovic, Djordje ; Bruynooghe, Maurice ; Denecker, Marc - p. 756-770 , 2023

Link: https://doi.org/10.1007/..

7

Analyzing Semantics of Aggregate Answer Set Programming Usi..:

VANBESIEN, LINDE ; BRUYNOOGHE, MAURICE ; DENECKER, MARC
Theory and Practice of Logic Programming. 22 (2022) 4 - p. 523-537 , 2022

Link: https://doi.org/10.1017/..

8

On Nested Justification Systems:

MARYNISSEN, SIMON ; HEYNINCK, JESSE ; BOGAERTS, BART.
Theory and Practice of Logic Programming. 22 (2022) 5 - p. 641-657 , 2022

Link: https://doi.org/10.1017/..

9

Improving Parity Game Solvers with Justifications:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Lapauw, Ruben ; Bruynooghe, Maurice ; Denecker, Marc - p. 449-470 , 2020

Link: https://doi.org/10.1007/..

10

Exploiting Game Theory for Analysing Justifications:

MARYNISSEN, SIMON ; BOGAERTS, BART ; DENECKER, MARC
Theory and Practice of Logic Programming. 20 (2020) 6 - p. 880-894 , 2020

Link: https://doi.org/10.1017/..

11

Knowledge representation analysis of graph mining:

van der Hallen, Matthias ; Paramonov, Sergey ; Janssens, Gerda.
Annals of Mathematics and Artificial Intelligence. 86 (2019) 1-3 - p. 21-60 , 2019

Link: https://doi.org/10.1007/..

12

Transpiling Programming Computable Functions to Answer Set ..:

, In: Functional and Constraint Logic Programming; Lecture Notes in Computer Science,

Dasseville, Ingmar ; Denecker, Marc - p. 3-17 , 2019

Link: https://doi.org/10.1007/..

13

Explaining Actual Causation in Terms of Possible Causal Pro..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Denecker, Marc ; Bogaerts, Bart ; Vennekens, Joost - p. 214-230 , 2019

Link: https://doi.org/10.1007/..

14

Safe inductions and their applications in knowledge represe..:

Bogaerts, Bart ; Vennekens, Joost ; Denecker, Marc
Artificial Intelligence. 259 (2018) - p. 167-185 , 2018

Link: https://doi.org/10.1016/..

15

Supporting Validation and Verification of State-Based Forma..

Marc Denecker

Plagge, Daniel , 2016

Link: http://nbn-resolving.de/..