Výsledky vyhledávání - "Stéphan, Igor"

Report

Autor: Barichard, Vincent, Stéphan, Igor

Publikováno v: EPTCS 306, 2019, pp. 210-223

We shift the QCSP (Quantified Constraint Satisfaction Problems) framework to the QCHR (Quantified Constraint Handling Rules) framework by enabling dynamic binder and access to user-defined constraints. QCSP offers a natural framework to express PSPAC

Externí odkaz: http://arxiv.org/abs/1909.08243

Zobrazit plný text záznamu

Report

ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing

Autor: Lefèvre, Claire, Béatrix, Christopher, Stéphan, Igor, Garcia, Laurent

The natural way to use Answer Set Programming (ASP) to represent knowledge in Artificial Intelligence or to solve a combinatorial problem is to elaborate a first order logic program with default negation. In a preliminary step this program with varia

Externí odkaz: http://arxiv.org/abs/1503.07717

Zobrazit plný text záznamu

Report

Compilation for QCSP

Autor: Stéphan, Igor

We propose in this article a framework for compilation of quantified constraint satisfaction problems (QCSP). We establish the semantics of this formalism by an interpretation to a QCSP. We specify an algorithm to compile a QCSP embedded into a searc

Externí odkaz: http://arxiv.org/abs/1307.4655

Zobrazit plný text záznamu

Panorama de Constraint Answer Set Programming

Autor: Garreau, Bryan, Diéguez, Martín, Monfroy, Eric, Stéphan, Igor

Constraint Answer Set Programming (CASP) est un paradigme fusionnant Answer Set Programming (ASP) et la programmation par contraintes. CASP a gagné en popularité ces dernières années et beaucoup de techniques de résolutions ont émergé. Dans ce

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______166::690ae0f5a6fbd74a90adcaf02aaff1bb
https://hal.science/hal-03765417

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Justifications and Blocking Sets in a Rule-Based Answer Set Computation

Autor: Béatrix, Christopher, Lefèvre, Claire, Garcia, Laurent, Stéphan, Igor

Notions of justifications for logic programs under answer set semantics have been recently studied for atom-based approaches or argumentation approaches. The paper addresses the question in a rule-based answer set computation: the search algorithm do

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::196ef6bd3f54173593d0c11402fe8c94

Zobrazit plný text záznamu

Exists-ASP

Autor: Garcia, Laurent, Lefèvre, Claire, Stéphan, Igor, Garreau, Fabien

Publikováno v: 1st Ontologies and Logic Programming for Query Answering workshop (ONTOLP 2015)
1st Ontologies and Logic Programming for Query Answering workshop (ONTOLP 2015), 2015, Buenos Aires, Argentina

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::52e5470d5f7c0c75162cf6abf83a7ae7
https://hal.univ-angers.fr/hal-02709473

Zobrazit plný text záznamu

Akademický článek

A Semantic Characterization ASP Base Revision.

Autor: Garcia, Laurent, Lefèvre, Claire, Stéphan, Igor, Papini, Odile, Würbelq, Éric

Publikováno v: Journal of Artificial Intelligence Research; 2019, Vol. 66, p989-1029, 41p

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání