default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "logical function"
download as .bib file
@article{DBLP:journals/fss/MunarCMR24,
author = {Marc Munar and
Miguel Couceiro and
Sebastia Massanet and
Daniel Ruiz{-}Aguilera},
title = {A survey on the enumeration of classes of logical connectives and
aggregation functions defined on a finite chain, with new results},
journal = {Fuzzy Sets Syst.},
volume = {490},
pages = {109023},
year = {2024},
url = {https://doi.org/10.1016/j.fss.2024.109023},
doi = {10.1016/J.FSS.2024.109023},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fss/MunarCMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DuerschCD24,
author = {Jed A. Duersch and
Tommie A. Catanach and
Niladri Das},
title = {Logical activation functions for training arbitrary probabilistic
Boolean operations},
journal = {Inf. Sci.},
volume = {664},
pages = {120304},
year = {2024},
url = {https://doi.org/10.1016/j.ins.2024.120304},
doi = {10.1016/J.INS.2024.120304},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DuerschCD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/YangL24,
author = {Xinrong Yang and
Haitao Li},
title = {Robust synchronization of coupled logical networks subject to stochastic
function perturbations},
journal = {Inf. Sci.},
volume = {654},
pages = {119843},
year = {2024},
url = {https://doi.org/10.1016/j.ins.2023.119843},
doi = {10.1016/J.INS.2023.119843},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/YangL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/LaiLSTWY24,
author = {Li{-}Chang Lai and
Jiaxiang Liu and
Xiaomu Shi and
Ming{-}Hsien Tsai and
Bow{-}Yaw Wang and
Bo{-}Yin Yang},
editor = {Joaquin Garc{\'{\i}}a{-}Alfaro and
Rafal Kozik and
Michal Choras and
Sokratis K. Katsikas},
title = {Automatic Verification of Cryptographic Block Function Implementations
with Logical Equivalence Checking},
booktitle = {Computer Security - {ESORICS} 2024 - 29th European Symposium on Research
in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {14985},
pages = {377--395},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-70903-6\_19},
doi = {10.1007/978-3-031-70903-6\_19},
timestamp = {Fri, 13 Sep 2024 21:29:57 +0200},
biburl = {https://dblp.org/rec/conf/esorics/LaiLSTWY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-15789,
author = {Miguel {\'{A}}ngel M{\'{e}}ndez Lucero and
Enrique Bojorquez Gallardo and
Vaishak Belle},
title = {Semantic Objective Functions: {A} distribution-aware method for adding
logical constraints in deep learning},
journal = {CoRR},
volume = {abs/2405.15789},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.15789},
doi = {10.48550/ARXIV.2405.15789},
eprinttype = {arXiv},
eprint = {2405.15789},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-15789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/LiY23a,
author = {Haitao Li and
Xinrong Yang},
title = {Robust optimal control of logical control networks with function perturbation},
journal = {Autom.},
volume = {152},
pages = {110970},
year = {2023},
url = {https://doi.org/10.1016/j.automatica.2023.110970},
doi = {10.1016/J.AUTOMATICA.2023.110970},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/LiY23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LinkKGHT23,
author = {Sebastian Link and
Henning Koehler and
Aniruddh Gandhi and
Sven Hartmann and
Bernhard Thalheim},
title = {Cardinality constraints and functional dependencies in {SQL:} Taming
data redundancy in logical database design},
journal = {Inf. Syst.},
volume = {115},
pages = {102208},
year = {2023},
url = {https://doi.org/10.1016/j.is.2023.102208},
doi = {10.1016/J.IS.2023.102208},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/LinkKGHT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/0001JAJ23,
author = {Amr Alanwar and
Frank J. Jiang and
Samy Amin and
Karl Henrik Johansson},
title = {Logical Zonotopes: {A} Set Representation for the Formal Verification
of Boolean Functions},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {60--66},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10384037},
doi = {10.1109/CDC49753.2023.10384037},
timestamp = {Mon, 29 Jan 2024 17:30:32 +0100},
biburl = {https://dblp.org/rec/conf/cdc/0001JAJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ratschan23,
author = {Stefan Ratschan},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {Deciding Predicate Logical Theories Of Real-Valued Functions},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
series = {LIPIcs},
volume = {272},
pages = {76:1--76:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.76},
doi = {10.4230/LIPICS.MFCS.2023.76},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ratschan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/YuanPZSW23,
author = {Chang Yuan and
Tao Peng and
Kexin Zhang and
Hongyuan Shu and
Wenbo Wang},
title = {Dynamic Mapping Service Function Chains in a Logical Segmented {LEO}
Constellation},
booktitle = {98th {IEEE} Vehicular Technology Conference, {VTC} Fall 2023, Hong
Kong, SAR, China, October 10-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/VTC2023-Fall60731.2023.10333353},
doi = {10.1109/VTC2023-FALL60731.2023.10333353},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vtc/YuanPZSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16505,
author = {Stefan Ratschan},
title = {Deciding Predicate Logical Theories of Real-Valued Functions},
journal = {CoRR},
volume = {abs/2306.16505},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16505},
doi = {10.48550/ARXIV.2306.16505},
eprinttype = {arXiv},
eprint = {2306.16505},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LaiLSTWY23,
author = {Li{-}Chang Lai and
Jiaxiang Liu and
Xiaomu Shi and
Ming{-}Hsien Tsai and
Bow{-}Yaw Wang and
Bo{-}Yin Yang},
title = {Automatic Verification of Cryptographic Block Function Implementations
with Logical Equivalence Checking},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1861},
year = {2023},
url = {https://eprint.iacr.org/2023/1861},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/LaiLSTWY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aarc/DragunovD22,
author = {N. A. Dragunov and
Elena V. Djukova},
title = {One Approach to Decoding Monotone Logical Function},
journal = {Autom. Remote. Control.},
volume = {83},
number = {10},
pages = {1600--1607},
year = {2022},
url = {https://doi.org/10.1134/S00051179220100125},
doi = {10.1134/S00051179220100125},
timestamp = {Tue, 27 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aarc/DragunovD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/DombiJ22,
author = {J{\'{o}}zsef Dombi and
Tam{\'{a}}s J{\'{o}}n{\'{a}}s},
title = {The generalized sigmoid function and its connection with logical operators},
journal = {Int. J. Approx. Reason.},
volume = {143},
pages = {121--138},
year = {2022},
url = {https://doi.org/10.1016/j.ijar.2022.01.006},
doi = {10.1016/J.IJAR.2022.01.006},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/DombiJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isecure/SabetiA22,
author = {Vajiheh Sabeti and
Mahsa Amerehei},
title = {Secure and Imperceptible Image Steganography in Discrete Wavelet Transform
Using the {XOR} Logical Function and Genetic Algorithm},
journal = {{ISC} Int. J. Inf. Secur.},
volume = {14},
number = {2},
pages = {167--179},
year = {2022},
url = {https://doi.org/10.22042/isecure.2022.274305.641},
doi = {10.22042/ISECURE.2022.274305.641},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isecure/SabetiA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/SfarIC22,
author = {Aziz Sfar and
Dina Irofti and
Madalina Croitoru},
editor = {Ivan Varzinczak},
title = {A Graph Based Semantics for Logical Functional Diagrams in Power Plant
Controllers},
booktitle = {Foundations of Information and Knowledge Systems - 12th International
Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13388},
pages = {55--74},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-11321-5\_4},
doi = {10.1007/978-3-031-11321-5\_4},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/SfarIC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/CibrianRML22,
author = {Eduardo Cibri{\'{a}}n and
Jos{\'{e}} Mar{\'{\i}}a {\'{A}}lvarez Rodr{\'{\i}}guez and
Roy Mendieta and
Juan Llor{\'{e}}ns},
title = {Discovering traces between textual requirements and logical models
in the functional design of Printed Circuit Boards},
booktitle = {5th {IEEE} International Conference on Industrial Cyber-Physical Systems,
{ICPS} 2022, Coventry, United Kingdom, May 24-26, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICPS51978.2022.9816910},
doi = {10.1109/ICPS51978.2022.9816910},
timestamp = {Mon, 06 Nov 2023 13:38:03 +0100},
biburl = {https://dblp.org/rec/conf/icphys/CibrianRML22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/LoweEdTO22,
author = {Scott C. Lowe and
Robert Earle and
Jason d'Eon and
Thomas Trappenberg and
Sageev Oore},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Logical Activation Functions: Logit-space equivalents of Probabilistic
Boolean Operators},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/c05144b635df16ac9bbf8246bbbd55ca-Abstract-Conference.html},
timestamp = {Sun, 04 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/LoweEdTO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/DowlandWC22,
author = {Jonathan Dowland and
Paul Watson and
Adam Cattermole},
title = {Logical Optimisation and Cost Modelling of Stream-Processing Programs
Written in a Purely-Functional Framework},
booktitle = {15th {IEEE/ACM} International Conference on Utility and Cloud Computing,
{UCC} 2022, Vancouver, WA, USA, December 6-9, 2022},
pages = {267--272},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/UCC56403.2022.00048},
doi = {10.1109/UCC56403.2022.00048},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ucc/DowlandWC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijin/ThabitAJ21,
author = {Fursan Thabit and
Sharaf Alhomdy and
Sudhir Jagtap},
title = {A new data security algorithm for the cloud computing based on genetics
techniques and logical-mathematical functions},
journal = {Int. J. Intell. Networks},
volume = {2},
pages = {18--33},
year = {2021},
url = {https://doi.org/10.1016/j.ijin.2021.03.001},
doi = {10.1016/J.IJIN.2021.03.001},
timestamp = {Sat, 06 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijin/ThabitAJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/Juan21,
author = {Cao Juan},
title = {A Cultural and Functional Approach to the Assessment of Logical Thinking
Ability in English Writing},
journal = {Sci. Program.},
volume = {2021},
pages = {1783384:1--1783384:9},
year = {2021},
url = {https://doi.org/10.1155/2021/1783384},
doi = {10.1155/2021/1783384},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/Juan21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnn/WangL21,
author = {Shuling Wang and
Haitao Li},
title = {Graph-Based Function Perturbation Analysis for Observability of Multivalued
Logical Networkss},
journal = {{IEEE} Trans. Neural Networks Learn. Syst.},
volume = {32},
number = {11},
pages = {4839--4848},
year = {2021},
url = {https://doi.org/10.1109/TNNLS.2020.3025912},
doi = {10.1109/TNNLS.2020.3025912},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tnn/WangL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccais/WuL21,
author = {Jiahao Wu and
Yang Liu},
title = {Robust Stability of Switched Logical Networks with Function Perturbation
under Arbitrary Switching Signals},
booktitle = {2021 International Conference on Control, Automation and Information
Sciences, {ICCAIS} 2021, Xi'an, China, October 14-17, 2021},
pages = {585--589},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCAIS52680.2021.9624515},
doi = {10.1109/ICCAIS52680.2021.9624515},
timestamp = {Mon, 03 Jan 2022 22:16:33 +0100},
biburl = {https://dblp.org/rec/conf/iccais/WuL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06067,
author = {Eduardo Mizraji},
title = {Generalized "Square roots of Not" matrices, their application to the
unveiling of hidden logical operators and to the definition of fully
matrix circular Euler functions},
journal = {CoRR},
volume = {abs/2107.06067},
year = {2021},
url = {https://arxiv.org/abs/2107.06067},
eprinttype = {arXiv},
eprint = {2107.06067},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11940,
author = {Scott C. Lowe and
Robert Earle and
Jason d'Eon and
Thomas Trappenberg and
Sageev Oore},
title = {Logical Activation Functions: Logit-space equivalents of Boolean Operators},
journal = {CoRR},
volume = {abs/2110.11940},
year = {2021},
url = {https://arxiv.org/abs/2110.11940},
eprinttype = {arXiv},
eprint = {2110.11940},
timestamp = {Sun, 04 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfi/ChengLQ20,
author = {Daizhan Cheng and
Zequn Liu and
Hongsheng Qi},
title = {Completeness and normal form of multi-valued logical functions},
journal = {J. Frankl. Inst.},
volume = {357},
number = {14},
pages = {9871--9884},
year = {2020},
url = {https://doi.org/10.1016/j.jfranklin.2020.06.026},
doi = {10.1016/J.JFRANKLIN.2020.06.026},
timestamp = {Fri, 09 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfi/ChengLQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecctd/AscoliMDTCBBK20,
author = {Alon Ascoli and
Ioannis Messaris and
Ahmet Samil Demirkol and
Ronald Tetzlaff and
Leon O. Chua and
Dalibor Biolek and
Viera Biolkov{\'{a}} and
Zdenek Kolka},
title = {Implementation of Logical and Memory Functions with Memristor Cellular
Nonlinear Networks},
booktitle = {European Conference on Circuit Theory and Design, {ECCTD} 2020, Sofia,
Bulgaria, September 7-10, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ECCTD49232.2020.9218420},
doi = {10.1109/ECCTD49232.2020.9218420},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecctd/AscoliMDTCBBK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/PomarlanB20,
author = {Mihai Pomarlan and
John A. Bateman},
editor = {Boyan Brodaric and
Fabian Neuhaus},
title = {Embodied Functional Relations: {A} Formal Account Combining Abstract
Logical Theory with Grounding in Simulation},
booktitle = {Formal Ontology in Information Systems - Proceedings of the 11th International
Conference, {FOIS} 2020, Cancelled / Bozen-Bolzano, Italy, September
14-17, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {330},
pages = {155--168},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200668},
doi = {10.3233/FAIA200668},
timestamp = {Tue, 27 Apr 2021 16:08:06 +0200},
biburl = {https://dblp.org/rec/conf/fois/PomarlanB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BhaskarCJO20,
author = {Siddharth Bhaskar and
Jane Chandlee and
Adam Jardine and
Christopher Oakden},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Boolean Monadic Recursive Schemes as a Logical Characterization of
the Subsequential Functions},
booktitle = {Language and Automata Theory and Applications - 14th International
Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12038},
pages = {157--169},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-40608-0\_10},
doi = {10.1007/978-3-030-40608-0\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BhaskarCJO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/YanR19,
author = {Kedong Yan and
Hong Seo Ryoo},
title = {A multi-term, polyhedral relaxation of a 0-1 multilinear function
for Boolean logical pattern generation},
journal = {J. Glob. Optim.},
volume = {74},
number = {4},
pages = {705--735},
year = {2019},
url = {https://doi.org/10.1007/s10898-018-0680-8},
doi = {10.1007/S10898-018-0680-8},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgo/YanR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SongLO19,
author = {Dowon Song and
Myungho Lee and
Hakjoo Oh},
title = {Automatic and scalable detection of logical errors in functional programming
assignments},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {188:1--188:30},
year = {2019},
url = {https://doi.org/10.1145/3360614},
doi = {10.1145/3360614},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SongLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamco/LiD19,
author = {Haitao Li and
Xueying Ding},
title = {A Control Lyapunov Function Approach to Feedback Stabilization of
Logical Control Networks},
journal = {{SIAM} J. Control. Optim.},
volume = {57},
number = {2},
pages = {810--831},
year = {2019},
url = {https://doi.org/10.1137/18M1170443},
doi = {10.1137/18M1170443},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamco/LiD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/OishiN19,
author = {Nobuyuki Oishi and
Masayuki Numao},
editor = {Takashi Kido and
Keiki Takadama},
title = {Measuring Functional Independence of an Aged Person with a Combination
of Machine Learning and Logical Reasoning},
booktitle = {Proceedings of the Symposium Interpretable {AI} for Well-being: Understanding
Cognitive Bias and Social Embeddedness co-located with Association
for the Advancement of Artificial Intelligence 2019 Spring Symposium
(AAAI-Spring Symposium 2019), Stanford, CA, March 25-27, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2448},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2448/SSS19\_Paper\_Upload\_222.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/OishiN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csit/GecheMBV19,
author = {Fedir Geche and
Oksana Mulesa and
Anatoliy Batyuk and
Veronika Voloshchuk},
editor = {Natalya Shakhovska and
Mykola O. Medykovskyy},
title = {Properties of Logical Functions Implemented by One Generalized Neural
Element over the Galois Field},
booktitle = {Advances in Intelligent Systems and Computing {IV} - Selected Papers
from the International Conference on Computer Science and Information
Technologies, {CSIT} 2019, September 17-20, 2019, Lviv, Ukraine},
series = {Advances in Intelligent Systems and Computing},
volume = {1080},
pages = {202--213},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33695-0\_15},
doi = {10.1007/978-3-030-33695-0\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csit/GecheMBV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csit/GecheMVB19,
author = {Fedir Geche and
Oksana Mulesa and
Veronika Voloshchuk and
Anatoliy Batyuk},
title = {Generalized Logical Neural Functions Over The Galois Field And Their
Properties},
booktitle = {{IEEE} 14th International Conference on Computer Sciences and Information
Technologies, {CSIT} 2019, Lviv, Ukraine, September 17-20, 2019 -
Volume 1},
pages = {21--24},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/STC-CSIT.2019.8929867},
doi = {10.1109/STC-CSIT.2019.8929867},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csit/GecheMVB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isdmci/SenkivskyyPHB19,
author = {Vsevolod Senkivskyy and
Iryna Pikh and
Svitlana Havenko and
Sergii Babichev},
editor = {Volodymyr Lytvynenko and
Sergii Babichev and
Waldemar W{\'{o}}jcik and
Olena Vynokurova and
Svetlana Vyshemyrskaya and
Svetlana Radetskaya},
title = {A Model of Logical Inference and Membership Functions of Factors for
the Printing Process Quality Formation},
booktitle = {Lecture Notes in Computational Intelligence and Decision Making -
Proceedings of the 15th International Scientific Conference "Intellectual
Systems of Decision Making and Problems of Computational Intelligence",
{ISDMCI} 2019, Salisnyj Port, Ukraine, May 21-25, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {1020},
pages = {609--621},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26474-1\_42},
doi = {10.1007/978-3-030-26474-1\_42},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdmci/SenkivskyyPHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/MenzelBISM19,
author = {Till Menzel and
Gerrit Bagschik and
Leon Isensee and
Andre Schomburg and
Markus Maurer},
title = {From Functional to Logical Scenarios: Detailing a Keyword-Based Scenario
Description for Execution in a Simulation Environment},
booktitle = {2019 {IEEE} Intelligent Vehicles Symposium, {IV} 2019, Paris, France,
June 9-12, 2019},
pages = {2383--2390},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IVS.2019.8814099},
doi = {10.1109/IVS.2019.8814099},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ivs/MenzelBISM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PazzagliaBN19,
author = {Paolo Pazzaglia and
Alessandro Biondi and
Marco Di Natale},
title = {Optimizing the Functional Deployment on Multicore Platforms with Logical
Execution Time},
booktitle = {{IEEE} Real-Time Systems Symposium, {RTSS} 2019, Hong Kong, SAR, China,
December 3-6, 2019},
pages = {207--219},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RTSS46320.2019.00028},
doi = {10.1109/RTSS46320.2019.00028},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/PazzagliaBN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-03989,
author = {Till Menzel and
Gerrit Bagschik and
Leon Isensee and
Andre Schomburg and
Markus Maurer},
title = {From Functional to Logical Scenarios: Detailing a Keyword-Based Scenario
Description for Execution in a Simulation Environment},
journal = {CoRR},
volume = {abs/1905.03989},
year = {2019},
url = {http://arxiv.org/abs/1905.03989},
eprinttype = {arXiv},
eprint = {1905.03989},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-03989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Kerjean18,
author = {Marie Kerjean},
title = {Reflexive spaces of smooth functions : a logical account of linear
partial differential equations. (Espaces r{\'{e}}flexifs de fonctions
lisses : un compte rendu logique des {\'{e}}quations aux d{\'{e}}riv{\'{e}}es
partielles lin{\'{e}}aires)},
school = {Sorbonne Paris Cit{\'{e}}, France},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-02386294},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Kerjean18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LeeSSO18,
author = {Junho Lee and
Dowon Song and
Sunbeom So and
Hakjoo Oh},
title = {Automatic diagnosis and correction of logical errors for functional
programming assignments},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {158:1--158:30},
year = {2018},
url = {https://doi.org/10.1145/3276528},
doi = {10.1145/3276528},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LeeSSO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Broy18,
author = {Manfred Broy},
title = {A logical approach to systems engineering artifacts: semantic relationships
and dependencies beyond traceability - from requirements to functional
and architectural views},
journal = {Softw. Syst. Model.},
volume = {17},
number = {2},
pages = {365--393},
year = {2018},
url = {https://doi.org/10.1007/s10270-017-0619-4},
doi = {10.1007/S10270-017-0619-4},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Broy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdts/HahanovLGCLH18,
author = {Vladimir Hahanov and
Mykhailo Liubarskyi and
Wajeb Gharibi and
Svetlana Chumachenko and
Eugenia Litvinova and
Ivan Hahanov},
title = {Test Synthesis for Logical X-functions},
booktitle = {2018 {IEEE} East-West Design {\&} Test Symposium, {EWDTS} 2018,
Kazan, Russia, September 14-17, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EWDTS.2018.8524863},
doi = {10.1109/EWDTS.2018.8524863},
timestamp = {Mon, 09 Aug 2021 14:53:48 +0200},
biburl = {https://dblp.org/rec/conf/ewdts/HahanovLGCLH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isncc/Vazquez-CastroC18,
author = {M. A. Vazquez{-}Castro and
Luis Miguel Contreras Murillo},
title = {Softwarization of Network Coding Functions and Logical Mapping to
{SDN}},
booktitle = {2018 International Symposium on Networks, Computers and Communications,
{ISNCC} 2018, Rome, Italy, June 19-21, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISNCC.2018.8530982},
doi = {10.1109/ISNCC.2018.8530982},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isncc/Vazquez-CastroC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-08421,
author = {Yoshiaki Kanazawa and
Naoki Nishida},
editor = {Joachim Niehren and
David Sabel},
title = {On Transforming Functions Accessing Global Variables into Logically
Constrained Term Rewriting Systems},
booktitle = {Proceedings Fifth International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England,
8th July 2018},
series = {{EPTCS}},
volume = {289},
pages = {34--52},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.289.3},
doi = {10.4204/EPTCS.289.3},
timestamp = {Wed, 29 May 2019 12:12:46 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02537,
author = {Y. Viero and
David Gu{\'{e}}rin and
A. Vladyka and
Fabien Alibart and
St{\'{e}}phane Lenfant and
M. Calame and
Dominique Vuillaume},
title = {Light-stimulable molecules/nanoparticles networks for switchable logical
functions and reservoir computing},
journal = {CoRR},
volume = {abs/1808.02537},
year = {2018},
url = {http://arxiv.org/abs/1808.02537},
eprinttype = {arXiv},
eprint = {1808.02537},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-02537.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/OtaniSOYNW17,
author = {Tetsuo Otani and
Noriyuki Senke and
Eiji Ohba and
Shigeo Yamamoto and
Hideo Nomura and
Hideki Wada},
title = {A gap analysis between logical nodes and functions of distribution
automation systems},
booktitle = {2017 {IEEE} {PES} Innovative Smart Grid Technologies Conference Europe,
ISGT-Europe 2017, Torino, Italy, September 26-29, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISGTEurope.2017.8260227},
doi = {10.1109/ISGTEUROPE.2017.8260227},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isgteurope/OtaniSOYNW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgreens/BachOS17,
author = {Johannes Bach and
Stefan Otten and
Eric Sax},
editor = {Brian Donnellan and
Cornel Klein and
Markus Helfert and
Oleg Yu. Gusikhin and
Ant{\'{o}}nio M. Pascoal},
title = {Classification of Automotive Electric/Electronic Features and the
Consequent Hierarchization of the Logical System Architecture - From
Functional Chains to Functional Networks},
booktitle = {Smart Cities, Green Technologies, and Intelligent Transport Systems
- 6th International Conference, {SMARTGREENS} 2017, and Third International
Conference, {VEHITS} 2017, Porto, Portugal, April 22-24, 2017, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {921},
pages = {229--255},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-02907-4\_12},
doi = {10.1007/978-3-030-02907-4\_12},
timestamp = {Wed, 04 Dec 2019 16:18:43 +0100},
biburl = {https://dblp.org/rec/conf/smartgreens/BachOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/HorvathR17,
author = {L{\'{a}}szl{\'{o}} Horv{\'{a}}th and
Imre J. Rudas},
editor = {Hamido Fujita and
Ali Selamat and
Sigeru Omatu},
title = {Driving Engineering Model Generation on Functional and Logical Levels},
booktitle = {New Trends in Intelligent Software Methodologies, Tools and Techniques
- Proceedings of the 16th International Conference, SoMeT{\_}17, Kitakyushu
City, Japan, September 26-28, 2017},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {297},
pages = {678--690},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-800-6-678},
doi = {10.3233/978-1-61499-800-6-678},
timestamp = {Tue, 15 Nov 2022 15:22:38 +0100},
biburl = {https://dblp.org/rec/conf/somet/HorvathR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc8013,
author = {Damascene Joachimpillai and
Jamal Hadi Salim},
title = {Forwarding and Control Element Separation (ForCES) Inter-FE Logical
Functional Block {(LFB)}},
journal = {{RFC}},
volume = {8013},
pages = {1--25},
year = {2017},
url = {https://doi.org/10.17487/RFC8013},
doi = {10.17487/RFC8013},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc8013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/YavuzYKY16,
author = {Erdem Yavuz and
Rifat Yazici and
Mustafa Cem Kasapbasi and
Ezgi Yamac},
title = {A chaos-based image encryption algorithm with simple logical functions},
journal = {Comput. Electr. Eng.},
volume = {54},
pages = {471--483},
year = {2016},
url = {https://doi.org/10.1016/j.compeleceng.2015.11.008},
doi = {10.1016/J.COMPELECENG.2015.11.008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cee/YavuzYKY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/JiaMF16,
author = {Guangyu Jia and
Min Meng and
Jun{-}e Feng},
title = {Function perturbation of mix-valued logical networks with impacts
on limit sets},
journal = {Neurocomputing},
volume = {207},
pages = {428--436},
year = {2016},
url = {https://doi.org/10.1016/j.neucom.2016.05.027},
doi = {10.1016/J.NEUCOM.2016.05.027},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/JiaMF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automation/SitekW16,
author = {Pawel Sitek and
Jaroslaw Wikarek},
editor = {Roman Szewczyk and
Cezary Zielinski and
Malgorzata Kaliczynska},
title = {Extension of Model Functionalities for Multi-echelon Distribution
Systems Through the Introduction of Logical Constraints},
booktitle = {Challenges in Automation, Robotics and Measurement Techniques - Proceedings
of AUTOMATION-2016, March 2-4, 2016, Warsaw, Poland},
series = {Advances in Intelligent Systems and Computing},
volume = {440},
pages = {177--188},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29357-8\_16},
doi = {10.1007/978-3-319-29357-8\_16},
timestamp = {Thu, 14 Oct 2021 10:21:14 +0200},
biburl = {https://dblp.org/rec/conf/automation/SitekW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sfsc/BustinceBPF16,
author = {Humberto Bustince and
Edurne Barrenechea and
Miguel Pagola and
Javier Fern{\'{a}}ndez},
editor = {Susanne Saminger{-}Platz and
Radko Mesiar},
title = {The Notions of Overlap and Grouping Functions},
booktitle = {On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory},
series = {Studies in Fuzziness and Soft Computing},
volume = {336},
pages = {137--156},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28808-6\_8},
doi = {10.1007/978-3-319-28808-6\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sfsc/BustinceBPF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sfsc/Grabisch16,
author = {Michel Grabisch},
editor = {Susanne Saminger{-}Platz and
Radko Mesiar},
title = {Bases and Transforms of Set Functions},
booktitle = {On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory},
series = {Studies in Fuzziness and Soft Computing},
volume = {336},
pages = {215--231},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28808-6\_13},
doi = {10.1007/978-3-319-28808-6\_13},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sfsc/Grabisch16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sfsc/Mesiarova-Zemankova16,
author = {Andrea Mesiarov{\'{a}}{-}Zem{\'{a}}nkov{\'{a}}},
editor = {Susanne Saminger{-}Platz and
Radko Mesiar},
title = {Structure of Uninorms with Continuous Diagonal Functions},
booktitle = {On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory},
series = {Studies in Fuzziness and Soft Computing},
volume = {336},
pages = {109--135},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28808-6\_7},
doi = {10.1007/978-3-319-28808-6\_7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sfsc/Mesiarova-Zemankova16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sfsc/Pap16,
author = {Endre Pap},
editor = {Susanne Saminger{-}Platz and
Radko Mesiar},
title = {Multivalued Functions Integration: from Additive to Arbitrary Non-negative
Set Function},
booktitle = {On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory},
series = {Studies in Fuzziness and Soft Computing},
volume = {336},
pages = {257--274},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28808-6\_15},
doi = {10.1007/978-3-319-28808-6\_15},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sfsc/Pap16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sfsc/Weber16,
author = {Siegfried Weber},
editor = {Susanne Saminger{-}Platz and
Radko Mesiar},
title = {Conditioning for Boolean Subsets, Indicator Functions and Fuzzy Subsets},
booktitle = {On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory},
series = {Studies in Fuzziness and Soft Computing},
volume = {336},
pages = {233--256},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28808-6\_14},
doi = {10.1007/978-3-319-28808-6\_14},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sfsc/Weber16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Cholvy15,
author = {Laurence Cholvy},
title = {Towards a logical belief function theory},
journal = {J. Appl. Log.},
volume = {13},
number = {4},
pages = {441--457},
year = {2015},
url = {https://doi.org/10.1016/j.jal.2014.12.002},
doi = {10.1016/J.JAL.2014.12.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Cholvy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Rezus15,
author = {Adrian Rezus},
title = {Book Review: R. J. G. B. de Queiroz, A. G. de Oliveira, D. M. Gabbay,
The Functional Interpretation of Logical Deduction},
journal = {Stud Logica},
volume = {103},
number = {2},
pages = {447--451},
year = {2015},
url = {https://doi.org/10.1007/s11225-015-9612-5},
doi = {10.1007/S11225-015-9612-5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Rezus15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc7729,
author = {Bhumip Khasnabish and
Evangelos Haleplidis and
Jamal Hadi Salim},
title = {Forwarding and Control Element Separation (ForCES) Logical Functional
Block {(LFB)} Subsidiary Management},
journal = {{RFC}},
volume = {7729},
pages = {1--20},
year = {2015},
url = {https://doi.org/10.17487/RFC7729},
doi = {10.17487/RFC7729},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc7729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Cholvy14,
author = {Laurence Cholvy},
editor = {Robin Cohen and
Rino Falcone and
Timothy J. Norman},
title = {How Strong to Believe Information? {A} Trust Model in the Logical
Belief Function Theory},
booktitle = {Proceedings of the 17th International Workshop on Trust in Agent Societies
co-located with the 13th International Conference on Autonomous Agents
and Multiagent Systems {(AAMAS} 2014), Paris, France, May 6, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1740},
pages = {44--54},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1740/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/atal/Cholvy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/SilvaVLBV14,
author = {V{\'{\i}}tor Silva and
Manuel A. Vieira and
Paula Louro and
Manuel Barata and
Manuela Vieira},
editor = {Luis M. Camarinha{-}Matos and
Nuno S. Barrento and
Ricardo Mendon{\c{c}}a},
title = {Simple and Complex Logical Functions in a SiC Tandem Device},
booktitle = {Technological Innovation for Collective Awareness Systems - 5th {IFIP}
{WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and
Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April
7-9, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {423},
pages = {592--601},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54734-8\_66},
doi = {10.1007/978-3-642-54734-8\_66},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/SilvaVLBV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Cholvy14,
author = {Laurence Cholvy},
editor = {Anne Laurent and
Olivier Strauss and
Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {A Logical Version of the Belief Function Theory},
booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based
Systems - 15th International Conference, {IPMU} 2014, Montpellier,
France, July 15-19, 2014, Proceedings, Part {III}},
series = {Communications in Computer and Information Science},
volume = {444},
pages = {170--179},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08852-5\_18},
doi = {10.1007/978-3-319-08852-5\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/Cholvy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsctc/Mihalydeak14,
author = {Tam{\'{a}}s Mih{\'{a}}lyde{\'{a}}k},
editor = {Chris Cornelis and
Marzena Kryszkiewicz and
Dominik Slezak and
Ernestina Menasalvas Ruiz and
Rafael Bello and
Lin Shang},
title = {Aristotle's Syllogisms in Logical Semantics Relying on Optimistic,
Average and Pessimistic Membership Functions},
booktitle = {Rough Sets and Current Trends in Computing - 9th International Conference,
{RSCTC} 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8536},
pages = {59--70},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08644-6\_6},
doi = {10.1007/978-3-319-08644-6\_6},
timestamp = {Sun, 02 Oct 2022 16:14:17 +0200},
biburl = {https://dblp.org/rec/conf/rsctc/Mihalydeak14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/accs/Bibilo13,
author = {P. N. Bibilo},
title = {The use of models of incompletely specified Boolean functions in logical
circuit synthesis based on {VHDL} descriptions},
journal = {Autom. Control. Comput. Sci.},
volume = {47},
number = {3},
pages = {122--131},
year = {2013},
url = {https://doi.org/10.3103/S0146411613030036},
doi = {10.3103/S0146411613030036},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/accs/Bibilo13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/ChengX13,
author = {Daizhan Cheng and
Xiangru Xu},
title = {Bi-decomposition of multi-valued logical functions and its applications},
journal = {Autom.},
volume = {49},
number = {7},
pages = {1979--1985},
year = {2013},
url = {https://doi.org/10.1016/j.automatica.2013.03.013},
doi = {10.1016/J.AUTOMATICA.2013.03.013},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/ChengX13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/LegendreDK13,
author = {Florian Legendre and
Gilles Dequen and
Micha{\"{e}}l Krajecki},
editor = {Pierangela Samarati},
title = {From a Logical Approach to Internal States of Hash Functions - How
{SAT} Problem Can Help to Understand SHA-* and MD*},
booktitle = {{SECRYPT} 2013 - Proceedings of the 10th International Conference
on Security and Cryptography, Reykjav{\'{\i}}k, Iceland, 29-31
July, 2013},
pages = {435--443},
publisher = {SciTePress},
year = {2013},
url = {https://ieeexplore.ieee.org/document/7223195/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/LegendreDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Broy13,
author = {Manfred Broy},
editor = {Manfred Broy and
Doron A. Peled and
Georg Kalus},
title = {A Logical Approach to Systems Engineering Artifacts and Traceability:
From Requirements to Functional and Architectural Views},
booktitle = {Engineering Dependable Software Systems},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {34},
pages = {1--48},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-207-3-1},
doi = {10.3233/978-1-61499-207-3-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Broy13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4451,
author = {Luis Filipe Coelho Antunes and
Andre Souto and
Andreia Teixeira and
Paul M. B. Vit{\'{a}}nyi},
title = {On the logical depth function},
journal = {CoRR},
volume = {abs/1301.4451},
year = {2013},
url = {http://arxiv.org/abs/1301.4451},
eprinttype = {arXiv},
eprint = {1301.4451},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc6956,
author = {Weiming Wang and
Evangelos Haleplidis and
Kentaro Ogawa and
Chuanhuang Li and
Joel M. Halpern},
title = {Forwarding and Control Element Separation (ForCES) Logical Function
Block {(LFB)} Library},
journal = {{RFC}},
volume = {6956},
pages = {1--111},
year = {2013},
url = {https://doi.org/10.17487/RFC6956},
doi = {10.17487/RFC6956},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc6956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Mitchell12,
author = {Sandra D. Mitchell},
title = {Emergence: logical, functional and dynamical},
journal = {Synth.},
volume = {185},
number = {2},
pages = {171--186},
year = {2012},
url = {https://doi.org/10.1007/s11229-010-9719-1},
doi = {10.1007/S11229-010-9719-1},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Mitchell12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/MilesLW12,
author = {Craig Miles and
Arun Lakhotia and
Andrew Walenstein},
title = {In situ reuse of logically extracted functional components},
journal = {J. Comput. Virol.},
volume = {8},
number = {3},
pages = {73--84},
year = {2012},
url = {https://doi.org/10.1007/s11416-012-0167-y},
doi = {10.1007/S11416-012-0167-Y},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/virology/MilesLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/Donins12,
author = {Uldis Donins},
editor = {Joaquim Filipe and
Leszek A. Maciaszek},
title = {Semantics of Logical Relations in Topological Functioning Model},
booktitle = {{ENASE} 2012 - Proceedings of the 7th International Conference on
Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland,
29-30 June, 2012},
pages = {217--223},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 26 Oct 2012 15:38:17 +0200},
biburl = {https://dblp.org/rec/conf/enase/Donins12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaisc/DeniziakW12,
author = {Stanislaw Deniziak and
Karol Wieczorek},
editor = {Leszek Rutkowski and
Marcin Korytkowski and
Rafal Scherer and
Ryszard Tadeusiewicz and
Lotfi A. Zadeh and
Jacek M. Zurada},
title = {Evolutionary Optimization of Decomposition Strategies for Logical
Functions},
booktitle = {Swarm and Evolutionary Computation - International Symposia, {SIDE}
2012 and {EC} 2012, Held in Conjunction with {ICAISC} 2012, Zakopane,
Poland, April 29-May 3, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7269},
pages = {182--189},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29353-5\_21},
doi = {10.1007/978-3-642-29353-5\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaisc/DeniziakW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/al/QueirozOG11,
author = {Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira and
Dov M. Gabbay},
title = {The Functional Interpretation of Logical Deduction},
series = {Advances in Logic},
volume = {5},
publisher = {World Scientific},
year = {2011},
url = {https://doi.org/10.1142/8215},
doi = {10.1142/8215},
isbn = {978-981-4360-95-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/al/QueirozOG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcon/BalestrinoCC11,
author = {Aldo Balestrino and
Andrea Caiti and
Emanuele Crisostomi},
title = {Logical composition of Lyapunov functions},
journal = {Int. J. Control},
volume = {84},
number = {3},
pages = {563--573},
year = {2011},
url = {https://doi.org/10.1080/00207179.2011.562549},
doi = {10.1080/00207179.2011.562549},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcon/BalestrinoCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/MuselliF11,
author = {Marco Muselli and
Enrico Ferrari},
title = {Coupling Logical Analysis of Data and Shadow Clustering for Partially
Defined Positive Boolean Function Reconstruction},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {23},
number = {1},
pages = {37--50},
year = {2011},
url = {https://doi.org/10.1109/TKDE.2009.206},
doi = {10.1109/TKDE.2009.206},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tkde/MuselliF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppam/DeniziakW11,
author = {Stanislaw Deniziak and
Karol Wieczorek},
editor = {Roman Wyrzykowski and
Jack J. Dongarra and
Konrad Karczewski and
Jerzy Wasniewski},
title = {Parallel Approach to the Functional Decomposition of Logical Functions
Using Developmental Genetic Programming},
booktitle = {Parallel Processing and Applied Mathematics - 9th International Conference,
{PPAM} 2011, Torun, Poland, September 11-14, 2011. Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7203},
pages = {406--415},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31464-3\_41},
doi = {10.1007/978-3-642-31464-3\_41},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppam/DeniziakW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/accs/MamedovRR10,
author = {G. A. Mamedov and
Gazanfar A. Rustamov and
R. G. Rustamov},
title = {Construction of a logical control by means of optimization of the
Lypunov function when an object model is indeterminate},
journal = {Autom. Control. Comput. Sci.},
volume = {44},
number = {3},
pages = {119--123},
year = {2010},
url = {https://doi.org/10.3103/S0146411610030016},
doi = {10.3103/S0146411610030016},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/accs/MamedovRR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ChajdaHR10,
author = {Ivan Chajda and
Radek Halas and
Ivo G. Rosenberg},
title = {On the role of logical connectives for primality and functional completeness
of algebras of logics},
journal = {Inf. Sci.},
volume = {180},
number = {8},
pages = {1345--1353},
year = {2010},
url = {https://doi.org/10.1016/j.ins.2009.12.015},
doi = {10.1016/J.INS.2009.12.015},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ChajdaHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdts/CheremisinovaN10,
author = {Liudmila D. Cheremisinova and
Dmitry Ya. Novikov},
title = {SAT-based group method for verification of logical descriptions with
functional indeterminacy},
booktitle = {2010 East-West Design {\&} Test Symposium, {EWDTS} 2010, St. Petersburg,
Russia, September 17-20, 2010},
pages = {25--28},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/EWDTS.2010.5742065},
doi = {10.1109/EWDTS.2010.5742065},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ewdts/CheremisinovaN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/LeeLLA09,
author = {Dong{-}Hee Lee and
Jianing Liang and
Zhen{-}Guo Lee and
Jin{-}Woo Ahn},
title = {A Simple Nonlinear Logical Torque Sharing Function for Low-Torque
Ripple {SR} Drive},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {56},
number = {8},
pages = {3021--3028},
year = {2009},
url = {https://doi.org/10.1109/TIE.2009.2024661},
doi = {10.1109/TIE.2009.2024661},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/LeeLLA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijprai/LimaMPFF08,
author = {Priscila Machado Vieira Lima and
M. Mariela Morveli{-}Espinoza and
Glaucia C. Pereira and
Talita O. Ferreira and
Felipe Maia Galv{\~{a}}o Fran{\c{c}}a},
title = {Logical Reasoning via Satisfiability Mapped into Energy Functions},
journal = {Int. J. Pattern Recognit. Artif. Intell.},
volume = {22},
number = {5},
pages = {1031--1043},
year = {2008},
url = {https://doi.org/10.1142/S0218001408006673},
doi = {10.1142/S0218001408006673},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijprai/LimaMPFF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/YoshidaHB08,
author = {Nobuko Yoshida and
Kohei Honda and
Martin Berger},
title = {Logical Reasoning for Higher-Order Functions with Local State},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:2)2008},
doi = {10.2168/LMCS-4(4:2)2008},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/YoshidaHB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Petrik08,
author = {Milan Petr{\'{\i}}k},
title = {Quine-McCluskey method for many-valued logical functions},
journal = {Soft Comput.},
volume = {12},
number = {4},
pages = {393--402},
year = {2008},
url = {https://doi.org/10.1007/s00500-007-0175-x},
doi = {10.1007/S00500-007-0175-X},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Petrik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdts/HahanovGKD08,
author = {Vladimir Hahanov and
Olesya Guz and
Natalya Kulbakova and
Maxim Davydov},
title = {Vector-logical diagnosis method for {SOC} functionalities},
booktitle = {2008 East-West Design {\&} Test Symposium, {EWDTS} 2008, Lviv,
Ukraine, October 9-12, 2008},
pages = {159--162},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/EWDTS.2008.5580136},
doi = {10.1109/EWDTS.2008.5580136},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ewdts/HahanovGKD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KatelmanME08,
author = {Michael Katelman and
Jos{\'{e}} Meseguer and
Santiago Escobar},
title = {Directed-Logical Testing for Functional Verification of Microprocessors},
booktitle = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
CA, {USA}},
pages = {89--100},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MEMCOD.2008.4547694},
doi = {10.1109/MEMCOD.2008.4547694},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/KatelmanME08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0801-0649,
author = {Fr{\'{e}}d{\'{e}}ric Prost and
Chaouki Zerrari},
title = {A logical analysis of entanglement and separability in quantum higher-order
functions},
journal = {CoRR},
volume = {abs/0801.0649},
year = {2008},
url = {http://arxiv.org/abs/0801.0649},
eprinttype = {arXiv},
eprint = {0801.0649},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0801-0649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0806-2448,
author = {Nobuko Yoshida and
Kohei Honda and
Martin Berger},
title = {Logical Reasoning for Higher-Order Functions with Local State},
journal = {CoRR},
volume = {abs/0806.2448},
year = {2008},
url = {http://arxiv.org/abs/0806.2448},
eprinttype = {arXiv},
eprint = {0806.2448},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0806-2448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/RegisGianas07,
author = {Yann R{\'{e}}gis{-}Gianas},
title = {From types to logical assertions : automatic or assisted proofs of
property about functional programs. (Des types aux assertions logiques
: preuve automatique ou assist{\'{e}}e de propri{\'{e}}t{\'{e}}s
sur les programmes fonctionnels)},
school = {Paris Diderot University, France},
year = {2007},
url = {https://tel.archives-ouvertes.fr/tel-01238703},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/RegisGianas07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Michel07,
author = {Pascal Michel},
title = {Computational complexity of logical theories of one successor and
another unary function},
journal = {Arch. Math. Log.},
volume = {46},
number = {2},
pages = {123--148},
year = {2007},
url = {https://doi.org/10.1007/s00153-006-0031-1},
doi = {10.1007/S00153-006-0031-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Michel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BergerHY07,
author = {Martin Berger and
Kohei Honda and
Nobuko Yoshida},
title = {A logical analysis of aliasing in imperative higher-order functions},
journal = {J. Funct. Program.},
volume = {17},
number = {4-5},
pages = {473--546},
year = {2007},
url = {https://doi.org/10.1017/S0956796807006417},
doi = {10.1017/S0956796807006417},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BergerHY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/PradoN07,
author = {J{\'{e}}r{\^{o}}me Prado and
Ira A. Noveck},
title = {Overcoming Perceptual Features in Logical Reasoning: {A} Parametric
Functional Magnetic Resonance Imaging Study},
journal = {J. Cogn. Neurosci.},
volume = {19},
number = {4},
pages = {642--657},
year = {2007},
url = {https://doi.org/10.1162/jocn.2007.19.4.642},
doi = {10.1162/JOCN.2007.19.4.642},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocn/PradoN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/DejeanM07,
author = {Herv{\'{e}} D{\'{e}}jean and
Jean{-}Luc Meunier},
editor = {Peter R. King and
Steven J. Simske},
title = {Logical document conversion: combining functional and formal knowledge},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Document Engineering, Winnipeg,
Manitoba, Canada, August 28-31, 2007},
pages = {135--143},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1284420.1284456},
doi = {10.1145/1284420.1284456},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceng/DejeanM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/YoshidaHB07,
author = {Nobuko Yoshida and
Kohei Honda and
Martin Berger},
editor = {Helmut Seidl},
title = {Logical Reasoning for Higher-Order Functions with Local State},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {361--377},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_26},
doi = {10.1007/978-3-540-71389-0\_26},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/YoshidaHB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/SangiorgiKS07,
author = {Davide Sangiorgi and
Naoki Kobayashi and
Eijiro Sumii},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Logical Bisimulations and Functional Languages},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {364--379},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_24},
doi = {10.1007/978-3-540-75698-9\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/SangiorgiKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icon/DongJW07,
author = {Ligang Dong and
Fenggen Jia and
Weiming Wang},
title = {Definition and Implementation of Logical Function Blocks Compliant
to ForCES Specification},
booktitle = {Proceedings of the 15th {IEEE} International Conference on Networks,
{ICON} 2007, 19-21 November 2007, Adelaide, Australia},
pages = {531--536},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICON.2007.4444142},
doi = {10.1109/ICON.2007.4444142},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icon/DongJW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/la-web/Martinez-PrietoFVA07,
author = {Miguel A. Mart{\'{\i}}nez{-}Prieto and
Pablo de la Fuente and
Jes{\'{u}}s Vegas and
Joaqu{\'{\i}}n Adiego},
editor = {Virg{\'{\i}}lio A. F. Almeida and
Ricardo A. Baeza{-}Yates},
title = {Integrating Functionality and Appearance with the Electronic Work
Logical Structure},
booktitle = {Fifth Latin American Web Congress (LA-Web 2007), 31 October - 2 November
2007, Santiago de Chile},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/LA-WEB.2007.64},
doi = {10.1109/LA-WEB.2007.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/la-web/Martinez-PrietoFVA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/DongZW07,
author = {Ligang Dong and
Bin Zhuge and
Weiming Wang},
editor = {Wenying Feng and
Feng Gao},
title = {Research on Logical Function Blocks in ForCES-Based Routers},
booktitle = {Proceedings of the 8th {ACIS} International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing, {SNPD} 2007, July 30 - August 1, 2007, Qingdao, China},
pages = {172--177},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SNPD.2007.97},
doi = {10.1109/SNPD.2007.97},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snpd/DongZW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/DelahayeDE07,
author = {David Delahaye and
Catherine Dubois and
Jean{-}Fr{\'{e}}d{\'{e}}ric {\'{E}}tienne},
editor = {Klaus Schneider and
Jens Brandt},
title = {Extracting Purely Functional Contents from Logical Inductive Types},
booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4732},
pages = {70--85},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74591-4\_7},
doi = {10.1007/978-3-540-74591-4\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/DelahayeDE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Velazquez-Iturbide06,
author = {J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide},
title = {Principled design of logical fisheye views of functional expressions},
journal = {{ACM} {SIGPLAN} Notices},
volume = {41},
number = {8},
pages = {34--43},
year = {2006},
url = {https://doi.org/10.1145/1163566.1163575},
doi = {10.1145/1163566.1163575},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Velazquez-Iturbide06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/RemyRMTC06,
author = {Elisabeth Remy and
Paul Ruet and
Luis Eduardo Mendoza and
Denis Thieffry and
Claudine Chaouiya},
title = {From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles
and Functionality of Feedback Circuits},
journal = {Trans. Comp. Sys. Biology},
volume = {7},
pages = {56--72},
year = {2006},
url = {https://doi.org/10.1007/11905455\_3},
doi = {10.1007/11905455\_3},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/RemyRMTC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/HartmannL05,
author = {Sven Hartmann and
Sebastian Link},
title = {Functional Dependencies on Nested Attributes: Algebraic, Logical and
Topological Perspective},
booktitle = {16th International Workshop on Database and Expert Systems Applications
{(DEXA} 2005), 22-26 August 2005, Copenhagen, Denmark},
pages = {818--822},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DEXA.2005.98},
doi = {10.1109/DEXA.2005.98},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/HartmannL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/JovanovicJ05,
author = {Dejan Jovanovic and
Predrag Janicic},
editor = {Bernhard Gramlich},
title = {Logical Analysis of Hash Functions},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {200--215},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_11},
doi = {10.1007/11559306\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/JovanovicJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BergerHY05,
author = {Martin Berger and
Kohei Honda and
Nobuko Yoshida},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {A logical analysis of aliasing in imperative higher-order functions},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {280--293},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086401},
doi = {10.1145/1086365.1086401},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BergerHY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/MuraiK05,
author = {Tetsuya Murai and
Yasuo Kudo},
editor = {Rajiv Khosla and
Robert J. Howlett and
Lakhmi C. Jain},
title = {New Logical Classes of Plausibility Functions in Dempster-Shafer Theory
of Evidence},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 9th
International Conference, {KES} 2005, Melbourne, Australia, September
14-16, 2005, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {3684},
pages = {675--681},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11554028\_94},
doi = {10.1007/11554028\_94},
timestamp = {Sun, 02 Jun 2019 21:22:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/MuraiK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Asai05,
author = {Kenichi Asai},
editor = {Marko C. J. D. van Eekelen},
title = {Logical relations for call-by-value delimited continuations},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {63--78},
publisher = {Intellect},
year = {2005},
timestamp = {Thu, 25 Oct 2007 13:58:58 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Asai05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ImaiIIM04,
author = {Katsunobu Imai and
Akihiko Ikazaki and
Chuzo Iwamoto and
Kenichi Morita},
title = {A Logically Universal Number-Conserving Cellular Automaton with a
Unary Table-Lookup Function},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {87-D},
number = {3},
pages = {694--699},
year = {2004},
url = {http://search.ieice.org/bin/summary.php?id=e87-d\_3\_694},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ImaiIIM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/Hunter04,
author = {Anthony Hunter},
title = {Logical Comparison of Inconsistent Perspectives using Scoring Functions},
journal = {Knowl. Inf. Syst.},
volume = {6},
number = {5},
pages = {528--543},
year = {2004},
url = {https://doi.org/10.1007/s10115-003-0125-6},
doi = {10.1007/S10115-003-0125-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/Hunter04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Cheung04,
author = {Leo K. C. Cheung},
title = {Showing, Analysis and the Truth-Functionality of Logical Necessity
in Wittgenstein's \emph{Tractatus}},
journal = {Synth.},
volume = {139},
number = {1},
pages = {81--105},
year = {2004},
url = {https://doi.org/10.1023/B:SYNT.0000021309.60256.8e},
doi = {10.1023/B:SYNT.0000021309.60256.8E},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Cheung04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Schurmann04,
author = {Carsten Sch{\"{u}}rmann},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Twelf and Delphin: Logic and Functional Programming in a Meta-logical
Framework},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {22--23},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_3},
doi = {10.1007/978-3-540-24754-8\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Schurmann04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/KawaguchiM04,
author = {Mayuka F. Kawaguchi and
Masaaki Miyakoshi},
title = {Weakly Associative Functions on [0, 1] as Logical Connectives},
booktitle = {34th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2004), 19-22 May 2004, Toronto, Canada},
pages = {44--48},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISMVL.2004.1319918},
doi = {10.1109/ISMVL.2004.1319918},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/KawaguchiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Mengin04,
author = {J{\'{e}}r{\^{o}}me Mengin},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Logical Connectives for Nonmonotonicity: {A} Choice Function-Based
Approach},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {452--461},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_38},
doi = {10.1007/978-3-540-30227-8\_38},
timestamp = {Tue, 07 May 2024 20:11:09 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Mengin04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0406009,
author = {Jean{-}Philippe Rennard},
title = {Implementation of Logical Functions in the Game of Life},
journal = {CoRR},
volume = {cs.CC/0406009},
year = {2004},
url = {http://arxiv.org/abs/cs/0406009},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0406009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Diller02,
author = {Justus Diller},
title = {Logical problems of functional interpretations},
journal = {Ann. Pure Appl. Log.},
volume = {114},
number = {1-3},
pages = {27--42},
year = {2002},
url = {https://doi.org/10.1016/S0168-0072(01)00074-4},
doi = {10.1016/S0168-0072(01)00074-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Diller02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/02/Rennard02,
author = {Jean{-}Philippe Rennard},
editor = {Andrew Adamatzky},
title = {Implementation of Logical Functions in the Game of Life},
booktitle = {Collision-Based Computing},
pages = {491--512},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-1-4471-0129-1\_17},
doi = {10.1007/978-1-4471-0129-1\_17},
timestamp = {Thu, 14 May 2020 16:06:42 +0200},
biburl = {https://dblp.org/rec/books/sp/02/Rennard02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/ParkC01,
author = {Myoung Soo Park and
Jin Young Choi},
title = {Logical evolution method for learning Boolean functions},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace",
Tucson, Arizona, USA, 7-10 October 2001},
pages = {316--321},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICSMC.2001.969831},
doi = {10.1109/ICSMC.2001.969831},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/ParkC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/CaballeroLR00,
author = {Rafael Caballero and
Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Mar{\'{\i}}a Alpuente},
title = {A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic
Program},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {8--22},
year = {2000},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/CaballeroLR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Jankovic99,
author = {Dragan Jankovic},
title = {Construction of Recursive Algorithms for Polarity Matrices Calculation
in Polynomial Logical Function Representation},
journal = {Acta Cybern.},
volume = {14},
number = {2},
pages = {263--283},
year = {1999},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3527},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Jankovic99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ohori99,
author = {Atsushi Ohori},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {The Logical Abstract Machine: {A} Curry-Howard Isomorphism for Machine
Code},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {300--318},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_20},
doi = {10.1007/10705424\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ohori99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/KuznetsovLV98,
author = {P. K. Kuznetsov and
A. V. Lakeyev and
Stanislav N. Vassilyev},
title = {Logical Lyapunov functions for analysis of dynamic behavior of hybrid
models of switching circuits},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
USA, October 11-14,1998},
pages = {1457--1461},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.728089},
doi = {10.1109/ICSMC.1998.728089},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/KuznetsovLV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Pinto97,
author = {Luis Filipe Ribeiro Pinto},
title = {Proof-theoretic investigations into integrated logical and functional
programming},
school = {University of St Andrews, {UK}},
year = {1997},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.741905},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Pinto97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PalmgrenS97,
author = {Erik Palmgren and
Viggo Stoltenberg{-}Hansen},
title = {A Logical Presentation of the Continuous Functionals},
journal = {J. Symb. Log.},
volume = {62},
number = {3},
pages = {1021--1034},
year = {1997},
url = {https://doi.org/10.2307/2275585},
doi = {10.2307/2275585},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PalmgrenS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ComptonG96,
author = {Kevin J. Compton and
Erich Gr{\"{a}}del},
title = {Logical Definability of Counting Functions},
journal = {J. Comput. Syst. Sci.},
volume = {53},
number = {2},
pages = {283--297},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0069},
doi = {10.1006/JCSS.1996.0069},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ComptonG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ZaitsevaKK96,
author = {Elena N. Zaitseva and
Tatiana Kalganova and
Evgeny G. Kochergov},
title = {Logical Not Polynomial Forms to Represent Multiple-Valued Functions},
booktitle = {26th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings},
pages = {302--307},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ISMVL.1996.508378},
doi = {10.1109/ISMVL.1996.508378},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/ZaitsevaKK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Poirriez94,
author = {Vincent Poirriez},
title = {{MLOG:} {A} Strongly Typed Confluent Functional Language with Logical
Variables},
journal = {Theor. Comput. Sci.},
volume = {122},
number = {1{\&}2},
pages = {201--223},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90207-0},
doi = {10.1016/0304-3975(94)90207-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Poirriez94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/ComptonG94,
author = {Kevin J. Compton and
Erich Gr{\"{a}}del},
title = {Logical Definability of Counting Functions},
booktitle = {Proceedings of the Ninth Annual Structure in Complexity Theory Conference,
Amsterdam, The Netherlands, June 28 - July 1, 1994},
pages = {255--266},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SCT.1994.315798},
doi = {10.1109/SCT.1994.315798},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/ComptonG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/DarlingtonGK93,
author = {John Darlington and
Yike Guo and
Martin K{\"{o}}hler},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {Functional Programming Languages with Logical Variables: {A} Linear
Logic View},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {201--219},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_80},
doi = {10.1007/3-540-57186-8\_80},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/DarlingtonGK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imst/Lbov92,
author = {G. S. Lbov},
title = {Construction of recognition decision rules in the class of logical
functions},
journal = {Int. J. Imaging Syst. Technol.},
volume = {4},
number = {1},
pages = {62--64},
year = {1992},
url = {https://doi.org/10.1002/ima.1850040112},
doi = {10.1002/IMA.1850040112},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imst/Lbov92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KimL92,
author = {Jinwoo Kim and
F. Javier Lerch},
editor = {Penny Bauersfeld and
John Bennett and
Gene Lynch},
title = {Towards a model of cognitive process in logical design: comparing
object-oriented and traditional functional decomposition software
methodologies},
booktitle = {Conference on Human Factors in Computing Systems, {CHI} 1992, Monterey,
CA, USA, May 3-7, 1992, Proceedings},
pages = {489--498},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/142750.142905},
doi = {10.1145/142750.142905},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/KimL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Poirriez92,
author = {Vincent Poirriez},
title = {{MLOG:} {A} Strongly Typed Confluent Functional Language with Logical
Variables},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {674--681},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Poirriez92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Burn92,
author = {Geoffrey Livingston Burn},
editor = {John Launchbury and
Patrick M. Sansom},
title = {A Logical Framework for Program Analysis},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {30--42},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_3},
doi = {10.1007/978-1-4471-3215-8\_3},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Burn92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/NorvellH92,
author = {Theodore S. Norvell and
Eric C. R. Hehner},
editor = {Richard S. Bird and
Carroll Morgan and
Jim Woodcock},
title = {Logical Specifications for Functional Programs},
booktitle = {Mathematics of Program Construction, Second International Conference,
Oxford, UK, June 29 - July 3, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {669},
pages = {269--290},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56625-2\_18},
doi = {10.1007/3-540-56625-2\_18},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/mpc/NorvellH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Wiweger91,
author = {Antoni Wiweger},
title = {A functionalization of logical kits},
journal = {Fundam. Informaticae},
volume = {15},
number = {2},
pages = {180--186},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Wiweger91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/phoenix/Paterson91,
author = {Ross Paterson},
editor = {John Darlington and
Roland Dietrich},
title = {A Tiny Functional Language with Logical Features},
booktitle = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
Workshop on Declarative Programming, Sasbachwalden, Black Forest,
Germany, 18-22 November 1991},
series = {Workshops in Computing},
pages = {66--79},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3794-8\_5},
doi = {10.1007/978-1-4471-3794-8\_5},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/phoenix/Paterson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MiyakawaRS90,
author = {Masahiro Miyakawa and
Ivo G. Rosenberg and
Ivan Stojmenovic},
title = {Classification of three-valued logical functions preserving 0},
journal = {Discret. Appl. Math.},
volume = {28},
number = {3},
pages = {231--249},
year = {1990},
url = {https://doi.org/10.1016/0166-218X(90)90005-W},
doi = {10.1016/0166-218X(90)90005-W},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MiyakawaRS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MartinezCB90,
author = {M. Martinez and
N. P. Cagigal and
Salvador Bracho},
title = {Arithmetical logical unit design for a processor with {BILBO} techniques:
Functional simulation and test strategies},
journal = {Microprocessing and Microprogramming},
volume = {28},
number = {1-5},
pages = {109--115},
year = {1990},
url = {https://doi.org/10.1016/0165-6074(90)90158-6},
doi = {10.1016/0165-6074(90)90158-6},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/MartinezCB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/BageL90,
author = {G{\"{o}}ran B{\aa}ge and
Gary Lindstrom},
title = {Combinator Evaluation of Functional Programs with Logical Variables},
journal = {{LISP} Symb. Comput.},
volume = {3},
number = {3},
pages = {289--320},
year = {1990},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/BageL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/ThomaeB90,
author = {Douglas A. Thomae and
David E. van den Bout},
title = {Encoding logical constraints into neural network cost functions},
booktitle = {{IJCNN} 1990, International Joint Conference on Neural Networks, San
Diego, CA, USA, June 17-21, 1990},
pages = {863--868},
publisher = {{IEEE}},
year = {1990},
url = {https://doi.org/10.1109/IJCNN.1990.137943},
doi = {10.1109/IJCNN.1990.137943},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/ThomaeB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Burton89,
author = {F. Warren Burton},
title = {A Note on Higher-Order Functions Versus Logical Variables},
journal = {Inf. Process. Lett.},
volume = {31},
number = {2},
pages = {91--95},
year = {1989},
url = {https://doi.org/10.1016/0020-0190(89)90074-4},
doi = {10.1016/0020-0190(89)90074-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Burton89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Henno89a,
author = {Jaak Henno},
editor = {Hannu Jaakkola and
Seppo Linnainmaa},
title = {Complexity of Sets of Logical Functions},
booktitle = {Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings
of the 2nd SCAI, Tampere, Finland, June 12-15, 1989},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {4},
pages = {529--536},
publisher = {{IOS} Press},
year = {1989},
timestamp = {Thu, 01 Aug 2019 11:47:47 +0200},
biburl = {https://dblp.org/rec/conf/scai/Henno89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Ouaouicha87,
author = {Hassan Ouaouicha},
title = {Simulation du fonctionnement logique de {FELIN} : algorithmes de calcul
simultan{\'{e}} de racines de polyn{\^{o}}mes. (Logical functionning
simulation of {FELIN.} Simultaneous computation algorithms of roots
of polynomials)},
school = {Grenoble Institute of Technology, France},
year = {1987},
url = {https://tel.archives-ouvertes.fr/tel-00324430},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Ouaouicha87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Kremla87,
author = {Frantisek Kremla},
title = {General Criterion for Essential Nonfault Locatability of Logical Functions},
journal = {{IEEE} Trans. Computers},
volume = {36},
number = {5},
pages = {623--629},
year = {1987},
url = {https://doi.org/10.1109/TC.1987.1676948},
doi = {10.1109/TC.1987.1676948},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Kremla87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/RoundsM87,
author = {William C. Rounds and
Alexis Manaster{-}Ramer},
editor = {Candy L. Sidner},
title = {A Logical Version of Functional Grammar},
booktitle = {25th Annual Meeting of the Association for Computational Linguistics,
Stanford University, Stanford, California, USA, July 6-9, 1987},
pages = {89--96},
publisher = {{ACL}},
year = {1987},
url = {https://aclanthology.org/P87-1013/},
doi = {10.3115/981175.981188},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/RoundsM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/shriverW87/GoguenM87,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
editor = {Bruce D. Shriver and
Peter Wegner},
title = {Unifying Functional, Object-Oriented and Relational Programming with
Logical Semantics},
booktitle = {Research Directions in Object-Oriented Programming},
pages = {417--478},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mit/shriverW87/GoguenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Varga86,
author = {A. Varga},
title = {Optimization of multi valued logical functions based on evaluation
graphs},
journal = {Acta Cybern.},
volume = {7},
number = {4},
pages = {377--403},
year = {1986},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3307},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Varga86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Stojmenovic86,
author = {Ivan Stojmenovic},
title = {Classification of a Maximal Clone of Three-valued Logical Functions},
journal = {J. Inf. Process. Cybern.},
volume = {22},
number = {10/11},
pages = {533--545},
year = {1986},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Stojmenovic86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/HagaF86,
author = {Takahiro Haga and
Teruo Fukumura},
title = {(p, q)-Logical completeness for output-coherent sets of (p, q)-Logical
functions and an application of the set to image processing},
journal = {Inf. Sci.},
volume = {40},
number = {3},
pages = {207--226},
year = {1986},
url = {https://doi.org/10.1016/0020-0255(86)90058-7},
doi = {10.1016/0020-0255(86)90058-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/HagaF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lindstrom85,
author = {Gary Lindstrom},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Functional Programming and the Logical Variable},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {266--280},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318657},
doi = {10.1145/318593.318657},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lindstrom85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ToriiMSK84,
author = {Koji Torii and
Yoshitomi Morisawa and
Yuji Sugiyama and
Tadao Kasami},
editor = {Terry A. Straeter and
William E. Howden and
Jean{-}Claude Rault},
title = {Functional Programming and Logical Programming for the Telegram Analysis
Problem},
booktitle = {Proceedings, 7th International Conference on Software Engineering,
Orlando, Florida, USA, March 26-29, 1984},
pages = {463--472},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {http://dl.acm.org/citation.cfm?id=802006},
timestamp = {Mon, 14 May 2012 18:17:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/ToriiMSK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Clocksin83,
author = {W. F. Clocksin},
title = {Real-Time Functional Queue Operations Using the Logical Variable},
journal = {Inf. Process. Lett.},
volume = {17},
number = {4},
pages = {173--175},
year = {1983},
url = {https://doi.org/10.1016/0020-0190(83)90035-2},
doi = {10.1016/0020-0190(83)90035-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Clocksin83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/nh/82/Lbov82,
author = {G. S. Lbov},
editor = {Paruchuri R. Krishnaiah and
Laveen N. Kanal},
title = {21 Logical functions in the problems of empirical prediction},
booktitle = {Classification, Pattern Recognition and Reduction of Dimensionality},
series = {Handbook of Statistics},
volume = {2},
pages = {479--491},
publisher = {North-Holland},
year = {1982},
url = {https://doi.org/10.1016/s0169-7161(82)02024-0},
doi = {10.1016/S0169-7161(82)02024-0},
timestamp = {Tue, 23 Jun 2020 14:02:52 +0200},
biburl = {https://dblp.org/rec/books/nh/82/Lbov82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/KandziaM81,
author = {Peter Kandzia and
Margret Mangelmann},
title = {The Use of Transitively Irreducible Kernels of Full Families of Functional
Dependencies in Logical Data Base Design},
booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
Pennsylvania State University, PA, {USA}},
year = {1981},
timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
biburl = {https://dblp.org/rec/conf/xp/KandziaM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/KandziaM80,
author = {Peter Kandzia and
Margret Mangelmann},
editor = {Hartmut Noltemeier},
title = {The Use of Transitively Irreducible Kernels of Full Families of Functional
Dependencies in Logical Data Base Design},
booktitle = {Graphtheoretic Concepts in Computer Science, Proceedings of the International
Workshop {WG} '80, Bad Honnef, Germany, June 15-18, 1980},
series = {Lecture Notes in Computer Science},
volume = {100},
pages = {195--211},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10291-4\_14},
doi = {10.1007/3-540-10291-4\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/KandziaM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/HouselWY79,
author = {Barron C. Housel and
Vance E. Waddle and
S. Bing Yao},
editor = {Ant{\'{o}}nio L. Furtado and
Howard L. Morgan},
title = {The Functional Dependency Model for Logical Database Design},
booktitle = {Fifth International Conference on Very Large Data Bases, October 3-5,
1979, Rio de Janeiro, Brazil, Proceedings},
pages = {194--208},
publisher = {{IEEE} Computer Society},
year = {1979},
timestamp = {Tue, 06 Feb 2024 14:19:46 +0100},
biburl = {https://dblp.org/rec/conf/vldb/HouselWY79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/GotoKN78,
author = {Motinori Goto and
Shinji Kao and
Tomoko Ninomiya},
title = {Determination of the fittest number of truth-values and canonical
forms of logical functions for a many-valued axiom set by a computer},
booktitle = {Proceedings of the eighth international symposium on Multiple-valued
logic, {MVL} 1978, Rosemont, Illinois, USA, 1978},
pages = {195--201},
publisher = {{IEEE} Computer Society Press},
year = {1978},
url = {http://dl.acm.org/citation.cfm?id=804206},
timestamp = {Mon, 09 Aug 2021 11:27:20 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/GotoKN78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Warren77,
author = {Henry S. Warren Jr.},
title = {Functions Realizable with Word-Parallel Logical and Two's-Complement
Addition Instructions},
journal = {Commun. {ACM}},
volume = {20},
number = {6},
pages = {439--441},
year = {1977},
url = {https://doi.org/10.1145/359605.359632},
doi = {10.1145/359605.359632},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Warren77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Karpovsky77,
author = {Mark G. Karpovsky},
title = {Harmonic Analysis over Finite Commutative Groups in Linearization
Problems For Systems of Logical Functions},
journal = {Inf. Control.},
volume = {33},
number = {2},
pages = {142--165},
year = {1977},
url = {https://doi.org/10.1016/S0019-9958(77)90546-0},
doi = {10.1016/S0019-9958(77)90546-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Karpovsky77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/KitahashiT72,
author = {Tadahiro Kitahashi and
Kohkichi Tanaka},
title = {Orthogonal Expansion of Many-Valued Logical Functions and its Application
to their Realization with a Single-Threshold Element},
journal = {{IEEE} Trans. Computers},
volume = {21},
number = {2},
pages = {211--218},
year = {1972},
url = {https://doi.org/10.1109/TC.1972.5008930},
doi = {10.1109/TC.1972.5008930},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/KitahashiT72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Vries71,
author = {Ronald C. de Vries},
title = {Minimal Sets of Distinct Literals for a Logically Passive Function},
journal = {J. {ACM}},
volume = {18},
number = {2},
pages = {431--443},
year = {1971},
url = {https://doi.org/10.1145/321650.321660},
doi = {10.1145/321650.321660},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Vries71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Dorrough70a,
author = {Douglas Dorrough},
title = {A logical calculus of analogy involving functions of order 2},
journal = {Notre Dame J. Formal Log.},
volume = {11},
number = {3},
pages = {321--336},
year = {1970},
url = {https://doi.org/10.1305/ndjfl/1093894002},
doi = {10.1305/NDJFL/1093894002},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Dorrough70a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/PetrickS68,
author = {Stanley R. Petrick and
George C. Sethares},
title = {On the Determination of Complete Sets of Logical Functions},
journal = {{IEEE} Trans. Computers},
volume = {17},
number = {3},
pages = {273},
year = {1968},
url = {https://doi.org/10.1109/TC.1968.229101},
doi = {10.1109/TC.1968.229101},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/PetrickS68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Gose65,
author = {Earl E. Gose},
title = {A Synthesis Technique for Networks Consisting of Logical Functions
Feeding a Linear Summation Element},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {14},
number = {2},
pages = {254--256},
year = {1965},
url = {https://doi.org/10.1109/PGEC.1965.264256},
doi = {10.1109/PGEC.1965.264256},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Gose65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Rudeanu65,
author = {Sergiu Rudeanu},
title = {On Tohma's Decompositions of Logical Functions},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {14},
number = {6},
pages = {929--931},
year = {1965},
url = {https://doi.org/10.1109/PGEC.1965.264091},
doi = {10.1109/PGEC.1965.264091},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Rudeanu65.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Miyata64,
author = {Fusachika Miyata},
title = {Comment on "Realization of Arbitrary Logical Functions Using Majority
Elements},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {13},
number = {2},
pages = {148},
year = {1964},
url = {https://doi.org/10.1109/PGEC.1964.263783},
doi = {10.1109/PGEC.1964.263783},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Miyata64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Tohma64,
author = {Yoshihiro Tohma},
title = {Decompositions of Logical Functions Using Majority Decision Elements},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {13},
number = {6},
pages = {698--705},
year = {1964},
url = {https://doi.org/10.1109/PGEC.1964.263903},
doi = {10.1109/PGEC.1964.263903},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Tohma64.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LewisC63a,
author = {Philip M. Lewis II and
Clarence L. Coates},
title = {Realization of Logical Functions by a Network of Threshold Components
with Specified Sensitivity},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {12},
number = {5},
pages = {443--454},
year = {1963},
url = {https://doi.org/10.1109/PGEC.1963.263624},
doi = {10.1109/PGEC.1963.263624},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LewisC63a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Miyata63,
author = {Fusachika Miyata},
title = {Realization of Arbitrary Logical Functions Using Majority Elements},
journal = {{IEEE} Trans. Electron. Comput.},
volume = {12},
number = {3},
pages = {183--191},
year = {1963},
url = {https://doi.org/10.1109/PGEC.1963.263529},
doi = {10.1109/PGEC.1963.263529},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Miyata63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CoatesL63,
author = {C. L. Coates and
Philip M. Lewis II},
title = {Threshold gate realizations of logical functions with don't cares},
booktitle = {4th Annual Symposium on Switching Circuit Theory and Logical Design,
Chicago, Illinois, USA, October 28-30, 1963},
pages = {41--52},
publisher = {{IEEE} Computer Society},
year = {1963},
url = {https://doi.org/10.1109/SWCT.1963.15},
doi = {10.1109/SWCT.1963.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/CoatesL63.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Foxley62,
author = {Eric Foxley},
title = {The determination of all Sheffer functions in 3-valued logic, using
a logical computer},
journal = {Notre Dame J. Formal Log.},
volume = {3},
number = {1},
pages = {41--50},
year = {1962},
url = {https://doi.org/10.1305/ndjfl/1093957058},
doi = {10.1305/NDJFL/1093957058},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Foxley62.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Toda62,
author = {Iwao Toda},
title = {On the Number of Types of Self-Dual Logical Functions},
journal = {{IRE} Trans. Electron. Comput.},
volume = {11},
number = {2},
pages = {282--284},
year = {1962},
url = {https://doi.org/10.1109/TEC.1962.5219361},
doi = {10.1109/TEC.1962.5219361},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Toda62.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Coleman61,
author = {Robert P. Coleman},
title = {Orthogonal Functions for the Logical Design of Switching Circuits},
journal = {{IRE} Trans. Electron. Comput.},
volume = {10},
number = {3},
pages = {379--383},
year = {1961},
url = {https://doi.org/10.1109/TEC.1961.5219225},
doi = {10.1109/TEC.1961.5219225},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Coleman61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Kautz61,
author = {William H. Kautz},
title = {The Realization of Symmetric Switching Functions with Linear-Input
Logical Elements},
journal = {{IRE} Trans. Electron. Comput.},
volume = {10},
number = {3},
pages = {371--378},
year = {1961},
url = {https://doi.org/10.1109/TEC.1961.5219224},
doi = {10.1109/TEC.1961.5219224},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Kautz61.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wolpe58,
author = {Harold Wolpe},
title = {Algorithm for Analyzing Logical Statements to Produce a Truth Function
Table},
journal = {Commun. {ACM}},
volume = {1},
number = {3},
pages = {4--13},
year = {1958},
url = {https://doi.org/10.1145/368711.368721},
doi = {10.1145/368711.368721},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Wolpe58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/GrisamoreRU58,
author = {N. T. Grisamore and
Louis S. Rotolo and
G. U. Uyehara},
title = {Logical Design Using the Stroke Function},
journal = {{IRE} Trans. Electron. Comput.},
volume = {7},
number = {2},
pages = {181--183},
year = {1958},
url = {https://doi.org/10.1109/TEC.1958.5222532},
doi = {10.1109/TEC.1958.5222532},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/GrisamoreRU58.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kemeny53,
author = {John G. Kemeny},
title = {A Logical Measure Function},
journal = {J. Symb. Log.},
volume = {18},
number = {4},
pages = {289--308},
year = {1953},
url = {https://doi.org/10.2307/2266553},
doi = {10.2307/2266553},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Kemeny53.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-24 16:38 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:
