Search dblp for Publications

export results for "refined semantics"

 download as .bib file

@article{DBLP:journals/tifs/LiTWLH20,
  author       = {Zhihang Li and
                  Xu Tang and
                  Xiang Wu and
                  Jingtuo Liu and
                  Ran He},
  title        = {Progressively Refined Face Detection Through Semantics-Enriched Representation
                  Learning},
  journal      = {{IEEE} Trans. Inf. Forensics Secur.},
  volume       = {15},
  pages        = {1394--1406},
  year         = {2020},
  url          = {https://doi.org/10.1109/TIFS.2019.2941800},
  doi          = {10.1109/TIFS.2019.2941800},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tifs/LiTWLH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/GallF15,
  author       = {Daniel Gall and
                  Thom W. Fr{\"{u}}hwirth},
  editor       = {Moreno Falaschi and
                  Elvira Albert},
  title        = {A refined operational semantics for {ACT-R:} investigating the relations
                  between different {ACT-R} formalizations},
  booktitle    = {Proceedings of the 17th International Symposium on Principles and
                  Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages        = {114--124},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790449.2790517},
  doi          = {10.1145/2790449.2790517},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/GallF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/SneyersSD08,
  author       = {Jon Sneyers and
                  Tom Schrijvers and
                  Bart Demoen},
  editor       = {Tom Schrijvers and
                  Thom W. Fr{\"{u}}hwirth},
  title        = {Guard Reasoning in the Refined Operational Semantics of {CHR}},
  booktitle    = {Constraint Handling Rules, Current Research Topics},
  series       = {Lecture Notes in Computer Science},
  volume       = {5388},
  pages        = {213--244},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-92243-8\_8},
  doi          = {10.1007/978-3-540-92243-8\_8},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/SneyersSD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/WolfRV08,
  author       = {Armin Wolf and
                  Jacques Robin and
                  Jairson Vitorino},
  editor       = {Tom Schrijvers and
                  Thom W. Fr{\"{u}}hwirth},
  title        = {Adaptive {CHR} Meets CHR\({}^{\mbox{v}}\): An Extended Refined Operational
                  Semantics for CHR\({}^{\mbox{v}}\) Based on Justifications},
  booktitle    = {Constraint Handling Rules, Current Research Topics},
  series       = {Lecture Notes in Computer Science},
  volume       = {5388},
  pages        = {48--69},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-92243-8\_3},
  doi          = {10.1007/978-3-540-92243-8\_3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/WolfRV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccS/SottileRG06,
  author       = {Matthew J. Sottile and
                  Craig Edward Rasmussen and
                  Richard L. Graham},
  editor       = {Vassil N. Alexandrov and
                  G. Dick van Albada and
                  Peter M. A. Sloot and
                  Jack J. Dongarra},
  title        = {Co-Array Collectives: Refined Semantics for Co-Array Fortran},
  booktitle    = {Computational Science - {ICCS} 2006, 6th International Conference,
                  Reading, UK, May 28-31, 2006, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3992},
  pages        = {945--952},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11758525\_125},
  doi          = {10.1007/11758525\_125},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iccS/SottileRG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/AlferesBBL05,
  author       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Federico Banti and
                  Antonio Brogi and
                  Jo{\~{a}}o Alexandre Leite},
  title        = {The Refined Extension Principle for Semantics of Dynamic Logic Programming},
  journal      = {Stud Logica},
  volume       = {79},
  number       = {1},
  pages        = {7--32},
  year         = {2005},
  url          = {https://doi.org/10.1007/s11225-005-0492-y},
  doi          = {10.1007/S11225-005-0492-Y},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AlferesBBL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/DuckSBH04,
  author       = {Gregory J. Duck and
                  Peter J. Stuckey and
                  Maria J. Garc{\'{\i}}a de la Banda and
                  Christian Holzbaur},
  editor       = {Bart Demoen and
                  Vladimir Lifschitz},
  title        = {The Refined Operational Semantics of Constraint Handling Rules},
  booktitle    = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
                  France, September 6-10, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3132},
  pages        = {90--104},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27775-0\_7},
  doi          = {10.1007/978-3-540-27775-0\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/DuckSBH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mlcs/Chen94a,
  author       = {Jianhua Chen},
  title        = {A refined semantics for disjunctive logic programs},
  journal      = {Methods Log. Comput. Sci.},
  volume       = {1},
  number       = {4},
  pages        = {463--480},
  year         = {1994},
  url          = {http://dl.acm.org/citation.cfm?id=206286},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlcs/Chen94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecai/Chen92,
  author       = {Jianhua Chen},
  editor       = {Bernd Neumann},
  title        = {A Refined Semantics for Disjunctive Logic Programs},
  booktitle    = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
                  Austria, August 3-7, 1992. Proceedings},
  pages        = {97--101},
  publisher    = {John Wiley and Sons},
  year         = {1992},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Chen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.