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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/esop/KnappMR23,
author = {Alexander Knapp and
Heribert M{\"{u}}hlberger and
Bernhard Reus},
title = {Interpreting Knowledge-based Programs},
booktitle = {{ESOP}},
series = {Lecture Notes in Computer Science},
volume = {13990},
pages = {253--280},
publisher = {Springer},
year = {2023}
}
@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}
}
@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}
}
@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}
}
@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 = {{ICSE}},
pages = {1245--1256},
publisher = {{ACM}},
year = {2022}
}
@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 = {{SCIS/ISIS}},
pages = {1--8},
publisher = {{IEEE}},
year = {2022}
}
@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}
}
@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}
}
@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}
}
@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 = {{CSF}},
pages = {175--188},
publisher = {{IEEE} Computer Society},
year = {2018}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/ecai/ClassenN16,
author = {Jens Cla{\ss}en and
Malte Neuss},
title = {Knowledge-Based Programs with Defaults in a Modal Situation Calculus},
booktitle = {{ECAI}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1309--1317},
publisher = {{IOS} Press},
year = {2016}
}
@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}
}
@inproceedings{DBLP:conf/dlog/ZarriessC15,
author = {Benjamin Zarrie{\ss} and
Jens Cla{\ss}en},
title = {Decidable Verification of Knowledge-Based Programs over Description
Logic Actions with Sensing},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015}
}
@inproceedings{DBLP:conf/ijcai/LangZ15,
author = {J{\'{e}}r{\^{o}}me Lang and
Bruno Zanuttini},
title = {Probabilistic Knowledge-Based Programs},
booktitle = {{IJCAI}},
pages = {1594--1600},
publisher = {{AAAI} Press},
year = {2015}
}
@inproceedings{DBLP:conf/ijcai/ZarriessC15,
author = {Benjamin Zarrie{\ss} and
Jens Cla{\ss}en},
title = {Verification of Knowledge-Based Programs over Description Logic Actions},
booktitle = {{IJCAI}},
pages = {3278--3284},
publisher = {{AAAI} Press},
year = {2015}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/tark/LangZ13,
author = {J{\'{e}}r{\^{o}}me Lang and
Bruno Zanuttini},
title = {Knowledge-Based Programs as Plans: Succinctness and the Complexity
of Plan Existence},
booktitle = {{TARK}},
year = {2013}
}
@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}
}
@inproceedings{DBLP:conf/compute/BiharyRHS12,
author = {Sidharth Bihary and
Suman Roy and
Tan Zi Han and
Kiran Prakash Sawant},
title = {A knowledge-based formalization of {UBL} processes using hybrid programs},
booktitle = {{COMPUTE}},
pages = {13},
publisher = {{ACM}},
year = {2012}
}
@inproceedings{DBLP:conf/ecai/LangZ12,
author = {J{\'{e}}r{\^{o}}me Lang and
Bruno Zanuttini},
title = {Knowledge-Based Programs as Plans - The Complexity of Plan Verification},
booktitle = {{ECAI}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {504--509},
publisher = {{IOS} Press},
year = {2012}
}
@article{DBLP:journals/afp/Gammie11,
author = {Peter Gammie},
title = {Knowledge-based programs},
journal = {Arch. Formal Proofs},
volume = {2011},
year = {2011}
}
@inproceedings{DBLP:conf/itp/Gammie11,
author = {Peter Gammie},
title = {Verified Synthesis of Knowledge-Based Programs in Finite Synchronous
Environments},
booktitle = {{ITP}},
series = {Lecture Notes in Computer Science},
volume = {6898},
pages = {87--102},
publisher = {Springer},
year = {2011}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/wsks/BodeaCB10,
author = {Constanta{-}Nicoleta Bodea and
Narcisa Ciobotar and
Vasile Bodea},
title = {Knowledge-Based Approach in Research Projects and Programs Evaluation},
booktitle = {{WSKS} {(2)}},
series = {Communications in Computer and Information Science},
volume = {112},
pages = {326--335},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/sbia/BenevidesDC08,
author = {Mario R. F. Benevides and
Carla A. D. M. Delgado and
Michel Carlini},
title = {Proving Epistemic and Temporal Properties from Knowledge Based Programs},
booktitle = {{SBIA}},
series = {Lecture Notes in Computer Science},
volume = {5249},
pages = {134--144},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/ijcai/HalpernM07,
author = {Joseph Y. Halpern and
Yoram Moses},
title = {Characterizing Solution Concepts in Games Using Knowledge-Based Programs},
booktitle = {{IJCAI}},
pages = {1300--1307},
year = {2007}
}
@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}
}
@inproceedings{DBLP:conf/kr/ClassenL06,
author = {Jens Cla{\ss}en and
Gerhard Lakemeyer},
title = {Foundations for Knowledge-Based Programs using {ES}},
booktitle = {{KR}},
pages = {318--328},
publisher = {{AAAI} Press},
year = {2006}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/amcis/CantuCME05,
author = {Francisco J. Cantu and
Hector G. Ceballos and
Silvia P. Mora and
Miguel A. Escoffie},
title = {A Knowledge Based Information System for Managing Research Programs
and Value Creation in a University Environment},
booktitle = {{AMCIS}},
pages = {357},
publisher = {Association for Information Systems},
year = {2005}
}
@inproceedings{DBLP:conf/europar/KlugeKN05,
author = {Michael Kluge and
Andreas Kn{\"{u}}pfer and
Wolfgang E. Nagel},
title = {Knowledge Based Automatic Scalability Analysis and Extrapolation for
{MPI} Programs},
booktitle = {Euro-Par},
series = {Lecture Notes in Computer Science},
volume = {3648},
pages = {176--184},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/ijcai/LavernyL05,
author = {No{\"{e}}l Laverny and
J{\'{e}}r{\^{o}}me Lang},
title = {From knowledge-based programs to graded belief-based programs, part
{II:} off-line reasoning},
booktitle = {{IJCAI}},
pages = {497--502},
publisher = {Professional Book Center},
year = {2005}
}
@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}
}
@inproceedings{DBLP:conf/ecai/LavernyL04,
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},
booktitle = {{ECAI}},
pages = {368--372},
publisher = {{IOS} Press},
year = {2004}
}
@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}
}
@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 = {{ASE}},
pages = {93},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/parco/EspinosaML97,
author = {Antonio Espinosa and
Tom{\`{a}}s Margalef and
Emilio Luque},
title = {Knowledge-based automatic performance analysis of parallel programs},
booktitle = {{PARCO}},
series = {Advances in Parallel Computing},
volume = {12},
pages = {697--700},
publisher = {Elsevier},
year = {1997}
}
@inproceedings{DBLP:conf/fsttcs/Meyden96,
author = {Ron van der Meyden},
title = {Finite State Implementations of Knowledge-Based Programs},
booktitle = {{FSTTCS}},
series = {Lecture Notes in Computer Science},
volume = {1180},
pages = {262--273},
publisher = {Springer},
year = {1996}
}
@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 = {{KBSE}},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {1996}
}
@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 = {{KBSE}},
pages = {104--113},
publisher = {{IEEE} Computer Society},
year = {1996}
}
@inproceedings{DBLP:conf/pricai/Meyden96,
author = {Ron van der Meyden},
title = {Constructing Finite State Implementations of Knowledge-Based Programs
with Perfect Recall},
booktitle = {{PRICAI} Workshop on Intelligent Agent Systems},
series = {Lecture Notes in Computer Science},
volume = {1209},
pages = {135--151},
publisher = {Springer},
year = {1996}
}
@inproceedings{DBLP:conf/tark/Meyden96,
author = {Ron van der Meyden},
title = {Knowledge Based Programs: On the Complexity of Perfect Recall in Finite
Environments},
booktitle = {{TARK}},
pages = {31--49},
publisher = {Morgan Kaufmann},
year = {1996}
}
@inproceedings{DBLP:conf/tark/Vardi96,
author = {Moshe Y. Vardi},
title = {Implementing Knowledge-Based Programs},
booktitle = {{TARK}},
pages = {15--30},
publisher = {Morgan Kaufmann},
year = {1996}
}
@inproceedings{DBLP:conf/podc/FaginHMV95,
author = {Ronald Fagin and
Joseph Y. Halpern and
Yoram Moses and
Moshe Y. Vardi},
title = {Knowledge-Based Programs},
booktitle = {{PODC}},
pages = {153--163},
publisher = {{ACM}},
year = {1995}
}
@inproceedings{DBLP:conf/podc/SaneC95,
author = {Aamod Sane and
Roy H. Campbell},
title = {Compiling Knowledge-Based Programs (Abstract)},
booktitle = {{PODC}},
pages = {268},
publisher = {{ACM}},
year = {1995}
}
@inproceedings{DBLP:conf/wlp/Vargas-VeraR94,
author = {Maria Vargas{-}Vera and
David Stuart Robertson},
title = {An Environment for Building Prolog Programs Based on Knowledge about
their Construction},
booktitle = {{WLP}},
pages = {73--76},
publisher = {Institut f{\"{u}}r Informatik der Universit{\"{a}}t Z{\"{u}}rich},
year = {1994}
}
@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 = {{PDP}},
pages = {457--463},
publisher = {{IEEE}},
year = {1993}
}
@incollection{DBLP:books/el/93/Rangaswamy93,
author = {Arvind Rangaswamy},
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}
}
@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}},
pages = {158--163},
publisher = {{IEEE} Computer Society},
year = {1992}
}
@inproceedings{DBLP:conf/interact/ZuylenG90,
author = {Henk J. van Zuylen and
Herman Gerritsen},
title = {Knowledge based user interfaces for scientific programs},
booktitle = {{INTERACT}},
pages = {827--832},
publisher = {North-Holland},
year = {1990}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/acm/CheugW89,
author = {Wan{-}Hong S. Cheng and
Virgil Wallentine},
title = {{DEBL:} {A} Knowledge-Based Language for Specifying and Debugging
Programs},
booktitle = {{ACM} Conference on Computer Science},
pages = {70--77},
publisher = {{ACM}},
year = {1989}
}
@inproceedings{DBLP:conf/epia/ZhuJ89,
author = {Hong Zhu and
Lingzi Jin},
title = {A Knowledge-Based System to Synthesize {FP} Programs from Examples},
booktitle = {{EPIA}},
series = {Lecture Notes in Computer Science},
volume = {390},
pages = {234--245},
publisher = {Springer},
year = {1989}
}
@inproceedings{DBLP:conf/ppsc/RussoK89,
author = {Mark F. Russo and
A. Daniel Kowalski},
title = {Knowledge-Based Assistance for the Generation of Parallel Numerical
Programs},
booktitle = {{PP}},
pages = {448--450},
publisher = {{SIAM}},
year = {1989}
}
@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}
}
@inproceedings{DBLP:conf/ki/LuckO81,
author = {Kai von Luck and
Bernd Owsnicki{-}Klewe},
title = {Structures for Knowledge-Based Chess Programs},
booktitle = {{GWAI}},
series = {Informatik-Fachberichte},
volume = {47},
pages = {297--306},
publisher = {Springer},
year = {1981}
}
@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}
}
@inproceedings{DBLP:conf/ijcai/NiiA79,
author = {H. Penny Nii and
Nelleke Aiello},
title = {{AGE} (Attempt to Generalize): {A} Knowledge-Based Program for Building
Knowledge-Based Programs},
booktitle = {{IJCAI}},
pages = {645--655},
publisher = {William Kaufmann},
year = {1979}
}
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 21:41 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:
