Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Igor Stéphan
@inproceedings{DBLP:conf/jiaf/StephanB22,
author = {Igor St{\'{e}}phan and
Vincent Barichard},
editor = {Zied Bouraoui and
Ana{\"{e}}lle Wilczynski},
title = {Une s{\'{e}}mantique op{\'{e}}rationnelle pour les {QCHR}},
booktitle = {16{\`{e}}mes Journ{\'{e}}es d'Intelligence Artificielle Fondamentale,
{JIAF} 2022, Saint-{\'{E}}tienne, France, June 30 - July 1, 2022},
pages = {110--119},
year = {2022},
url = {https://hal.archives-ouvertes.fr/hal-03781382/document},
timestamp = {Thu, 02 Nov 2023 16:47:34 +0100},
biburl = {https://dblp.org/rec/conf/jiaf/StephanB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Stephan21,
author = {Igor St{\'{e}}phan},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {First-order {ASP} programs as {CHR} programs},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {881--888},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3441963},
doi = {10.1145/3412841.3441963},
timestamp = {Mon, 03 May 2021 14:34:56 +0200},
biburl = {https://dblp.org/rec/conf/sac/Stephan21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GarciaLSPW19,
author = {Laurent Garcia and
Claire Lef{\`{e}}vre and
Igor St{\'{e}}phan and
Odile Papini and
{\'{E}}ric W{\"{u}}rbel},
title = {A Semantic Characterization {ASP} Base Revision},
journal = {J. Artif. Intell. Res.},
volume = {66},
pages = {989--1029},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11451},
doi = {10.1613/JAIR.1.11451},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GarciaLSPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/EllefiDGGLPSW19,
author = {Mohamed Ben Ellefi and
Pierre Drap and
Laurent Garcia and
Fabien Garreau and
Claire Lef{\`{e}}vre and
Odile Papini and
Igor St{\'{e}}phan and
{\'{E}}ric W{\"{u}}rbel},
editor = {Diego Calvanese and
Luca Iocchi},
title = {Query Answering With Non-Monotonic Rules: {A} Case Study of Archaeology
Qualitative Spatial Reasoning},
booktitle = {{GCAI} 2019. Proceedings of the 5th Global Conference on Artificial
Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019},
series = {EPiC Series in Computing},
volume = {65},
pages = {94--107},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/6ph5},
doi = {10.29007/6PH5},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gcai/EllefiDGGLPSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08243,
author = {Vincent Barichard and
Igor St{\'{e}}phan},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Quantified Constraint Handling Rules},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {210--223},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.25},
doi = {10.4204/EPTCS.306.25},
timestamp = {Mon, 03 Jan 2022 22:03:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BagetGGLRS18,
author = {Jean{-}Fran{\c{c}}ois Baget and
Laurent Garcia and
Fabien Garreau and
Claire Lef{\`{e}}vre and
Swan Rocher and
Igor St{\'{e}}phan},
title = {Bringing existential variables in answer set programming and bringing
non-monotony in existential rules: two sides of the same coin},
journal = {Ann. Math. Artif. Intell.},
volume = {82},
number = {1-3},
pages = {3--41},
year = {2018},
url = {https://doi.org/10.1007/s10472-017-9563-9},
doi = {10.1007/S10472-017-9563-9},
timestamp = {Fri, 01 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BagetGGLRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/GarreauGLS18,
author = {Fabien Garreau and
Laurent Garcia and
Claire Lef{\`{e}}vre and
Igor St{\'{e}}phan},
title = {Answer Set Programming et interrogation},
journal = {Rev. d'Intelligence Artif.},
volume = {32},
number = {5-6},
pages = {555--602},
year = {2018},
url = {https://doi.org/10.3166/ria.32.555-602},
doi = {10.3166/RIA.32.555-602},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/GarreauGLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Stephan18,
author = {Igor St{\'{e}}phan},
editor = {Alessandro Dal Pal{\`{u}} and
Paul Tarau and
Neda Saeedloei and
Paul Fodor},
title = {A New Proof-Theoretical Linear Semantics for {CHR}},
booktitle = {Technical Communications of the 34th International Conference on Logic
Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
series = {OASIcs},
volume = {64},
pages = {4:1--4:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.ICLP.2018.4},
doi = {10.4230/OASICS.ICLP.2018.4},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Stephan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GarciaLPSW18,
author = {Laurent Garcia and
Claire Lef{\`{e}}vre and
Odile Papini and
Igor St{\'{e}}phan and
{\'{E}}ric W{\"{u}}rbel},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Possibilistic {ASP} Base Revision by Certain Input},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1824--1830},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/252},
doi = {10.24963/IJCAI.2018/252},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/GarciaLPSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/BarichardS17,
author = {Vincent Barichard and
Igor St{\'{e}}phan},
title = {Le probl{\`{e}}me de satisfaction de contraintes quantifi{\'{e}}es
et les jeux {\`{a}} deux joueurs {\`{a}} horizon fini : le projet
QuaCode},
journal = {Rev. d'Intelligence Artif.},
volume = {31},
number = {3},
pages = {337--365},
year = {2017},
url = {https://doi.org/10.3166/ria.31.337-365},
doi = {10.3166/RIA.31.337-365},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/BarichardS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LefevreBSG17,
author = {Claire Lef{\`{e}}vre and
Christopher B{\'{e}}atrix and
Igor St{\'{e}}phan and
Laurent Garcia},
title = {ASPeRiX, a first-order forward chaining approach for answer set computing},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {3},
pages = {266--310},
year = {2017},
url = {https://doi.org/10.1017/S1471068416000569},
doi = {10.1017/S1471068416000569},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LefevreBSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/GarciaLPSW17,
author = {Laurent Garcia and
Claire Lef{\`{e}}vre and
Odile Papini and
Igor St{\'{e}}phan and
{\'{E}}ric W{\"{u}}rbel},
editor = {Seraf{\'{\i}}n Moral and
Olivier Pivert and
Daniel S{\'{a}}nchez and
Nicol{\'{a}}s Mar{\'{\i}}n},
title = {A Semantic Characterization for {ASP} Base Revision},
booktitle = {Scalable Uncertainty Management - 11th International Conference, {SUM}
2017, Granada, Spain, October 4-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10564},
pages = {334--347},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67582-4\_24},
doi = {10.1007/978-3-319-67582-4\_24},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sum/GarciaLPSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BeatrixLGS16,
author = {Christopher B{\'{e}}atrix and
Claire Lef{\`{e}}vre and
Laurent Garcia and
Igor St{\'{e}}phan},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Justifications and Blocking Sets in a Rule-Based Answer Set Computation},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {6:1--6:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.6},
doi = {10.4230/OASICS.ICLP.2016.6},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BeatrixLGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GarreauGLS15,
author = {Fabien Garreau and
Laurent Garcia and
Claire Lef{\`{e}}vre and
Igor St{\'{e}}phan},
editor = {Odile Papini and
Salem Benferhat and
Laurent Garcia and
Marie{-}Laure Mugnier and
Eduardo L. Ferm{\'{e}} and
Thomas Meyer and
Renata Wassermann and
Torsten Hahmann and
Ken Baclawski and
Adila Krisnadhi and
Pavel Klinov and
Stefano Borgo and
Oliver Kutz and
Daniele Porello},
title = {{\(\exists\)}-ASP},
booktitle = {Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine
Winter of Ontology co-located with the 24th International Joint Conference
on Artificial Intelligence {(IJCAI} 2015), Buenos Aires, Argentina,
July 25-27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1517},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1517/JOWO-15\_ontolp\_paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/GarreauGLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LefevreBSG15,
author = {Claire Lef{\`{e}}vre and
Christopher B{\'{e}}atrix and
Igor St{\'{e}}phan and
Laurent Garcia},
title = {ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing},
journal = {CoRR},
volume = {abs/1503.07717},
year = {2015},
url = {http://arxiv.org/abs/1503.07717},
eprinttype = {arXiv},
eprint = {1503.07717},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LefevreBSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Stephan14,
author = {Igor St{\'{e}}phan},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {Functional Semantics for Non-prenex {QBF}},
booktitle = {{ICAART} 2014 - Proceedings of the 6th International Conference on
Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire
Valley, France, 6-8 March, 2014},
pages = {358--365},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004760303580365},
doi = {10.5220/0004760303580365},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Stephan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/VincentS14,
author = {Vincent Barichard and
Igor St{\'{e}}phan},
title = {The Cut Tool for {QCSP}},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {883--890},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.135},
doi = {10.1109/ICTAI.2014.135},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/VincentS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Stephan13,
author = {Igor St{\'{e}}phan},
title = {Compilation for {QCSP}},
journal = {CoRR},
volume = {abs/1307.4655},
year = {2013},
url = {http://arxiv.org/abs/1307.4655},
eprinttype = {arXiv},
eprint = {1307.4655},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Stephan13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/DuvalGLS12,
author = {B{\'{e}}atrice Duval and
Laurent Garcia and
Claire Lef{\`{e}}vre and
Igor St{\'{e}}phan},
title = {Les travaux de Pascal Nicolas. Interrogation, induction et d{\'{e}}duction
automatiques pour le raisonnement non monotone... et plus encore},
journal = {Rev. d'Intelligence Artif.},
volume = {26},
number = {1-2},
pages = {11--38},
year = {2012},
url = {https://doi.org/10.3166/ria.26.11-38},
doi = {10.3166/RIA.26.11-38},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/DuvalGLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/Stephan12,
author = {Igor St{\'{e}}phan},
title = {Un panorama sur les proc{\'{e}}dures de d{\'{e}}cision s{\'{e}}quentielles
pour le probl{\`{e}}me de validit{\'{e}} des formules bool{\'{e}}ennes
quantifi{\'{e}}es},
journal = {Rev. d'Intelligence Artif.},
volume = {26},
number = {1-2},
pages = {163--196},
year = {2012},
url = {https://doi.org/10.3166/ria.26.163-196},
doi = {10.3166/RIA.26.163-196},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/Stephan12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/MotaNS10,
author = {Benoit Da Mota and
Pascal Nicolas and
Igor St{\'{e}}phan},
editor = {Waleed W. Smari and
John P. McIntire},
title = {A new parallel architecture for {QBF} tools},
booktitle = {Proceedings of the 2010 International Conference on High Performance
Computing {\&} Simulation, {HPCS} 2010, June 28 - July 2, 2010,
Caen, France},
pages = {324--330},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/HPCS.2010.5547114},
doi = {10.1109/HPCS.2010.5547114},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/MotaNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/StephanMN09,
author = {Igor St{\'{e}}phan and
Benoit Da Mota and
Pascal Nicolas},
title = {From (Quantified) Boolean Formulae to Answer Set Programming},
journal = {J. Log. Comput.},
volume = {19},
number = {4},
pages = {565--590},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn041},
doi = {10.1093/LOGCOM/EXN041},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/StephanMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/StephanM09,
author = {Igor St{\'{e}}phan and
Benoit Da Mota},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A Unified Framework for Certificate and Compilation for {QBF}},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {210--223},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_15},
doi = {10.1007/978-3-540-92701-3\_15},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/StephanM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NicolasGSL06,
author = {Pascal Nicolas and
Laurent Garcia and
Igor St{\'{e}}phan and
Claire Lef{\`{e}}vre},
title = {Possibilistic uncertainty handling for answer set programming},
journal = {Ann. Math. Artif. Intell.},
volume = {47},
number = {1-2},
pages = {139--181},
year = {2006},
url = {https://doi.org/10.1007/s10472-006-9029-y},
doi = {10.1007/S10472-006-9029-Y},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/NicolasGSL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Stephan06,
author = {Igor St{\'{e}}phan},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Boolean Propagation Based on Literals for Quantified Boolean Formulae},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {452--456},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Stephan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/NicolasGS05,
author = {Pascal Nicolas and
Laurent Garcia and
Igor St{\'{e}}phan},
editor = {Llu{\'{\i}}s Godo},
title = {A Possibilistic Inconsistency Handling in Answer Set Programming},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3571},
pages = {402--414},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11518655\_35},
doi = {10.1007/11518655\_35},
timestamp = {Fri, 05 Jun 2020 11:50:47 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/NicolasGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NicolasGS05,
author = {Pascal Nicolas and
Laurent Garcia and
Igor St{\'{e}}phan},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Possibilistic Stable Models},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {248--253},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0333.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NicolasGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NicolasGS05,
author = {Pascal Nicolas and
Laurent Garcia and
Igor St{\'{e}}phan},
editor = {Gerhard Brewka and
Ilkka Niemel{\"{a}} and
Torsten Schaub and
Miroslaw Truszczynski},
title = {Possibilistic Stable Models},
booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29.
April 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05171},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/264},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NicolasGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/NicolasGS04,
author = {Pascal Nicolas and
Laurent Garcia and
Igor St{\'{e}}phan},
editor = {Fr{\'{e}}d{\'{e}}ric Mesnard},
title = {Programmation par ensembles-r{\'{e}}ponses possibilistes},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2004, 21, 22 et
23 Juin 2004, Angers, France},
publisher = {Hermes},
year = {2004},
timestamp = {Mon, 01 Aug 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/NicolasGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/NicolasGS04,
author = {Pascal Nicolas and
Laurent Garcia and
Igor St{\'{e}}phan},
editor = {James P. Delgrande and
Torsten Schaub},
title = {A possibilistic approach to restore consistency in answer set programming},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {306--312},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper40.pdf},
timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
biburl = {https://dblp.org/rec/conf/nmr/NicolasGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/SaubionS02,
author = {Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
title = {A Unified Framework to Compute over Tree Synchronized Grammars and
Primal Grammars},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {5},
number = {1},
pages = {227--262},
year = {2002},
url = {https://doi.org/10.46298/dmtcs.300},
doi = {10.46298/DMTCS.300},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dmtcs/SaubionS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/NicolasSS02,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Answer Set Programming by Ant Colony Optimization},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {481--492},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_40},
doi = {10.1007/3-540-45757-7\_40},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/NicolasSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/NicolasSS02,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
editor = {Michel Rueher},
title = {Optimisation par colonies de fourmis pour la programmation logique
{\'{e}}tendue},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2002, 27-30 Mai
2002, Universit{\'{e}} de Nice Sophia-Antipolis, France},
pages = {57},
year = {2002},
timestamp = {Mon, 24 May 2004 15:53:56 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/NicolasSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/NicolasSS01,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
title = {Heuristics for a Default Logic Reasoning System},
journal = {Int. J. Artif. Intell. Tools},
volume = {10},
number = {4},
pages = {503--523},
year = {2001},
url = {https://doi.org/10.1142/S0218213001000635},
doi = {10.1142/S0218213001000635},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/NicolasSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/NicolasSS01,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Genes and Ants for Default Logic},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/27.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/NicolasSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NicolasSS01,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {New Generation Systems for Non-monotonic Reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {309--321},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_23},
doi = {10.1007/3-540-45402-0\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/NicolasSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NicolasSS00,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
editor = {Werner Horn},
title = {{GADEL:} a Genetic Algorithm to Compute Default Logic Extensions},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {484--490},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/NicolasSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/NicolasSS00,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
title = {Combining heuristics for default logic reasoning systems},
booktitle = {12th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2000), 13-15 November 2000, Vancouver, BC, Canada},
pages = {393--400},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TAI.2000.889899},
doi = {10.1109/TAI.2000.889899},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/NicolasSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0002015,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
title = {Genetic Algorithms for Extension Search in Default Logic},
journal = {CoRR},
volume = {cs.AI/0002015},
year = {2000},
url = {https://arxiv.org/abs/cs/0002015},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0002015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003018,
author = {Igor St{\'{e}}phan and
Fr{\'{e}}d{\'{e}}ric Saubion and
Pascal Nicolas},
title = {Description of {GADEL}},
journal = {CoRR},
volume = {cs.AI/0003018},
year = {2000},
url = {https://arxiv.org/abs/cs/0003018},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/SaubionS99,
author = {Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
editor = {Fran{\c{c}}ois Fages},
title = {Implanter des langages d'arbres en Prolog},
booktitle = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
pages = {89--106},
publisher = {Hermes},
year = {1999},
timestamp = {Tue, 30 Mar 2004 12:53:17 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/SaubionS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SaubionS99,
author = {Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
editor = {Paliath Narendran and
Micha{\"{e}}l Rusinowitch},
title = {On Implementation of Tree Synchronized Languages},
booktitle = {Rewriting Techniques and Applications, 10th International Conference,
RTA-99, Trento, Italy, July 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1631},
pages = {382--396},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48685-2\_30},
doi = {10.1007/3-540-48685-2\_30},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/SaubionS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Stephan98,
author = {Igor St{\'{e}}phan},
editor = {Fausto Giunchiglia},
title = {A New Abstract Logic Programming Language and Its Quantifier Elimination
Method for Disjunctive Logic Programming},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {403--416},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057462},
doi = {10.1007/BFB0057462},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/Stephan98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Stephan94,
author = {Igor St{\'{e}}phan},
editor = {Marc{-}Michel Corsini},
title = {Du ou dans les arbres},
booktitle = {JFPLC'94, III{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et Programmation par Contraintes, 1994, Bordeaux, France},
pages = {93--108},
year = {1994},
timestamp = {Mon, 07 Jun 2004 11:16:21 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Stephan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Stephan92,
author = {Igor St{\'{e}}phan},
editor = {Jean{-}Paul Delahaye and
Philippe Devienne and
Philippe Mathieu and
Pascal Yim},
title = {L'inheritance near-Horn Prolog en Prolog},
booktitle = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
de Programmation Logique, 25-27 Mai 1992, Lille, France},
pages = {403--419},
year = {1992},
timestamp = {Fri, 25 Jun 2004 15:29:52 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Stephan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
