default search action
Search dblp for Publications
export results for "Knowledge-based programs."
@article{DBLP:journals/cmpb/NavarroM24, author = {Francisco Abad Navarro and Catalina Mart{\'{\i}}nez{-}Costa}, title = {A knowledge graph-based data harmonization framework for secondary data reuse}, journal = {Comput. Methods Programs Biomed.}, volume = {243}, pages = {107918}, year = {2024}, url = {https://doi.org/10.1016/j.cmpb.2023.107918}, doi = {10.1016/J.CMPB.2023.107918}, timestamp = {Fri, 08 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/NavarroM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/LimK23, author = {Min Hyuk Lim and Sungwan Kim}, title = {A practical approach based on learning-based model predictive control with minimal prior knowledge of patients for artificial pancreas}, journal = {Comput. Methods Programs Biomed.}, volume = {240}, pages = {107694}, year = {2023}, url = {https://doi.org/10.1016/j.cmpb.2023.107694}, doi = {10.1016/J.CMPB.2023.107694}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmpb/LimK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/ZhouEKTXLL23, author = {Gengxian Zhou and Haihong E and Ze{-}min Kuang and Ling Tan and Xiaoxuan Xie and Jundi Li and Haoran Luo}, title = {Corrigendum to Clinical decision support system for hypertension medication based on knowledge graph: [Computer Methods and Programs in Biomedicine Volume 227 {(2022)/} 107220]}, journal = {Comput. Methods Programs Biomed.}, volume = {233}, pages = {107371}, year = {2023}, url = {https://doi.org/10.1016/j.cmpb.2023.107371}, doi = {10.1016/J.CMPB.2023.107371}, timestamp = {Tue, 18 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmpb/ZhouEKTXLL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/KnappMR23, author = {Alexander Knapp and Heribert M{\"{u}}hlberger and Bernhard Reus}, editor = {Thomas Wies}, title = {Interpreting Knowledge-based Programs}, booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming, {ESOP} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13990}, pages = {253--280}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30044-8\_10}, doi = {10.1007/978-3-031-30044-8\_10}, timestamp = {Sat, 13 May 2023 01:07:18 +0200}, biburl = {https://dblp.org/rec/conf/esop/KnappMR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-10807, author = {Alexander Knapp and Heribert M{\"{u}}hlberger and Bernhard Reus}, title = {Interpreting Knowledge-based Programs (Extended Version with Proofs)}, journal = {CoRR}, volume = {abs/2301.10807}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.10807}, doi = {10.48550/ARXIV.2301.10807}, eprinttype = {arXiv}, eprint = {2301.10807}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-10807.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/BaierM22, author = {Jorge A. Baier and Sheila A. McIlraith}, title = {Knowledge-based programs as building blocks for planning}, journal = {Artif. Intell.}, volume = {303}, pages = {103634}, year = {2022}, url = {https://doi.org/10.1016/j.artint.2021.103634}, doi = {10.1016/J.ARTINT.2021.103634}, timestamp = {Thu, 06 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/BaierM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/ZhouEKTXLL22, author = {Gengxian Zhou and Haihong E and Ze{-}min Kuang and Ling Tan and Xiaoxuan Xie and Jundi Li and Haoran Luo}, title = {Clinical decision support system for hypertension medication based on knowledge graph}, journal = {Comput. Methods Programs Biomed.}, volume = {227}, pages = {107220}, year = {2022}, url = {https://doi.org/10.1016/j.cmpb.2022.107220}, doi = {10.1016/J.CMPB.2022.107220}, timestamp = {Sun, 25 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/ZhouEKTXLL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Ye0DW022, author = {Hongjie Ye and Wei Chen and Wensheng Dou and Guoquan Wu and Jun Wei}, title = {Knowledge-Based Environment Dependency Inference for Python Programs}, booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering, {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022}, pages = {1245--1256}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3510003.3510127}, doi = {10.1145/3510003.3510127}, timestamp = {Mon, 18 Jul 2022 16:47:42 +0200}, biburl = {https://dblp.org/rec/conf/icse/Ye0DW022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scisisis/YanK22, author = {Yu Yan and Hirokuni Kurokawa}, title = {A Model to Automatically Evaluate Beginners' Programs Based on Syntactic Knowledge Point and Deep Learning Technology}, booktitle = {Joint 12th International Conference on Soft Computing and Intelligent Systems and 23rd International Symposium on Advanced Intelligent Systems, SCIS{\&}ISIS 2022, Ise, Japan, November 29 - Dec. 2, 2022}, pages = {1--8}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/SCISISIS55246.2022.10001960}, doi = {10.1109/SCISISIS55246.2022.10001960}, timestamp = {Tue, 10 Jan 2023 23:00:18 +0100}, biburl = {https://dblp.org/rec/conf/scisisis/YanK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/HoCCHC21, author = {Kuei{-}Fang Ho and Po{-}Hsiang Chou and Jane C.{-}J. Chao and Chien{-}Yeh Hsu and Min{-}Huey Chung}, title = {Design and evaluation of a knowledge-based clinical decision support system for the psychiatric nursing process}, journal = {Comput. Methods Programs Biomed.}, volume = {207}, pages = {106128}, year = {2021}, url = {https://doi.org/10.1016/j.cmpb.2021.106128}, doi = {10.1016/J.CMPB.2021.106128}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmpb/HoCCHC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ZanuttiniLSS20, author = {Bruno Zanuttini and J{\'{e}}r{\^{o}}me Lang and Abdallah Saffidine and Fran{\c{c}}ois Schwarzentruber}, title = {Knowledge-based programs as succinct policies for partially observable domains}, journal = {Artif. Intell.}, volume = {288}, pages = {103365}, year = {2020}, url = {https://doi.org/10.1016/j.artint.2020.103365}, doi = {10.1016/J.ARTINT.2020.103365}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ZanuttiniLSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/LiZWZZ20, author = {Na Li and Shoujun Zhou and Zonghan Wu and Baochang Zhang and Gang Zhao}, title = {Statistical modeling and knowledge-based segmentation of cerebral artery based on {TOF-MRA} and {MR-T1}}, journal = {Comput. Methods Programs Biomed.}, volume = {186}, pages = {105110}, year = {2020}, url = {https://doi.org/10.1016/j.cmpb.2019.105110}, doi = {10.1016/J.CMPB.2019.105110}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmpb/LiZWZZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/McCallZJ18, author = {McKenna McCall and Hengrun Zhang and Limin Jia}, title = {Knowledge-Based Security of Dynamic Secrets for Reactive Programs}, booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford, United Kingdom, July 9-12, 2018}, pages = {175--188}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/CSF.2018.00020}, doi = {10.1109/CSF.2018.00020}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csfw/McCallZJ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/AliHKAHAHJKL17, author = {Taqdir Ali and Maqbool Hussain and Wajahat Ali Khan and Muhammad Afzal and Jamil Hussain and Rahman Ali and Waseem Hassan and Arif Jamshed and Byeong Ho Kang and Sungyoung Lee}, title = {Multi-model-based interactive authoring environment for creating shareable medical knowledge}, journal = {Comput. Methods Programs Biomed.}, volume = {150}, pages = {41--72}, year = {2017}, url = {https://doi.org/10.1016/j.cmpb.2017.07.010}, doi = {10.1016/J.CMPB.2017.07.010}, timestamp = {Wed, 26 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmpb/AliHKAHAHJKL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/Molina-CasadoCG17, author = {Jos{\'{e}} Mar{\'{\i}}a Molina{-}Casado and Enrique J. Carmona and Juli{\'{a}}n Garc{\'{\i}}a{-}Feijo{\'{o}}}, title = {Fast detection of the main anatomical structures in digital retinal images based on intra- and inter-structure relational knowledge}, journal = {Comput. Methods Programs Biomed.}, volume = {149}, pages = {55--68}, year = {2017}, url = {https://doi.org/10.1016/j.cmpb.2017.06.022}, doi = {10.1016/J.CMPB.2017.06.022}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/Molina-CasadoCG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/ZhaoJXG17, author = {Chao Zhao and Jingchi Jiang and Zhiming Xu and Yi Guan}, title = {A study of EMR-based medical knowledge network and its applications}, journal = {Comput. Methods Programs Biomed.}, volume = {143}, pages = {13--23}, year = {2017}, url = {https://doi.org/10.1016/j.cmpb.2017.02.016}, doi = {10.1016/J.CMPB.2017.02.016}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmpb/ZhaoJXG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijksr/MahdiZ16, author = {Walid Mahdi and Tarek Zlitni}, title = {Navigating News Programs in Large TV-Streams: {A} Knowledge-Based Approach}, journal = {Int. J. Knowl. Soc. Res.}, volume = {7}, number = {1}, pages = {80--98}, year = {2016}, url = {https://doi.org/10.4018/IJKSR.2016010106}, doi = {10.4018/IJKSR.2016010106}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijksr/MahdiZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/ClassenN16, author = {Jens Cla{\ss}en and Malte Neuss}, editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke H{\"{u}}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen}, title = {Knowledge-Based Programs with Defaults in a Modal Situation Calculus}, booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {285}, pages = {1309--1317}, publisher = {{IOS} Press}, year = {2016}, url = {https://doi.org/10.3233/978-1-61499-672-9-1309}, doi = {10.3233/978-1-61499-672-9-1309}, timestamp = {Tue, 02 Nov 2021 15:59:05 +0100}, biburl = {https://dblp.org/rec/conf/ecai/ClassenN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/NepomucenoLNA15, author = {Juan A. Nepomuceno and Alicia Troncoso Lora and Isabel A. Nepomuceno{-}Chamorro and Jes{\'{u}}s S. Aguilar{-}Ruiz}, title = {Integrating biological knowledge based on functional annotations for biclustering of gene expression data}, journal = {Comput. Methods Programs Biomed.}, volume = {119}, number = {3}, pages = {163--180}, year = {2015}, url = {https://doi.org/10.1016/j.cmpb.2015.02.010}, doi = {10.1016/J.CMPB.2015.02.010}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/NepomucenoLNA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ZarriessC15, author = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en}, editor = {Diego Calvanese and Boris Konev}, title = {Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-38.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ZarriessC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LangZ15, author = {J{\'{e}}r{\^{o}}me Lang and Bruno Zanuttini}, editor = {Qiang Yang and Michael J. Wooldridge}, title = {Probabilistic Knowledge-Based Programs}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages = {1594--1600}, publisher = {{AAAI} Press}, year = {2015}, url = {http://ijcai.org/Abstract/15/228}, timestamp = {Tue, 20 Aug 2019 16:16:43 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LangZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/ZarriessC15, author = {Benjamin Zarrie{\ss} and Jens Cla{\ss}en}, editor = {Qiang Yang and Michael J. Wooldridge}, title = {Verification of Knowledge-Based Programs over Description Logic Actions}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages = {3278--3284}, publisher = {{AAAI} Press}, year = {2015}, url = {http://ijcai.org/Abstract/15/462}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/ZarriessC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jikm/SappMS14, author = {Carlton E. Sapp and Thomas A. Mazzuchi and Shahram Sarkani}, title = {Rationalising Business Intelligence Systems and Explicit Knowledge Objects: Improving Evidence-Based Management in Government Programs}, journal = {J. Inf. Knowl. Manag.}, volume = {13}, number = {2}, year = {2014}, url = {https://doi.org/10.1142/S021964921450018X}, doi = {10.1142/S021964921450018X}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jikm/SappMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kes/MarakakisKP14, author = {Emmanouil I. Marakakis and Haridimos Kondylakis and Nikos Papadakis}, title = {A knowledge-based interactive verifier for logic programs}, journal = {Int. J. Knowl. Based Intell. Eng. Syst.}, volume = {18}, number = {3}, pages = {143--156}, year = {2014}, url = {https://doi.org/10.3233/KES-140294}, doi = {10.3233/KES-140294}, timestamp = {Thu, 20 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/kes/MarakakisKP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/WichtWK13, author = {Andreas Wicht and Thomas Wetter and Ulrike Klein}, title = {A web-based system for clinical decision support and knowledge maintenance for deterioration monitoring of hemato-oncological patients}, journal = {Comput. Methods Programs Biomed.}, volume = {111}, number = {1}, pages = {26--32}, year = {2013}, url = {https://doi.org/10.1016/j.cmpb.2013.02.007}, doi = {10.1016/J.CMPB.2013.02.007}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/WichtWK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tark/LangZ13, author = {J{\'{e}}r{\^{o}}me Lang and Bruno Zanuttini}, editor = {Burkhard C. Schipper}, title = {Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence}, booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013}, year = {2013}, url = {http://www.tark.org/proceedings/tark\_jan7\_13/p138-lang.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tark/LangZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LangZ13, author = {J{\'{e}}r{\^{o}}me Lang and Bruno Zanuttini}, title = {Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence}, journal = {CoRR}, volume = {abs/1310.6429}, year = {2013}, url = {http://arxiv.org/abs/1310.6429}, eprinttype = {arXiv}, eprint = {1310.6429}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LangZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compute/BiharyRHS12, author = {Sidharth Bihary and Suman Roy and Tan Zi Han and Kiran Prakash Sawant}, editor = {R. K. Shyamasundar and Lokendra Shastri}, title = {A knowledge-based formalization of {UBL} processes using hybrid programs}, booktitle = {Proceedings of the 5th {ACM} {COMPUTE} Conference: Intelligent {\&} scalable system technologies, Pune, India, January 23-24, 2012}, pages = {13}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2459118.2459131}, doi = {10.1145/2459118.2459131}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compute/BiharyRHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/LangZ12, author = {J{\'{e}}r{\^{o}}me Lang and Bruno Zanuttini}, editor = {Luc De Raedt and Christian Bessiere and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}, title = {Knowledge-Based Programs as Plans - The Complexity of Plan Verification}, booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)} System Demonstrations Track, Montpellier, France, August 27-31 , 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {242}, pages = {504--509}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-098-7-504}, doi = {10.3233/978-1-61499-098-7-504}, timestamp = {Mon, 19 Jun 2023 16:36:09 +0200}, biburl = {https://dblp.org/rec/conf/ecai/LangZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Gammie11, author = {Peter Gammie}, title = {Knowledge-based programs}, journal = {Arch. Formal Proofs}, volume = {2011}, year = {2011}, url = {https://www.isa-afp.org/entries/KBPs.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Gammie11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itp/Gammie11, author = {Peter Gammie}, editor = {Marko C. J. D. van Eekelen and Herman Geuvers and Julien Schmaltz and Freek Wiedijk}, title = {Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments}, booktitle = {Interactive Theorem Proving - Second International Conference, {ITP} 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6898}, pages = {87--102}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22863-6\_9}, doi = {10.1007/978-3-642-22863-6\_9}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/itp/Gammie11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/LiuYT10, author = {Weiru Liu and Anbu Yue and David J. Timson}, title = {A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge}, journal = {Comput. Methods Programs Biomed.}, volume = {98}, number = {1}, pages = {45--54}, year = {2010}, url = {https://doi.org/10.1016/j.cmpb.2009.08.009}, doi = {10.1016/J.CMPB.2009.08.009}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/LiuYT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/Torralba-RodriguezMFM10, author = {Francisco Jes{\'{u}}s Torralba{-}Rodr{\'{\i}}guez and Vicente Bixquert Montagud and Jesualdo Tom{\'{a}}s Fern{\'{a}}ndez{-}Breis and Rodrigo Mart{\'{\i}}nez{-}B{\'{e}}jar}, title = {An incremental knowledge acquisition-based system for supporting decisions in biomedical domains}, journal = {Comput. Methods Programs Biomed.}, volume = {98}, number = {2}, pages = {161--171}, year = {2010}, url = {https://doi.org/10.1016/j.cmpb.2009.11.006}, doi = {10.1016/J.CMPB.2009.11.006}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/Torralba-RodriguezMFM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsks/BodeaCB10, author = {Constanta{-}Nicoleta Bodea and Narcisa Ciobotar and Vasile Bodea}, editor = {Miltiadis D. Lytras and Patricia Ord{\'{o}}{\~{n}}ez de Pablos and Adrian Ziderman and Alan Roulstone and Hermann A. Maurer and Jonathan B. Imber}, title = {Knowledge-Based Approach in Research Projects and Programs Evaluation}, booktitle = {Organizational, Business, and Technological Aspects of the Knowledge Society - Third World Summit on the Knowledge Society, {WSKS} 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part {II}}, series = {Communications in Computer and Information Science}, volume = {112}, pages = {326--335}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16324-1\_35}, doi = {10.1007/978-3-642-16324-1\_35}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wsks/BodeaCB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbia/BenevidesDC08, author = {Mario R. F. Benevides and Carla A. D. M. Delgado and Michel Carlini}, editor = {Gerson Zaverucha and Augusto Cesar Pinto Loureiro da Costa}, title = {Proving Epistemic and Temporal Properties from Knowledge Based Programs}, booktitle = {Advances in Artificial Intelligence - {SBIA} 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5249}, pages = {134--144}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88190-2\_19}, doi = {10.1007/978-3-540-88190-2\_19}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sbia/BenevidesDC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/HalpernM07, author = {Joseph Y. Halpern and Yoram Moses}, editor = {Manuela M. Veloso}, title = {Characterizing Solution Concepts in Games Using Knowledge-Based Programs}, booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, pages = {1300--1307}, year = {2007}, url = {http://ijcai.org/Proceedings/07/Papers/210.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:11 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/HalpernM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/FasquelAMSM06, author = {Jean{-}Baptiste Fasquel and Vincent Agnus and Johan Moreau and Luc Soler and Jacques Marescaux}, title = {An interactive medical image segmentation system based on the optimal management of regions of interest using topological medical knowledge}, journal = {Comput. Methods Programs Biomed.}, volume = {82}, number = {3}, pages = {216--230}, year = {2006}, url = {https://doi.org/10.1016/j.cmpb.2006.04.004}, doi = {10.1016/J.CMPB.2006.04.004}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/FasquelAMSM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/ClassenL06, author = {Jens Cla{\ss}en and Gerhard Lakemeyer}, editor = {Patrick Doherty and John Mylopoulos and Christopher A. Welty}, title = {Foundations for Knowledge-Based Programs using {ES}}, booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006}, pages = {318--328}, publisher = {{AAAI} Press}, year = {2006}, url = {http://www.aaai.org/Library/KR/2006/kr06-034.php}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/ClassenL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0610098, author = {Joseph Y. Halpern and Yoram Moses}, title = {Characterizing Solution Concepts in Games Using Knowledge-Based Programs}, journal = {CoRR}, volume = {abs/cs/0610098}, year = {2006}, url = {http://arxiv.org/abs/cs/0610098}, eprinttype = {arXiv}, eprint = {cs/0610098}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0610098.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/PhilippJFBLW05, author = {Frank Philipp and M. Jantke and Ekkehard Finkeissen and Bernd Beedgen and Otwin Linderkamp and Thomas Wetter}, title = {Introducing DoT-U2 - an XML-based knowledge supported checklist software for documentation of a newborn clinical screening examination}, journal = {Comput. Methods Programs Biomed.}, volume = {77}, number = {2}, pages = {115--120}, year = {2005}, url = {https://doi.org/10.1016/j.cmpb.2004.09.005}, doi = {10.1016/J.CMPB.2004.09.005}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/PhilippJFBLW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/SubasicLS05, author = {Marko Subasic and Sven Loncaric and Erich Sorantin}, title = {Model-based quantitative {AAA} image analysis using a priori knowledge}, journal = {Comput. Methods Programs Biomed.}, volume = {80}, number = {2}, pages = {103--114}, year = {2005}, url = {https://doi.org/10.1016/j.cmpb.2005.06.009}, doi = {10.1016/J.CMPB.2005.06.009}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/SubasicLS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/LavernyL05, author = {No{\"{e}}l Laverny and J{\'{e}}r{\^{o}}me Lang}, title = {From Knowledge-based Programs to Graded Belief-based Programs, Part {I:} On-line Reasoning\({}^{\mbox{*}}\)}, journal = {Synth.}, volume = {147}, number = {2}, pages = {277--321}, year = {2005}, url = {https://doi.org/10.1007/s11229-005-1350-1}, doi = {10.1007/S11229-005-1350-1}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/LavernyL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcis/CantuCME05, author = {Francisco J. Cantu and Hector G. Ceballos and Silvia P. Mora and Miguel A. Escoffie}, editor = {Deepak Khazanchi and Ilze Zigurs}, title = {A Knowledge Based Information System for Managing Research Programs and Value Creation in a University Environment}, booktitle = {A Conference on a Human Scale. 11th Americas Conference on Information Systems, {AMCIS} 2005, Omaha, Nebraska, USA, August 11-14, 2005}, pages = {357}, publisher = {Association for Information Systems}, year = {2005}, url = {http://aisel.aisnet.org/amcis2005/357}, timestamp = {Fri, 06 Jan 2012 11:23:55 +0100}, biburl = {https://dblp.org/rec/conf/amcis/CantuCME05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/KlugeKN05, author = {Michael Kluge and Andreas Kn{\"{u}}pfer and Wolfgang E. Nagel}, editor = {Jos{\'{e}} C. Cunha and Pedro D. Medeiros}, title = {Knowledge Based Automatic Scalability Analysis and Extrapolation for {MPI} Programs}, booktitle = {Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3648}, pages = {176--184}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11549468\_22}, doi = {10.1007/11549468\_22}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europar/KlugeKN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LavernyL05, author = {No{\"{e}}l Laverny and J{\'{e}}r{\^{o}}me Lang}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, title = {From knowledge-based programs to graded belief-based programs, part {II:} off-line reasoning}, booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}, pages = {497--502}, publisher = {Professional Book Center}, year = {2005}, url = {http://ijcai.org/Proceedings/05/Papers/0997.pdf}, timestamp = {Tue, 20 Aug 2019 16:16:29 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LavernyL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/YanJZFXP04, author = {Hongmei Yan and Yingtao Jiang and Jun Zheng and Bingmei Fu and Shouzhong Xiao and Chenglin Peng}, title = {The internet-based knowledge acquisition and management method to construct large-scale distributed medical expert systems}, journal = {Comput. Methods Programs Biomed.}, volume = {74}, number = {1}, pages = {1--10}, year = {2004}, url = {https://doi.org/10.1016/S0169-2607(03)00076-2}, doi = {10.1016/S0169-2607(03)00076-2}, timestamp = {Mon, 01 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cmpb/YanJZFXP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/LavernyL04, author = {No{\"{e}}l Laverny and J{\'{e}}r{\^{o}}me Lang}, editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and Lorenza Saitta}, title = {From Knowledge-Based Programs to Graded Belief-Based Programs Part {I:} On-Line Reasoning}, booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, {PAIS} 2004, Valencia, Spain, August 22-27, 2004}, pages = {368--372}, publisher = {{IOS} Press}, year = {2004}, timestamp = {Fri, 11 May 2018 12:42:30 +0200}, biburl = {https://dblp.org/rec/conf/ecai/LavernyL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cmpb/KalogeropoulosCC03, author = {Dimitris A. Kalogeropoulos and Ewart R. Carson and Paul O. Collinson}, title = {Towards knowledge-based systems in clinical practice: : Development of an integrated clinical information and knowledge management support system}, journal = {Comput. Methods Programs Biomed.}, volume = {72}, number = {1}, pages = {65--80}, year = {2003}, url = {https://doi.org/10.1016/S0169-2607(02)00118-9}, doi = {10.1016/S0169-2607(02)00118-9}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cmpb/KalogeropoulosCC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/EllmanDF02, author = {Thomas Ellman and Ryan Deak and Jason Fotinatos}, title = {Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation}, booktitle = {17th {IEEE} International Conference on Automated Software Engineering {(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}}, pages = {93}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ASE.2002.1114998}, doi = {10.1109/ASE.2002.1114998}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/EllmanDF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/Halpern00, author = {Joseph Y. Halpern}, title = {A note on knowledge-based programs and specifications}, journal = {Distributed Comput.}, volume = {13}, number = {3}, pages = {145--153}, year = {2000}, url = {https://doi.org/10.1007/PL00008916}, doi = {10.1007/PL00008916}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/Halpern00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-DC-0003058, author = {Joseph Y. Halpern}, title = {A note on knowledge-based programs and specifications}, journal = {CoRR}, volume = {cs.DC/0003058}, year = {2000}, url = {https://arxiv.org/abs/cs/0003058}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-DC-0003058.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pami/ClouardEPR99, author = {R{\'{e}}gis Clouard and Abderrahim Elmoataz and Christine Porquet and Marinette Revenu}, title = {Borg: {A} Knowledge-Based System for Automatic Generation of Image Processing Programs}, journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.}, volume = {21}, number = {2}, pages = {128--144}, year = {1999}, url = {https://doi.org/10.1109/34.748822}, doi = {10.1109/34.748822}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pami/ClouardEPR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/Trausan-MatuN98, author = {Stefan Trausan{-}Matu and Lorina Negreanu}, title = {Tricky Errors in {C} Programs and Their Detection by Knowledge-Based Reverse Engineering}, journal = {Sci. Ann. Cuza Univ.}, volume = {8}, pages = {162--176}, year = {1998}, timestamp = {Tue, 08 Feb 2011 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cuza/Trausan-MatuN98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aei/SohSL97, author = {Chee{-}Kiong Soh and Ai{-}Kah Soh and Kum{-}Yew Lai}, title = {Libra: a high fidelity knowledge-based system for recommending scheduling programs}, journal = {Artif. Intell. Eng.}, volume = {11}, number = {2}, pages = {77--90}, year = {1997}, url = {https://doi.org/10.1016/0954-1810(95)00031-3}, doi = {10.1016/0954-1810(95)00031-3}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aei/SohSL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/FaginHMV97, author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi}, title = {Knowledge-Based Programs}, journal = {Distributed Comput.}, volume = {10}, number = {4}, pages = {199--225}, year = {1997}, url = {https://doi.org/10.1007/s004460050038}, doi = {10.1007/S004460050038}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/FaginHMV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parco/EspinosaML97, author = {Antonio Espinosa and Tom{\`{a}}s Margalef and Emilio Luque}, editor = {Erik H. D'Hollander and Gerhard R. Joubert and Frans J. Peters and Ulrich Trottenberg}, title = {Knowledge-based automatic performance analysis of parallel programs}, booktitle = {Parallel Computing: Fundamentals, Applications and New Directions, Proceedings of the Conference ParCo'97, 19-22 September 1997, Bonn, Germany}, series = {Advances in Parallel Computing}, volume = {12}, pages = {697--700}, publisher = {Elsevier}, year = {1997}, timestamp = {Tue, 10 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/parco/EspinosaML97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Meyden96, author = {Ron van der Meyden}, editor = {Vijay Chandru and V. Vinay}, title = {Finite State Implementations of Knowledge-Based Programs}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1180}, pages = {262--273}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-62034-6\_55}, doi = {10.1007/3-540-62034-6\_55}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Meyden96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/HarmerMB96, author = {Terence J. Harmer and Patrick J. McParland and James M. Boyle}, title = {Using knowledge-based transformations to reverse-engineer {COBOL} programs}, booktitle = {Proceedings of the 11th Knowledge-Based Software Engineering Conference, {KBSE} 1996, Syracuse, NY, USA, September 25-28, 1996}, pages = {114--123}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/KBSE.1996.552829}, doi = {10.1109/KBSE.1996.552829}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/HarmerMB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/KeaneE96, author = {John Eric Keane and Thomas Ellman}, title = {Knowledge-based re-engineering of legacy programs for robustness in automated design}, booktitle = {Proceedings of the 11th Knowledge-Based Software Engineering Conference, {KBSE} 1996, Syracuse, NY, USA, September 25-28, 1996}, pages = {104--113}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {https://doi.org/10.1109/KBSE.1996.552828}, doi = {10.1109/KBSE.1996.552828}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/KeaneE96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/Meyden96, author = {Ron van der Meyden}, editor = {Lawrence Cavedon and Anand S. Rao and Wayne Wobcke}, title = {Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall}, booktitle = {Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30, 1996}, series = {Lecture Notes in Computer Science}, volume = {1209}, pages = {135--151}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-62686-7\_33}, doi = {10.1007/3-540-62686-7\_33}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/pricai/Meyden96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tark/Meyden96, author = {Ron van der Meyden}, editor = {Yoav Shoham}, title = {Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments}, booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996}, pages = {31--49}, publisher = {Morgan Kaufmann}, year = {1996}, timestamp = {Thu, 23 Jun 2016 15:53:28 +0200}, biburl = {https://dblp.org/rec/conf/tark/Meyden96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tark/Vardi96, author = {Moshe Y. Vardi}, editor = {Yoav Shoham}, title = {Implementing Knowledge-Based Programs}, booktitle = {Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996}, pages = {15--30}, publisher = {Morgan Kaufmann}, year = {1996}, timestamp = {Tue, 05 Mar 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tark/Vardi96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/FaginHMV95, author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi}, editor = {James H. Anderson}, title = {Knowledge-Based Programs}, booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995}, pages = {153--163}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/224964.224982}, doi = {10.1145/224964.224982}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/FaginHMV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/SaneC95, author = {Aamod Sane and Roy H. Campbell}, editor = {James H. Anderson}, title = {Compiling Knowledge-Based Programs (Abstract)}, booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995}, pages = {268}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/224964.225006}, doi = {10.1145/224964.225006}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/SaneC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wlp/Vargas-VeraR94, author = {Maria Vargas{-}Vera and David Stuart Robertson}, editor = {Norbert E. Fuchs and Georg Gottlob}, title = {An Environment for Building Prolog Programs Based on Knowledge about their Construction}, booktitle = {Proceedings of the Tenth Logic Programming Workshop, {WLP} 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10}, pages = {73--76}, publisher = {Institut f{\"{u}}r Informatik der Universit{\"{a}}t Z{\"{u}}rich}, year = {1994}, timestamp = {Tue, 13 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wlp/Vargas-VeraR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdp/BensonMM093, author = {T. J. G. Benson and Peter Milligan and Richard McConnell and Alan Rea}, title = {A knowledge based approach to the development of parallel programs}, booktitle = {1993 Euromicro Workshop on Parallel and Distributed Processing, {PDP} 1993, Gran Canaria, Spain, 27-29 January 1993}, pages = {457--463}, publisher = {{IEEE}}, year = {1993}, url = {https://doi.org/10.1109/EMPDP.1993.336366}, doi = {10.1109/EMPDP.1993.336366}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/pdp/BensonMM093.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/93/Rangaswamy93, author = {Arvind Rangaswamy}, editor = {Jehoshua Eliashberg and Gary L. Lilian}, title = {Chapter 16 Marketing decision models: From linear programs to knowledge-based systems}, booktitle = {Marketing}, series = {Handbooks in operations research and management science}, volume = {5}, pages = {733--771}, publisher = {North-Holland}, year = {1993}, url = {https://doi.org/10.1016/s0927-0507(05)80039-8}, doi = {10.1016/S0927-0507(05)80039-8}, timestamp = {Mon, 11 May 2020 14:39:52 +0200}, biburl = {https://dblp.org/rec/books/el/93/Rangaswamy93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/MillerQ92, author = {Lawrence Miller and Alex Quilici}, title = {A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs}, booktitle = {SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy}, pages = {158--163}, publisher = {{IEEE} Computer Society}, year = {1992}, url = {https://doi.org/10.1109/SEKE.1992.227934}, doi = {10.1109/SEKE.1992.227934}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/MillerQ92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/interact/ZuylenG90, author = {Henk J. van Zuylen and Herman Gerritsen}, editor = {Dan Diaper and David J. Gilmore and Gilbert Cockton and Brian Shackel}, title = {Knowledge based user interfaces for scientific programs}, booktitle = {Human-Computer Interaction, {INTERACT} '90, Proceedings of the {IFIP} {TC13} Third Interantional Conference on Human-Computer Interaction, Cambridge, UK, 27-31 August, 1990}, pages = {827--832}, publisher = {North-Holland}, year = {1990}, timestamp = {Mon, 07 Jan 2002 11:09:13 +0100}, biburl = {https://dblp.org/rec/conf/interact/ZuylenG90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:tr/ibm/IWBS132, author = {Stefan B{\"{o}}ttcher}, title = {An Inference Engine for Function Free Logic Programs}, journal = {{IWBS} Report}, volume = {132}, year = {1990}, timestamp = {Thu, 08 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/tr/ibm/IWBS132.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/ChengW89, author = {Wan{-}Hong S. Cheng and Virgil Wallentine}, title = {{DEBL:} {A} Knowledge-Based Language for Specifying and Debugging Distributed Programs}, journal = {Commun. {ACM}}, volume = {32}, number = {9}, pages = {1079--1084}, year = {1989}, url = {https://doi.org/10.1145/66451.66455}, doi = {10.1145/66451.66455}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cacm/ChengW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/RobachLG89, author = {Chantal Robach and Daniel Lutoff and Nouar Garcia}, title = {Knowledge-based functional specification of test and maintenance programs}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {8}, number = {11}, pages = {1145--1156}, year = {1989}, url = {https://doi.org/10.1109/43.41500}, doi = {10.1109/43.41500}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/RobachLG89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/CheugW89, author = {Wan{-}Hong S. Cheng and Virgil Wallentine}, editor = {Arthur M. Riehl}, title = {{DEBL:} {A} Knowledge-Based Language for Specifying and Debugging Programs}, booktitle = {Computer Trends in the 1990s - Proceedings of the 1989 {ACM} 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989}, pages = {70--77}, publisher = {{ACM}}, year = {1989}, url = {https://doi.org/10.1145/75427.75434}, doi = {10.1145/75427.75434}, timestamp = {Fri, 02 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acm/CheugW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/ZhuJ89, author = {Hong Zhu and Lingzi Jin}, editor = {Jo{\~{a}}o P. Martins and Ernesto M. Morgado}, title = {A Knowledge-Based System to Synthesize {FP} Programs from Examples}, booktitle = {{EPIA} 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {390}, pages = {234--245}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-51665-4\_89}, doi = {10.1007/3-540-51665-4\_89}, timestamp = {Thu, 30 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epia/ZhuJ89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppsc/RussoK89, author = {Mark F. Russo and A. Daniel Kowalski}, editor = {Jack J. Dongarra and Paul Messina and Danny C. Sorensen and Robert G. Voigt}, title = {Knowledge-Based Assistance for the Generation of Parallel Numerical Programs}, booktitle = {Proceedings of the Fourth {SIAM} Conference on Parallel Processing for Scientific Computing, Chicago, Illinois, USA, December 11-13, 1989}, pages = {448--450}, publisher = {{SIAM}}, year = {1989}, timestamp = {Wed, 03 Jul 2024 11:12:25 +0200}, biburl = {https://dblp.org/rec/conf/ppsc/RussoK89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Snowden87, author = {David S. Snowden}, title = {Knowledge-based diagnosis of semantic errors in {ADA} programs}, school = {University of York, {UK}}, year = {1987}, url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379017}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Snowden87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/LuckO81, author = {Kai von Luck and Bernd Owsnicki{-}Klewe}, editor = {J{\"{o}}rg H. Siekmann}, title = {Structures for Knowledge-Based Chess Programs}, booktitle = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany, January 26-31, 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {47}, pages = {297--306}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-662-02328-0\_27}, doi = {10.1007/978-3-662-02328-0\_27}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ki/LuckO81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Melle80, author = {William van Melle}, title = {A domain-independent system that aids in constructing knowledge-based consultation programs}, school = {Stanford University, {USA}}, year = {1980}, url = {https://searchworks.stanford.edu/view/842415}, timestamp = {Tue, 23 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Melle80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/NiiA79, author = {H. Penny Nii and Nelleke Aiello}, editor = {Bruce G. Buchanan}, title = {{AGE} (Attempt to Generalize): {A} Knowledge-Based Program for Building Knowledge-Based Programs}, booktitle = {Proceedings of the Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes}, pages = {645--655}, publisher = {William Kaufmann}, year = {1979}, timestamp = {Tue, 20 Aug 2019 16:16:26 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/NiiA79.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.