default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Knowledge-based programs."
download as .bib file
@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 = {Thu, 20 Feb 2020 00:00:00 +0100},
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 = {Wed, 17 May 2017 14:24:46 +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 = {Thu, 20 Feb 2020 00:00:00 +0100},
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.
retrieved on 2024-09-16 09:46 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:
