Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "fixed point semantics"
download as .bib file
@phdthesis{DBLP:phd/hal/De22,
author = {Abhishek De},
title = {Linear logic with the least and greatest fixed points : truth semantics,
complexity and a parallel syntax. (La logique lin{\'{e}}aire
avec les plus petits et les plus grands points fixes : la s{\'{e}}mantique
de v{\'{e}}rit{\'{e}}, la complexit{\'{e}}, et une
syntaxe parall{\`{e}}le)},
school = {Paris Cit{\'{e}} University, France},
year = {2022},
url = {https://tel.archives-ouvertes.fr/tel-04274800},
timestamp = {Sun, 03 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/hal/De22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/0001JS22,
author = {Abhishek De and
Farzad Jafarrahmani and
Alexis Saurin},
editor = {Anuj Dawar and
Venkatesan Guruswami},
title = {Phase Semantics for Linear Logic with Least and Greatest Fixed Points},
booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022,
{IIT} Madras, Chennai, India},
series = {LIPIcs},
volume = {250},
pages = {35:1--35:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.35},
doi = {10.4230/LIPICS.FSTTCS.2022.35},
timestamp = {Tue, 04 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/0001JS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/Euzenat21,
author = {J{\'{e}}r{\^{o}}me Euzenat},
editor = {Agn{\`{e}}s Braud and
Aleksey Buzmakov and
Tom Hanika and
Florence Le Ber},
title = {Fixed-Point Semantics for Barebone Relational Concept Analysis},
booktitle = {Formal Concept Analysis - 16th International Conference, {ICFCA} 2021,
Strasbourg, France, June 29 - July 2, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12733},
pages = {20--37},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77867-5\_2},
doi = {10.1007/978-3-030-77867-5\_2},
timestamp = {Thu, 10 Aug 2023 08:30:07 +0200},
biburl = {https://dblp.org/rec/conf/icfca/Euzenat21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Antic20,
author = {Christian Antic},
title = {Fixed point semantics for stream reasoning},
journal = {Artif. Intell.},
volume = {288},
pages = {103370},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103370},
doi = {10.1016/J.ARTINT.2020.103370},
timestamp = {Fri, 09 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Antic20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-08384,
author = {Christian Antic},
title = {Fixed Point Semantics for Stream Reasoning},
journal = {CoRR},
volume = {abs/2005.08384},
year = {2020},
url = {https://arxiv.org/abs/2005.08384},
eprinttype = {arXiv},
eprint = {2005.08384},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-08384.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05593,
author = {Thomas Ehrhard and
Farzad Jafar{-}Rahmani},
title = {On the denotational semantics of Linear Logic with least and greatest
fixed points of formulas},
journal = {CoRR},
volume = {abs/1906.05593},
year = {2019},
url = {http://arxiv.org/abs/1906.05593},
eprinttype = {arXiv},
eprint = {1906.05593},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-05593.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-07910,
author = {Katrin M. Dannert and
Erich Gr{\"{a}}del and
Matthias Naaf and
Val Tannen},
title = {Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point
Logic},
journal = {CoRR},
volume = {abs/1910.07910},
year = {2019},
url = {http://arxiv.org/abs/1910.07910},
eprinttype = {arXiv},
eprint = {1910.07910},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-07910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CharalambidisRS17,
author = {Angelos Charalambidis and
Panos Rondogiannis and
Ioanna Symeonidou},
title = {Equivalence of two fixed-point semantics for definitional higher-order
logic programs},
journal = {Theor. Comput. Sci.},
volume = {668},
pages = {27--42},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.01.005},
doi = {10.1016/J.TCS.2017.01.005},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CharalambidisRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Laird16,
author = {James Laird},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Fixed Points In Quantitative Semantics},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {347--356},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934569},
doi = {10.1145/2933575.2934569},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Laird16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AguadoMHF15,
author = {Joaqu{\'{\i}}n Aguado and
Michael Mendler and
Reinhard von Hanxleden and
Insa Fuhrmann},
title = {Denotational fixed-point semantics for constructive scheduling of
synchronous concurrency},
journal = {Acta Informatica},
volume = {52},
number = {4-5},
pages = {393--442},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0238-x},
doi = {10.1007/S00236-015-0238-X},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AguadoMHF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CharalambidisRS15,
author = {Angelos Charalambidis and
Panos Rondogiannis and
Ioanna Symeonidou},
editor = {Ralph Matthes and
Matteo Mio},
title = {Equivalence of two Fixed-Point Semantics for Definitional Higher-Order
Logic Programs},
booktitle = {Proceedings Tenth International Workshop on Fixed Points in Computer
Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015},
series = {{EPTCS}},
volume = {191},
pages = {18--32},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.191.4},
doi = {10.4204/EPTCS.191.4},
timestamp = {Sun, 02 Oct 2022 15:31:45 +0200},
biburl = {https://dblp.org/rec/journals/corr/CharalambidisRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kwon15b,
author = {Keehang Kwon},
title = {Combining Logic Programming with Fixed-Point Definitions with Game
Semantics},
journal = {CoRR},
volume = {abs/1507.07228},
year = {2015},
url = {http://arxiv.org/abs/1507.07228},
eprinttype = {arXiv},
eprint = {1507.07228},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kwon15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgwardtGP14,
author = {Stefan Borgwardt and
Jos{\'{e}} A. Leyva Galano and
Rafael Pe{\~{n}}aloza},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {G{\"{o}}del FL{\_}0 with Greatest Fixed-Point Semantics},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {71--82},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_3.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/BorgwardtGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BorgwardtGP14,
author = {Stefan Borgwardt and
Jos{\'{e}} A. Leyva Galano and
Rafael Pe{\~{n}}aloza},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {The Fuzzy Description Logic {\textdollar}{\textbackslash}mathsf\{G\}{\textbackslash}text\{-\}\{{\textbackslash}mathcal\{F{\textbackslash}!L\}{\_}0\}
{\textdollar} with Greatest Fixed-Point Semantics},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {62--76},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_5},
doi = {10.1007/978-3-319-11558-0\_5},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BorgwardtGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoILS12,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Paul Blain Levy and
Joshua Sack},
title = {Characteristic formulae for fixed-point semantics: a general framework},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {2},
pages = {125--173},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000375},
doi = {10.1017/S0960129511000375},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoILS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Rondogiannis10,
author = {Panos Rondogiannis},
editor = {Luigi Santocanale},
title = {Fixed-Point Semantics for Non-Monotonic Formalisms},
booktitle = {7th Workshop on Fixed Points in Computer Science, {FICS} 2010, Brno,
Czech Republic, August 21-22, 2010},
pages = {17},
publisher = {Laboratoire d'Informatique Fondamentale de Marseille},
year = {2010},
url = {https://hal.archives-ouvertes.fr/hal-00512377/document\#page=18},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fics/Rondogiannis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Stamate09,
author = {Daniel Stamate},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {A Bilattice Based Fixed Point Semantics for Integrating Imperfect
Information},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {93--99},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib12.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Stamate09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Aranda-LopezNSS09,
author = {Gabriel Aranda{-}L{\'{o}}pez and
Susana Nieva and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Implementing a fixed point semantics for a constraint deductive database
based on hereditary harrop formulas},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {117--128},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599426},
doi = {10.1145/1599410.1599426},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Aranda-LopezNSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-1862,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Joshua Sack},
editor = {Sibylle B. Fr{\"{o}}schle and
Daniele Gorla},
title = {Characteristic Formulae for Fixed-Point Semantics: {A} General Framework},
booktitle = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
{EXPRESS} 2009, Bologna, Italy, 5th September 2009},
series = {{EPTCS}},
volume = {8},
pages = {1--15},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.8.1},
doi = {10.4204/EPTCS.8.1},
timestamp = {Thu, 14 Oct 2021 09:15:37 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-1862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/Rodriguez-Lopez08,
author = {Jes{\'{u}}s Rodr{\'{\i}}guez{-}L{\'{o}}pez and
Salvador Romaguera and
{\'{O}}scar Valero},
title = {Denotational semantics for programming languages, balanced quasi-metrics
and fixed points},
journal = {Int. J. Comput. Math.},
volume = {85},
number = {3{\&}4},
pages = {623--630},
year = {2008},
url = {https://doi.org/10.1080/00207160701210653},
doi = {10.1080/00207160701210653},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/Rodriguez-Lopez08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BertotK08,
author = {Yves Bertot and
Vladimir Komendantsky},
editor = {Sergio Antoy and
Elvira Albert},
title = {Fixed point semantics and partial recursion in Coq},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {89--96},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389461},
doi = {10.1145/1389449.1389461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BertotK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Fisman07,
author = {Dana Fisman},
editor = {Karen Yorav},
title = {On the Characterization of Until as a Fixed Point Under Clocked Semantics},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {19--33},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_6},
doi = {10.1007/978-3-540-77966-7\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Fisman07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Billington05a,
author = {David Billington},
editor = {Shichao Zhang and
Ray Jarvis},
title = {A Fixed-Point Semantics for Plausible Logic},
booktitle = {{AI} 2005: Advances in Artificial Intelligence, 18th Australian Joint
Conference on Artificial Intelligence, Sydney, Australia, December
5-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3809},
pages = {812--815},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589990\_86},
doi = {10.1007/11589990\_86},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/Billington05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/Tchier05,
author = {Fairouz Tchier},
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Demonic Fixed Point of Semantics Function},
booktitle = {Proceedings of the International Conference on Software Engineering
Research and Practice, {SERP} 2005, Las Vegas, Nevada, USA, June 27-29,
2005, Volume 2},
pages = {670--680},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Tue, 31 Jan 2006 11:58:14 +0100},
biburl = {https://dblp.org/rec/conf/serp/Tchier05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Garcia-DiazN04,
author = {Miguel Garc{\'{\i}}a{-}D{\'{\i}}az and
Susana Nieva},
title = {Formalizing Two Fixed Point Semantics for {HH(C)}},
journal = {J. Funct. Log. Program.},
volume = {2004},
year = {2004},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/S04-01/A2004-04/JFLP-A2004-04.pdf},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Garcia-DiazN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Glesner05,
author = {Sabine Glesner},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {A Proof Calculus for Natural Semantics Based on Greatest Fixed Point
Semantics},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {73--93},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.02.011},
doi = {10.1016/J.ENTCS.2005.02.011},
timestamp = {Tue, 13 Dec 2022 10:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Glesner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CuiS02,
author = {Baoqiu Cui and
Terrance Swift},
title = {Preference Logic Grammars: Fixed point semantics and application to
data standardization},
journal = {Artif. Intell.},
volume = {138},
number = {1-2},
pages = {117--147},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(02)00185-6},
doi = {10.1016/S0004-3702(02)00185-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/CuiS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KatisSW02,
author = {Piergiulio Katis and
Nicoletta Sabadini and
Robert F. C. Walters},
title = {Feedback, trace and fixed-point semantics},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {36},
number = {2},
pages = {181--194},
year = {2002},
url = {https://doi.org/10.1051/ita:2002009},
doi = {10.1051/ITA:2002009},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KatisSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VanhoofTB02,
author = {Wim Vanhoof and
Remko Tron{\c{c}}on and
Maurice Bruynooghe},
editor = {Michael Leuschel},
title = {A Fixed Point Semantics for Logic Programs Extended with Cuts},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {238--257},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_18},
doi = {10.1007/3-540-45013-0\_18},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/VanhoofTB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Heinze02,
author = {Roland Heinze},
editor = {Sharon Flynn and
Ted Hurley and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Niall Madden and
Michael McGettrick and
Michel P. Schellekens and
Anthony Karel Seda},
title = {Topological investigations of the operators of the well-founded, and
alternating fixed-point semantics of normal logic programs},
booktitle = {Second Irish Conference on the Mathematical Foundations of Computer
Science and Information Technology, {MFCSIT} 2002, Galway, Ireland,
July 18-19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {74},
pages = {51--68},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80765-5},
doi = {10.1016/S1571-0661(04)80765-5},
timestamp = {Wed, 07 Dec 2022 08:54:15 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Heinze02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kreutzer01,
author = {Stephan Kreutzer},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Operational Semantics for Fixed-Point Logics on Constraint Databases},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {470--484},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_32},
doi = {10.1007/3-540-45653-8\_32},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Kreutzer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bakker00,
author = {J. W. de Bakker},
editor = {Ted Hurley and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Michel P. Schellekens and
Anthony Karel Seda},
title = {Fixed Points in Metric Semantics},
booktitle = {First Irish Conference on the Mathematical Foundations of Computer
Science and Information Technology, {MFCSIT} 2000, Cork, Ireland,
July 20-21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {40},
pages = {70--71},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80037-4},
doi = {10.1016/S1571-0661(05)80037-4},
timestamp = {Wed, 30 Nov 2022 10:58:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bakker00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Gottlob95,
author = {Georg Gottlob},
title = {The Complexity of Default Reasoning under the Stationary Fixed Point
Semantics},
journal = {Inf. Comput.},
volume = {121},
number = {1},
pages = {81--92},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1124},
doi = {10.1006/INCO.1995.1124},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Gottlob95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Brookes93,
author = {Stephen D. Brookes},
title = {Using Fixed-Point Semantics to Prove Retiming Lemmas},
journal = {Formal Methods Syst. Des.},
volume = {2},
number = {1},
pages = {73--91},
year = {1993},
url = {https://doi.org/10.1007/BF01383944},
doi = {10.1007/BF01383944},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Brookes93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CayrolPS93,
author = {Michel Cayrol and
Olivier Palmade and
Thomas Schiex},
title = {A Fixed Point Semantics for the {ATMS}},
journal = {J. Log. Comput.},
volume = {3},
number = {2},
pages = {115--130},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.2.115},
doi = {10.1093/LOGCOM/3.2.115},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CayrolPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Sassone93,
author = {Vladimiro Sassone},
editor = {Domenico Sacc{\`{a}}},
title = {A Note on Logic Programming Fixed-Point Semantics},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {649--662},
year = {1993},
timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/Sassone93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BonnierNN91,
author = {Staffan Bonnier and
Ulf Nilsson and
Torbj{\"{o}}rn N{\"{a}}slund},
title = {A Simple Fixed Point Characterization of Three-Valued Stable Model
Semantics},
journal = {Inf. Process. Lett.},
volume = {40},
number = {2},
pages = {73--78},
year = {1991},
url = {https://doi.org/10.1016/0020-0190(91)90012-7},
doi = {10.1016/0020-0190(91)90012-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BonnierNN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KearneyS91,
author = {Peter Kearney and
John Staples},
title = {An Extensional Fixed-Point Semantics for Nondeterministic Data Flow},
journal = {Theor. Comput. Sci.},
volume = {91},
number = {2},
pages = {129--179},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90082-D},
doi = {10.1016/0304-3975(91)90082-D},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KearneyS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mulry90,
author = {Philip S. Mulry},
title = {Categorical Fixed Point Semantics},
journal = {Theor. Comput. Sci.},
volume = {70},
number = {1},
pages = {85--97},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90154-A},
doi = {10.1016/0304-3975(90)90154-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mulry90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/EmeleZ90,
author = {Martin C. Emele and
R{\'{e}}mi Zajac},
editor = {St{\'{e}}phane Kaplan and
Mitsuhiro Okada},
title = {A Fixed-Point Semantics for Feature Type Systems},
booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {516},
pages = {383--388},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54317-1\_106},
doi = {10.1007/3-540-54317-1\_106},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/EmeleZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/LinS90,
author = {Fangzhen Lin and
Yoav Shoham},
editor = {Rohit Parikh},
title = {Epistemic Semantics for Fixed-Points Non-Monotonic Logics},
booktitle = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1990},
pages = {111--120},
publisher = {Morgan Kaufmann},
year = {1990},
timestamp = {Thu, 21 Jun 2018 07:50:57 +0200},
biburl = {https://dblp.org/rec/conf/tark/LinS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/HungK88,
author = {Dang Van Hung and
El{\"{o}}d Knuth},
title = {A noninterleaving semantics for communicating sequential processes:
a fixed-point approach},
journal = {Acta Cybern.},
volume = {8},
number = {3},
pages = {293--314},
year = {1988},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3344},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/HungK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/McCarty88,
author = {L. Thorne McCarty},
title = {Clausal Intuitionistic Logic {I} - Fixed-Point Semantics},
journal = {J. Log. Program.},
volume = {5},
number = {1},
pages = {1--31},
year = {1988},
url = {https://doi.org/10.1016/0743-1066(88)90005-2},
doi = {10.1016/0743-1066(88)90005-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/McCarty88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Rougemont88,
author = {Michel de Rougemont},
editor = {Fran{\c{c}}ois Bancilhon and
David J. DeWitt},
title = {Fixed-point semantics and the representation of algorithms on large
data},
booktitle = {Fourteenth International Conference on Very Large Data Bases, August
29 - September 1, 1988, Los Angeles, California, USA, Proceedings},
pages = {264--272},
publisher = {Morgan Kaufmann},
year = {1988},
url = {http://www.vldb.org/conf/1988/P264.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
biburl = {https://dblp.org/rec/conf/vldb/Rougemont88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Mazurkiewicz84,
author = {Antoni W. Mazurkiewicz},
editor = {Grzegorz Rozenberg and
Hartmann J. Genrich and
G{\'{e}}rard Roucairol},
title = {Semantics of concurrent systems: a modular fixed-point trace approach},
booktitle = {Advances in Petri Nets 1984, European Workshop on Applications and
Theory in Petri Nets, covers the last two years which include the
workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {188},
pages = {353--375},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15204-0\_20},
doi = {10.1007/3-540-15204-0\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Mazurkiewicz84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FalaschiLP83,
author = {Moreno Falaschi and
Giorgio Levi and
Catuscia Palamidessi},
editor = {Lu{\'{\i}}s Moniz Pereira and
Ant{\'{o}}nio Porto and
Lu{\'{\i}}s Monteiro and
Miguel Figueiras},
title = {On the Fixed-Point Semantics of Horn Clauses with Infinite Terms},
booktitle = {Logic Programming Workshop '83, Praia da Fal{\'{e}}sia, Algarve,
Portugal, 26 June - 1 July, 1983, Proceedings},
pages = {474--484},
publisher = {N{\'{u}}cleo de Intellig{\^{e}}ncia Artificial, Universidade
Nova De Lisboa, Portugal},
year = {1983},
url = {http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p474-Falaschi.pdf},
timestamp = {Thu, 12 Mar 2020 11:37:20 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FalaschiLP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LassezNS82,
author = {Jean{-}Louis Lassez and
V. L. Nguyen and
Liz Sonenberg},
title = {Fixed Point Theorems and Semantics: {A} Folk Tale},
journal = {Inf. Process. Lett.},
volume = {14},
number = {3},
pages = {112--116},
year = {1982},
url = {https://doi.org/10.1016/0020-0190(82)90065-5},
doi = {10.1016/0020-0190(82)90065-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LassezNS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Niwinski82,
author = {Damian Niwinski},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {Fixed-Point Semantics for Algebraic (Tree) Grammars (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {384--396},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012785},
doi = {10.1007/BFB0012785},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Niwinski82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Majster-Cederbaum80,
author = {Mila E. Majster{-}Cederbaum},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Semantics: Algebras, Fixed Points, Axioms},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {394--408},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_87},
doi = {10.1007/3-540-10003-2\_87},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Majster-Cederbaum80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Istrail79,
author = {Sorin Istrail},
editor = {Hermann A. Maurer},
title = {A Fixed-Point Theorem for Recursive-Enumerable Languages and Some
Considerations About Fixed-Point Semantics of Monadic Programs},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {289--303},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_23},
doi = {10.1007/3-540-09510-1\_23},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Istrail79.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.
retrieved on 2024-04-24 12:13 CEST from data curated 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:
