Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Chatziagapis, Giannos"'
Autor:
Bogaerts, Bart, Charalambidis, Angelos, Chatziagapis, Giannos, Kostopoulos, Babis, Pollaci, Samuele, Rondogiannis, Panos
We propose a stable model semantics for higher-order logic programs. Our semantics is developed using Approximation Fixpoint Theory (AFT), a powerful formalism that has successfully been used to give meaning to diverse non-monotonic formalisms. The p
Externí odkaz:
http://arxiv.org/abs/2408.10563
We introduce the notion of a lexicographic lattice structure, namely a lattice whose elements can be viewed as stratified entities and whose ordering relation compares elements in a lexicographic manner with respect to their strata. These lattices ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2127::5f8a5b13ef713c797a1d65cd098dfded
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3188384
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3188384