Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "reason maintenance"
download as .bib file
@article{DBLP:journals/tim/SunZFHH24,
author = {Yijie Sun and
Zhi{-}Jie Zhou and
Zhichao Feng and
Changhua Hu and
Xiaoxia Han},
title = {Optimal Maintenance Timing Determination for Complex Electromechanical
Equipment Based on Evidential Reasoning},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {73},
pages = {1--12},
year = {2024},
url = {https://doi.org/10.1109/TIM.2023.3343774},
doi = {10.1109/TIM.2023.3343774},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tim/SunZFHH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/SongZL23,
author = {Mengchu Song and
Xinxin Zhang and
Morten Lind},
title = {Automatic identification of maintenance significant items in reliability
centered maintenance analysis by using functional modeling and reasoning},
journal = {Comput. Ind. Eng.},
volume = {182},
pages = {109409},
year = {2023},
url = {https://doi.org/10.1016/j.cie.2023.109409},
doi = {10.1016/J.CIE.2023.109409},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/candie/SongZL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/MoghadamBST23,
author = {Mehdi Akbari Moghadam and
Sajad Bagheri and
Amir Hosein Salemi and
Mohammad Bagher Tavakoli},
title = {Long-term maintenance planning of medium voltage overhead lines considering
the uncertainties and reasons for interruption in a real distribution
network},
journal = {Reliab. Eng. Syst. Saf.},
volume = {233},
pages = {109089},
year = {2023},
url = {https://doi.org/10.1016/j.ress.2023.109089},
doi = {10.1016/J.RESS.2023.109089},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/MoghadamBST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcise/HoffmanSBK22,
author = {Michael Hoffman and
Eunhye Song and
Michael Brundage and
Soundar Kumara},
title = {Online Maintenance Prioritization Via Monte Carlo Tree Search and
Case-Based Reasoning},
journal = {J. Comput. Inf. Sci. Eng.},
volume = {22},
number = {4},
year = {2022},
url = {https://doi.org/10.1115/1.4053408},
doi = {10.1115/1.4053408},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcise/HoffmanSBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/DuarteB22,
author = {Ana Duarte and
Orlando Belo},
editor = {Sigeru Omatu and
Rashid Mehmood and
Pawel Sitek and
Serafino Cicerone and
Sara Rodr{\'{\i}}guez},
title = {An Alternative Metric to Support Case Base Maintenance in Case-Based
Reasoning Processes},
booktitle = {Distributed Computing and Artificial Intelligence, 19th International
Conference, {DCAI} 2022, L'Aquila, Italy, 13-15 July 2022},
series = {Lecture Notes in Networks and Systems},
volume = {583},
pages = {11--19},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20859-1\_2},
doi = {10.1007/978-3-031-20859-1\_2},
timestamp = {Mon, 11 Mar 2024 20:43:17 +0100},
biburl = {https://dblp.org/rec/conf/dcai/DuarteB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LinHS21,
author = {Mingchi Lin and
Dubo He and
Shengxiang Sun},
title = {Multivariable Case Adaptation Method of Case-Based Reasoning Based
on Multi-Case Clusters and Multi-Output Support Vector Machine for
Equipment Maintenance Cost Prediction},
journal = {{IEEE} Access},
volume = {9},
pages = {151960--151971},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3117585},
doi = {10.1109/ACCESS.2021.3117585},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/LinHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ZhangM21,
author = {Haoyuan Zhang and
D. William R. Marsh},
title = {Managing infrastructure asset: Bayesian networks for inspection and
maintenance decisions reasoning and planning},
journal = {Reliab. Eng. Syst. Saf.},
volume = {207},
pages = {107328},
year = {2021},
url = {https://doi.org/10.1016/j.ress.2020.107328},
doi = {10.1016/J.RESS.2020.107328},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/ZhangM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifuzzy/Reddy21,
author = {Poli Venkata Subba Reddy},
title = {Fuzzy Truth Maintenance System for Non-Monotonic Reasoning},
booktitle = {2021 International Conference on Fuzzy Theory and Its Applications,
iFUZZY 2021, Taitung, Taiwan, October 5-8, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/iFUZZY53132.2021.9605089},
doi = {10.1109/IFUZZY53132.2021.9605089},
timestamp = {Tue, 30 Nov 2021 17:31:23 +0100},
biburl = {https://dblp.org/rec/conf/ifuzzy/Reddy21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/JimenezVG21,
author = {Juan Jos{\'{e}} Montero Jim{\'{e}}nez and
Rob A. Vingerhoeds and
Bernard Grabot},
title = {Enhancing predictive maintenance architecture process by using ontology-enabled
Case-Based Reasoning},
booktitle = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2021,
Vienna, Austria, September 13 - October 13, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSE51541.2021.9582535},
doi = {10.1109/ISSE51541.2021.9582535},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isse2/JimenezVG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CeroneMNTP21,
author = {Antonio Cerone and
Diana Murzagaliyeva and
Nuray Nabiyeva and
Ben Tyler and
Graham Pluck},
editor = {Antonio Cerone and
Marco Autili and
Alessio Bucaioni and
Cl{\'{a}}udio Gomes and
Pierluigi Graziani and
Maurizio Palmieri and
Marco Temperini and
Gentiane Venture},
title = {In Silico Simulations and Analysis of Human Phonological Working Memory
Maintenance and Learning Mechanisms with Behavior and Reasoning Description
Language {(BRDL)}},
booktitle = {Software Engineering and Formal Methods. {SEFM} 2021 Collocated Workshops
- CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13230},
pages = {37--52},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-12429-7\_3},
doi = {10.1007/978-3-031-12429-7\_3},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CeroneMNTP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/DalzochioKPBSFB20,
author = {Jovani Dalzochio and
Rafael Kunst and
Edison Pignaton and
Al{\'{e}}cio Pedro Delazari Binotto and
Srijnan Sanyal and
Jose Favilla and
Jorge L. V. Barbosa},
title = {Machine learning and reasoning for predictive maintenance in Industry
4.0: Current status and challenges},
journal = {Comput. Ind.},
volume = {123},
pages = {103298},
year = {2020},
url = {https://doi.org/10.1016/j.compind.2020.103298},
doi = {10.1016/J.COMPIND.2020.103298},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cii/DalzochioKPBSFB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/NakhjiriSS20,
author = {Nariman Nakhjiri and
Maria Salam{\'{o}} and
Miquel S{\`{a}}nchez{-}Marr{\`{e}}},
title = {Reputation-Based Maintenance in Case-Based Reasoning},
journal = {Knowl. Based Syst.},
volume = {193},
pages = {105283},
year = {2020},
url = {https://doi.org/10.1016/j.knosys.2019.105283},
doi = {10.1016/J.KNOSYS.2019.105283},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/NakhjiriSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/ShamsVOP20,
author = {Zohreh Shams and
Marina De Vos and
Nir Oren and
Julian A. Padget},
title = {Argumentation-Based Reasoning about Plans, Maintenance Goals, and
Norms},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {14},
number = {3},
pages = {9:1--9:39},
year = {2020},
url = {https://doi.org/10.1145/3364220},
doi = {10.1145/3364220},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/ShamsVOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SmitiE20,
author = {Abir Smiti and
Zied Elouedi},
title = {Dynamic maintenance case base using knowledge discovery techniques
for case based reasoning systems},
journal = {Theor. Comput. Sci.},
volume = {817},
pages = {24--32},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.06.026},
doi = {10.1016/J.TCS.2019.06.026},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/SmitiE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FanL20,
author = {Tuan{-}Fang Fan and
Churn{-}Jung Liau},
title = {Reason-maintenance Belief Logic with Uncertain Information},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {1},
pages = {3:1--3:32},
year = {2020},
url = {https://doi.org/10.1145/3355608},
doi = {10.1145/3355608},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/FanL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/CaoSZBR20,
author = {Qiushi Cao and
Ahmed Samet and
Cecilia Zanni{-}Merk and
Fran{\c{c}}ois de Bertrand de Beuvron and
Christoph Reich},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Combining Evidential Clustering and Ontology Reasoning for Failure
Prediction in Predictive Maintenance},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 2, Valletta, Malta, February 22-24,
2020},
pages = {618--625},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008969506180625},
doi = {10.5220/0008969506180625},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/CaoSZBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/FarahHLLAPMGLMC20,
author = {Rana Farah and
Simon Hall{\'{e}} and
Jiye Li and
Freddy L{\'{e}}cu{\'{e}} and
Baptiste Abeloos and
Dominique Perron and
Juliette Mattioli and
Pierre{-}Luc Gregoire and
Sebastien Laroche and
Michel Mercier and
Paul Cocaud},
editor = {Jeff Z. Pan and
Valentina A. M. Tamma and
Claudia d'Amato and
Krzysztof Janowicz and
Bo Fu and
Axel Polleres and
Oshani Seneviratne and
Lalana Kagal},
title = {Reasoning Engine for Support Maintenance},
booktitle = {The Semantic Web - {ISWC} 2020 - 19th International Semantic Web Conference,
Athens, Greece, November 2-6, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12507},
pages = {515--530},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62466-8\_32},
doi = {10.1007/978-3-030-62466-8\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/FarahHLLAPMGLMC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Reuss19,
author = {Pascal Reuss},
title = {Case Factories: {A} Maintenance Cockpit for distributed structural
Case-Based Reasoning Systems},
school = {University of Hildesheim, Germany},
year = {2019},
url = {https://hildok.bsz-bw.de/frontdoor/index/index/docId/1269},
urn = {urn:nbn:de:gbv:hil2-opus4-12695},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Reuss19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/hcis/KhanHA19,
author = {Malik Jahan Khan and
Hussain Hayat and
Irfan Awan},
title = {Hybrid case-base maintenance approach for modeling large scale case-based
reasoning systems},
journal = {Hum. centric Comput. Inf. Sci.},
volume = {9},
pages = {9},
year = {2019},
url = {https://doi.org/10.1186/s13673-019-0171-z},
doi = {10.1186/S13673-019-0171-Z},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/hcis/KhanHA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcim/WanLGL19,
author = {Shan Wan and
Dongbo Li and
James Gao and
Jing Li},
title = {A knowledge based machine tool maintenance planning system using case-based
reasoning techniques},
journal = {Robotics Comput. Integr. Manuf.},
volume = {58},
pages = {80--96},
year = {2019},
url = {https://doi.org/10.1016/j.rcim.2019.01.012},
doi = {10.1016/J.RCIM.2019.01.012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rcim/WanLGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/PitschlP19,
author = {Meredith L. Pitschl and
Mitchell W. Pryor},
title = {Obstacle Persistent Adaptive Map Maintenance for Autonomous Mobile
Robots using Spatio-temporal Reasoning},
booktitle = {15th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
pages = {1023--1028},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COASE.2019.8843095},
doi = {10.1109/COASE.2019.8843095},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/PitschlP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/JaunzemisHL18,
author = {Andris Davis Jaunzemis and
Marcus J. Holzinger and
K. Kim Luu},
title = {Sensor Tasking for Spacecraft Custody Maintenance and Anomaly Detection
Using Evidential Reasoning},
journal = {J. Aerosp. Inf. Syst.},
volume = {15},
number = {3},
pages = {131--156},
year = {2018},
url = {https://doi.org/10.2514/1.i010584},
doi = {10.2514/1.I010584},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacic/JaunzemisHL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaec/LakehalRT18,
author = {Abdelaziz Lakehal and
Ahmed Ramdane and
Fouad Tachi},
title = {Probabilistic reasoning for improving the predictive maintenance of
vital electrical machine: Case study},
journal = {J. Adv. Eng. Comput.},
volume = {2},
number = {1},
pages = {9--17},
year = {2018},
url = {https://doi.org/10.25073/jaec.201821.74},
doi = {10.25073/JAEC.201821.74},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaec/LakehalRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Thomason18,
author = {Richmond H. Thomason},
title = {The Little Nell Problem: reasonable and resolute maintenance of agent
intentions},
journal = {Synth.},
volume = {195},
number = {1},
pages = {433--440},
year = {2018},
url = {https://doi.org/10.1007/s11229-016-1229-3},
doi = {10.1007/S11229-016-1229-3},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Thomason18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/Lawanna18,
author = {Adtha Lawanna},
title = {Approval Deletion Model for Case-based Maintenance of Case-based Reasoning
System},
booktitle = {{IEEE} 7th Global Conference on Consumer Electronics, {GCCE} 2018,
Nara, Japan, October 9-12, 2018},
pages = {576--580},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/GCCE.2018.8574871},
doi = {10.1109/GCCE.2018.8574871},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/gcce/Lawanna18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WeiMDCDMAC18,
author = {Lijun Wei and
Derek R. Magee and
Vania Dimitrova and
Barry Clarke and
Heshan Du and
Quratul{-}ain Mahesar and
Kareem Al Ammari and
Anthony G. Cohn},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Automated Reasoning for City Infrastructure Maintenance Decision Support},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5877--5879},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/868},
doi = {10.24963/IJCAI.2018/868},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WeiMDCDMAC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SkjaevelandLKF18,
author = {Martin G. Skj{\ae}veland and
Daniel P. Lupp and
Leif Harald Karlsen and
Henrik Forssell},
editor = {Denny Vrandecic and
Kalina Bontcheva and
Mari Carmen Su{\'{a}}rez{-}Figueroa and
Valentina Presutti and
Irene Celino and
Marta Sabou and
Lucie{-}Aim{\'{e}}e Kaffee and
Elena Simperl},
title = {Practical Ontology Pattern Instantiation, Discovery, and Maintenance
with Reasonable Ontology Templates},
booktitle = {The Semantic Web - {ISWC} 2018 - 17th International Semantic Web Conference,
Monterey, CA, USA, October 8-12, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11136},
pages = {477--494},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00671-6\_28},
doi = {10.1007/978-3-030-00671-6\_28},
timestamp = {Tue, 07 Sep 2021 13:47:56 +0200},
biburl = {https://dblp.org/rec/conf/semweb/SkjaevelandLKF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ForssellLST17,
author = {Henrik Forssell and
Daniel P. Lupp and
Martin G. Skj{\ae}veland and
Evgenij Thorstensen},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Reasonable Macros for Ontology Construction and Maintenance},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper34.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ForssellLST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/HastbackaAVK15,
author = {David H{\"{a}}stbacka and
Pekka Aarnio and
Valeriy Vyatkin and
Seppo Kuikka},
editor = {Ana L. N. Fred and
Jan L. G. Dietz and
David Aveiro and
Kecheng Liu and
Joaquim Filipe},
title = {Empowering Industrial Maintenance Personnel with Situationally Relevant
Information using Semantics and Context Reasoning},
booktitle = {{KMIS} 2015 - Proceedings of the International Conference on Knowledge
Management and Information Sharing, part of the 7th International
Joint Conference on Knowledge Discovery, Knowledge Engineering and
Knowledge Management {(IC3K} 2015), Volume 3, Lisbon, Portugal, November
12-14, 2015},
pages = {182--192},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005595601820192},
doi = {10.5220/0005595601820192},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ic3k/HastbackaAVK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/Reuss15,
author = {Pascal Reuss},
editor = {Joseph Kendall{-}Morwick},
title = {Integrated Maintenance with Case Factories for Distributed Case-Based
Reasoning Systems},
booktitle = {Workshop Proceedings from The Twenty-Third International Conference
on Case-Based Reasoning {(ICCBR} 2015), Frankfurt, Germany, September
28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1520},
pages = {283--285},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1520/paper36.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/iccbr/Reuss15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/worldcis/NogueiraP15,
author = {Rodrigo Borges Nogueira and
Ricardo Staciarini Puttini},
title = {Reasoning on personal identifiers: {A} guideline for design and maintenance},
booktitle = {2015 World Congress on Internet Security, WorldCIS 2015, Dublin, Ireland,
October 19-21, 2015},
pages = {39--42},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/WorldCIS.2015.7359409},
doi = {10.1109/WORLDCIS.2015.7359409},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/worldcis/NogueiraP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/YanQZ14,
author = {Aijun Yan and
Limin Qian and
Chunxiao Zhang},
title = {Memory and forgetting: An improved dynamic maintenance method for
case-based reasoning},
journal = {Inf. Sci.},
volume = {287},
pages = {50--60},
year = {2014},
url = {https://doi.org/10.1016/j.ins.2014.07.040},
doi = {10.1016/J.INS.2014.07.040},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/YanQZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/ReussA14,
author = {Pascal Reuss and
Klaus{-}Dieter Althoff},
editor = {Thomas Seidl and
Marwan Hassani and
Christian Beecks},
title = {Maintenance of Distributed Case-Based Reasoning Systems in a Multi-Agent
System},
booktitle = {Proceedings of the 16th {LWA} Workshops: KDML, {IR} and FGWM, Aachen,
Germany, September 8-10, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1226},
pages = {20--30},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1226/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:37 +0100},
biburl = {https://dblp.org/rec/conf/lwa/ReussA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/Kamsu-FoguemN13,
author = {Bernard Kamsu{-}Foguem and
Daniel Noyes},
title = {Graph-based reasoning in collaborative knowledge management for industrial
maintenance},
journal = {Comput. Ind.},
volume = {64},
number = {8},
pages = {998--1013},
year = {2013},
url = {https://doi.org/10.1016/j.compind.2013.06.013},
doi = {10.1016/J.COMPIND.2013.06.013},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cii/Kamsu-FoguemN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/ReussA13,
author = {Pascal Reuss and
Klaus{-}Dieter Althoff},
editor = {Andreas Henrich and
Hans{-}Christian Sperker},
title = {Explanation-Aware Maintenance of Distributed Case-Based Reasoning
Systems},
booktitle = {{LWA} 2013. Lernen, Wissen {\&} Adaptivit{\"{a}}t, Workshop
Proceedings Bamberg, 7.-9. October 2013},
pages = {231--236},
publisher = {Universit{\"{a}}tsbibliothek Bamberg},
year = {2013},
timestamp = {Wed, 12 Feb 2020 16:45:19 +0100},
biburl = {https://dblp.org/rec/conf/lwa/ReussA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc6670,
author = {Nurit Sprecher and
Kyung{-}Yeop Hong},
title = {The Reasons for Selecting a Single Solution for {MPLS} Transport Profile
{(MPLS-TP)} Operations, Administration, and Maintenance {(OAM)}},
journal = {{RFC}},
volume = {6670},
pages = {1--33},
year = {2012},
url = {https://doi.org/10.17487/RFC6670},
doi = {10.17487/RFC6670},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc6670.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijris/FernedaPTC11,
author = {Edilson Ferneda and
H{\'{e}}rcules Ant{\^{o}}nio do Prado and
Elizabeth d'Arrochella Teixeira and
F{\'{a}}bio Bianchi Campos},
title = {Using data mining techniques for time estimation in software maintenance},
journal = {Int. J. Reason. based Intell. Syst.},
volume = {3},
number = {2},
pages = {80--87},
year = {2011},
url = {https://doi.org/10.1504/IJRIS.2011.042265},
doi = {10.1504/IJRIS.2011.042265},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijris/FernedaPTC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/RenP11,
author = {Yuan Ren and
Jeff Z. Pan},
editor = {Craig Macdonald and
Iadh Ounis and
Ian Ruthven},
title = {Optimising ontology stream reasoning with truth maintenance system},
booktitle = {Proceedings of the 20th {ACM} Conference on Information and Knowledge
Management, {CIKM} 2011, Glasgow, United Kingdom, October 24-28, 2011},
pages = {831--836},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2063576.2063696},
doi = {10.1145/2063576.2063696},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/RenP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/KotowskiBB11,
author = {Jakub Kotowski and
Fran{\c{c}}ois Bry and
Simon Brodt},
editor = {Sebastian Rudolph and
Claudio Gutierrez},
title = {Reasoning as Axioms Change - Incremental View Maintenance Reconsidered},
booktitle = {Web Reasoning and Rule Systems - 5th International Conference, {RR}
2011, Galway, Ireland, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6902},
pages = {139--154},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23580-1\_11},
doi = {10.1007/978-3-642-23580-1\_11},
timestamp = {Thu, 10 Nov 2022 07:36:26 +0100},
biburl = {https://dblp.org/rec/conf/rr/KotowskiBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ismail10,
author = {Haythem O. Ismail},
title = {A reason maintenance perspective on relevant Ramsey conditionals},
journal = {Log. J. {IGPL}},
volume = {18},
number = {4},
pages = {508--529},
year = {2010},
url = {https://doi.org/10.1093/jigpal/jzp036},
doi = {10.1093/JIGPAL/JZP036},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ismail10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semwiki/KotowskiB10,
author = {Jakub Kotowski and
Fran{\c{c}}ois Bry},
editor = {Christoph Lange and
Jochen Reutelshoefer and
Sebastian Schaffert and
Hala Skaf{-}Molli},
title = {A Perfect Match for Reasoning, Explanation, and Reason Maintenance:
{OWL} 2 {RL} and Semantic Wikis},
booktitle = {Proceedings of the 5th Workshop on Semantic Wikis, Hersonissos, Heraklion,
Crete, Greece, May 31st, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {632},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-632/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:56 +0100},
biburl = {https://dblp.org/rec/conf/semwiki/KotowskiB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Suntisrivaraporn2009,
author = {Boontawee Suntisrivaraporn},
title = {Polynomial time reasoning support for design and maintenance of large-scale
biomedical ontologies},
school = {Dresden University of Technology, Germany},
year = {2009},
url = {http://hsss.slub-dresden.de/deds-access/hsss.urlmapping.MappingServlet?id=1233830966436-5928},
urn = {urn:nbn:de:bsz:14-ds-1233830966436-59282},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Suntisrivaraporn2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Bichindaritz09,
author = {Isabelle Bichindaritz},
title = {Prototypical Cases for Retrieval, Reuse, and Knowledge Maintenance
in Biomedical Case-Based Reasoning},
journal = {Comput. Intell.},
volume = {25},
number = {3},
pages = {214--234},
year = {2009},
url = {https://doi.org/10.1111/j.1467-8640.2009.00339.x},
doi = {10.1111/J.1467-8640.2009.00339.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Bichindaritz09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdve/TamisierDPF09,
author = {Thomas Tamisier and
Yoanne Didry and
Olivier Parisot and
Fernand Feltz},
editor = {Yuhua Luo},
title = {A Collaborative Reasoning Maintenance System for a Reliable Application
of Legislations},
booktitle = {Cooperative Design, Visualization, and Engineering, 6th International
Conference, {CDVE} 2009, Luxembourg, Luxembourg, September 20-23,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5738},
pages = {313--316},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04265-2\_47},
doi = {10.1007/978-3-642-04265-2\_47},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdve/TamisierDPF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/Malheiro08,
author = {Benedita Malheiro},
editor = {Benjamin W. Wah},
title = {Reason Maintenance Systems: Tools for Foundations-Based Belief Revision},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse440},
doi = {10.1002/9780470050118.ECSE440},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/wiley/Malheiro08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Massie06,
author = {Stewart Massie},
title = {Complexity modelling for case knowledge maintenance in case-based
reasoning},
school = {Robert Gordon University, Aberdeen, {UK}},
year = {2006},
url = {https://hdl.handle.net/10059/472},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Massie06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijeis/YaoLT06,
author = {Yin{-}Ho Yao and
Gilbert Y. P. Lin and
Amy J. C. Trappey},
title = {Using Knowledge-Based Intelligent Reasoning to Support Dynamic Equipment
Diagnosis and Maintenance},
journal = {Int. J. Enterp. Inf. Syst.},
volume = {2},
number = {1},
pages = {17--29},
year = {2006},
url = {https://doi.org/10.4018/jeis.2006010102},
doi = {10.4018/JEIS.2006010102},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijeis/YaoLT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/HamaguchiHTSHI06,
author = {Takashi Hamaguchi and
Meng Hu and
Kazuhiro Takeda and
Yukiyasu Shimada and
Yoshihiro Hashimoto and
Toshiaki Itoh},
editor = {Bogdan Gabrys and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A Training System for Maintenance Personnel Based on Analogical Reasoning},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 10th
International Conference, {KES} 2006, Bournemouth, UK, October 9-11,
2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4252},
pages = {587--594},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11893004\_76},
doi = {10.1007/11893004\_76},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/HamaguchiHTSHI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/ShetHD06,
author = {Vinay D. Shet and
David Harwood and
Larry S. Davis},
editor = {Jake K. Aggarwal and
Rita Cucchiara and
Andrea Prati},
title = {Top-down, bottom-up multivalued default reasoning for identity maintenance},
booktitle = {Proceedings of the 4th {ACM} International Workshop on Video Surveillance
and Sensor Networks, {VSSN} '06, Santa Barbara, California, USA, October
27, 2006},
pages = {79--86},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1178782.1178795},
doi = {10.1145/1178782.1178795},
timestamp = {Thu, 03 Feb 2022 16:41:35 +0100},
biburl = {https://dblp.org/rec/conf/mm/ShetHD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Iglezakis2004,
author = {Ioannis Iglezakis},
title = {Case-base maintenance of case-based reasoning systems in classification
domains: methods, implementation and evaluation},
school = {Julius Maximilian University of W{\"{u}}rzburg},
year = {2004},
url = {https://d-nb.info/973176970},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Iglezakis2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/SalamoG04,
author = {Maria Salam{\'{o}} and
Elisabet Golobardes},
editor = {Christian Lema{\^{\i}}tre and
Carlos A. Reyes Garc{\'{\i}}a and
Jes{\'{u}}s A. Gonz{\'{a}}lez},
title = {Dynamic Case Base Maintenance for a Case-Based Reasoning System},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American
Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3315},
pages = {93--103},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30498-2\_10},
doi = {10.1007/978-3-540-30498-2\_10},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/SalamoG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0010383,
author = {Thomas Roth{-}Berghofer},
title = {Knowledge maintenance of case-based reasoning systems - the {SIAM}
methodology},
school = {Kaiserslautern University of Technology, Germany},
year = {2003},
url = {https://d-nb.info/967388635},
isbn = {978-3-89838-262-5},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0010383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Roth-Berghofer03,
author = {Thomas Roth{-}Berghofer},
title = {Knowledge Maintenance of Case-Based Reasoning Systems: The {SIAM}
methodology},
journal = {K{\"{u}}nstliche Intell.},
volume = {17},
number = {1},
pages = {55},
year = {2003},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Roth-Berghofer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/CaoSW03,
author = {Guoqing Cao and
Simon C. K. Shiu and
Xizhao Wang},
title = {A fuzzy-rough approach for the maintenance of distributed case-based
reasoning systems},
journal = {Soft Comput.},
volume = {7},
number = {8},
pages = {491--499},
year = {2003},
url = {https://doi.org/10.1007/s00500-002-0233-3},
doi = {10.1007/S00500-002-0233-3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/CaoSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/PattersonGR03,
author = {David W. Patterson and
Mykola Galushka and
Niall Rooney},
editor = {Kevin D. Ashley and
Derek G. Bridge},
title = {Efficient Real Time Maintenance of Retrieval Knowledge in Case-Based
Reasoning},
booktitle = {Case-Based Reasoning Research and Development, 5th International Conference
on Case-Based Reasoning, {ICCBR} 2003, Trondheim, Norway, June 23-26,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2689},
pages = {407--421},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45006-8\_32},
doi = {10.1007/3-540-45006-8\_32},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iccbr/PattersonGR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itm/CarrW02,
author = {Mahil Carr and
Christian Wagner},
title = {A Study of Reasoning Processes in Software Maintenance Management},
journal = {Inf. Technol. Manag.},
volume = {3},
number = {1-2},
pages = {181--203},
year = {2002},
url = {https://doi.org/10.1023/A:1013125112217},
doi = {10.1023/A:1013125112217},
timestamp = {Thu, 15 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itm/CarrW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/Abidi02,
author = {Syed Sibte Raza Abidi},
title = {A Case Base Reasoning Framework to Author Personalized Health Maintenance
Information},
booktitle = {15th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2002),
4-7 June 2002, Maribor, Slovenia},
pages = {219--224},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CBMS.2002.1011380},
doi = {10.1109/CBMS.2002.1011380},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/Abidi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/PortinaleT01,
author = {Luigi Portinale and
Pietro Torasso},
title = {Case-Base Maintenance in a Multimodal Reasoning System},
journal = {Comput. Intell.},
volume = {17},
number = {2},
pages = {263--279},
year = {2001},
url = {https://doi.org/10.1111/0824-7935.00144},
doi = {10.1111/0824-7935.00144},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/PortinaleT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Watson01,
author = {Ian Watson},
title = {A Case Study of Maintenance of a Commercially Fielded Case-Based Reasoning
System},
journal = {Comput. Intell.},
volume = {17},
number = {2},
pages = {387--398},
year = {2001},
url = {https://doi.org/10.1111/0824-7935.00151},
doi = {10.1111/0824-7935.00151},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Watson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/Roth-BerghoferR01,
author = {Thomas Roth{-}Berghofer and
Thomas Reinartz},
editor = {David W. Aha and
Ian D. Watson},
title = {{MAMA:} {A} Maintenance Manual for Case-Based Reasoning Systems},
booktitle = {Case-Based Reasoning Research and Development, 4th International Conference
on Case-Based Reasoning, {ICCBR} 2001, Vancouver, BC, Canada, July
30 - August 2, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2080},
pages = {452--466},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44593-5\_32},
doi = {10.1007/3-540-44593-5\_32},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iccbr/Roth-BerghoferR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/CrowderMRAT00,
author = {Richard Crowder and
Rob MacKendrick and
Roger Rowe and
Eric Auriol and
Morten Tellefsen},
title = {Maintenance of Robotic Systems Using Hypermedia and Case-Based Reasoning},
booktitle = {Proceedings of the 2000 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2000, April 24-28, 2000, San Francisco, CA,
{USA}},
pages = {2422--2427},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ROBOT.2000.846390},
doi = {10.1109/ROBOT.2000.846390},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/CrowderMRAT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsas/BoseM00,
author = {Prasanta K. Bose and
Mark G. Matthews},
editor = {Paul Robertson and
Howard E. Shrobe and
Robert Laddaga},
title = {Coordination of View Maintenance Policy Adaptation Decisions: {A}
Negotiation-Based Reasoning Approach},
booktitle = {Self-Adaptive Software, First International Workshop, {IWSAS} 2000,
Oxford, UK, April 17-19, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1936},
pages = {116--133},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44584-6\_10},
doi = {10.1007/3-540-44584-6\_10},
timestamp = {Fri, 11 Dec 2020 15:37:35 +0100},
biburl = {https://dblp.org/rec/conf/iwsas/BoseM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/sg/Tay99,
author = {Joc Cing Tay},
title = {Reason maintenance in constraint satisfaction},
school = {Nanyang Technological University, Singapore},
year = {1999},
url = {https://hdl.handle.net/10356/13598},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/sg/Tay99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/DerisOOKS99,
author = {Safaai Deris and
Sigeru Omatu and
Hiroshi Ohta and
Shaharudin Kutar and
Pathiah Abd Samat},
title = {Ship maintenance scheduling by genetic algorithm and constraint-based
reasoning},
journal = {Eur. J. Oper. Res.},
volume = {112},
number = {3},
pages = {489--502},
year = {1999},
url = {https://doi.org/10.1016/S0377-2217(97)00399-8},
doi = {10.1016/S0377-2217(97)00399-8},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/DerisOOKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/NguyenSTDM99,
author = {John H. Nguyen and
Yuval Shahar and
Samson W. Tu and
Amar K. Das and
Mark A. Musen},
title = {Integration of Temporal Reasoning and Temporal-Data Maintenance into
a Reusable Database Mediator to Answer Abstract, Time-Oriented Queries:
The Tzolkin System},
journal = {J. Intell. Inf. Syst.},
volume = {13},
number = {1-2},
pages = {121--145},
year = {1999},
url = {https://doi.org/10.1023/A:1008711006591},
doi = {10.1023/A:1008711006591},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jiis/NguyenSTDM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimdm/Shahar99,
author = {Yuval Shahar},
editor = {Werner Horn and
Yuval Shahar and
Gregor Lindberg and
Steen Andreassen and
Jeremy C. Wyatt},
title = {Timing Is Everything: Temporal Reasoning and Temporal Data Maintenance
in Medicine},
booktitle = {Artificial Intelligence in Medicine. Joint European Conference on
Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99,
Aalborg, Denmark, June 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1620},
pages = {30--46},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48720-4\_3},
doi = {10.1007/3-540-48720-4\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/aimdm/Shahar99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/ZhangY98,
author = {Zhong Zhang and
Qiang Yang},
editor = {Fausto Giunchiglia},
title = {Towards Lifetime Maintenance of Case Based Indexes for Continual Case
Based Reasoning},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {489--500},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057469},
doi = {10.1007/BFB0057469},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/ZhangY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Kraetzschmar97,
author = {Gerhard K. Kraetzschmar},
title = {Distributed Reason Maintenance for Multiagent Systems},
series = {Lecture Notes in Computer Science},
volume = {1229},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63606-4},
doi = {10.1007/3-540-63606-4},
isbn = {3-540-63606-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Kraetzschmar97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/CombiS97a,
author = {Carlo Combi and
Yuval Shahar},
title = {Temporal reasoning and temporal data maintenance in medicine: Issues
and challenges},
journal = {Comput. Biol. Medicine},
volume = {27},
number = {5},
pages = {353--368},
year = {1997},
url = {https://doi.org/10.1016/S0010-4825(96)00010-8},
doi = {10.1016/S0010-4825(96)00010-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/CombiS97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/SattarG97,
author = {Abdul Sattar and
Randy Goebel},
title = {Consistency-Motivated Reason Maintenance in Hypothetical Reasoning},
journal = {New Gener. Comput.},
volume = {15},
number = {2},
pages = {163--186},
year = {1997},
url = {https://doi.org/10.1007/BF03037236},
doi = {10.1007/BF03037236},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/SattarG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/Heider97,
author = {Richard Heider},
editor = {W. A. Gray and
Per{-}{\AA}ke Larson},
title = {Improving the Quality of Technical Data for Developing Case Based
Reasoning Diagnostic Software for Aircraft Maintenance},
booktitle = {Proceedings of the Thirteenth International Conference on Data Engineering,
April 7-11, 1997, Birmingham, {UK}},
pages = {584},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICDE.1997.582038},
doi = {10.1109/ICDE.1997.582038},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/Heider97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Fehrer96,
author = {Detlef Fehrer},
title = {A unifying logical framework for Reason Maintenance},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {1996},
url = {https://d-nb.info/947832971},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Fehrer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/DoulamisG96,
author = {John Doulamis and
Michael A. Gray},
title = {Multiagent reason maintenance and group adaptability},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {26},
number = {6},
pages = {850--856},
year = {1996},
url = {https://doi.org/10.1109/3468.541345},
doi = {10.1109/3468.541345},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/DoulamisG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/YacoubDA96,
author = {Rachid Yacoub and
Michel Dumas and
Gilles Arnaud},
title = {Resolution Strategies for Focusing a Reason Maintenance System},
booktitle = {Eigth International Conference on Tools with Artificial Intelligence,
{ICTAI} '96, Toulouse, France, November 16-19, 1996},
pages = {316--323},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/TAI.1996.560471},
doi = {10.1109/TAI.1996.560471},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/YacoubDA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Bouzid95,
author = {Maroua Bouzid},
title = {Contribution au raisonnement temporel : application aux syst{\`{e}}mes
de maintien de v{\'{e}}rit{\'{e}}. (Contribution to temporal
reasoning : application in truth maintenance systems)},
school = {Henri Poincar{\'{e}} University, Nancy, France},
year = {1995},
url = {https://hal.archives-ouvertes.fr/tel-01753717},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Bouzid95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patat/RamS95,
author = {Vevek Ram and
Chris Scogings},
editor = {Edmund K. Burke and
Peter Ross},
title = {Automated Time Table Generation Using Multiple Context Reasoning with
Truth Maintenance},
booktitle = {Practice and Theory of Automated Timetabling, First International
Conference, Edinburgh, UK, August 29 - September 1, 1995, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1153},
pages = {106--111},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61794-9\_54},
doi = {10.1007/3-540-61794-9\_54},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/patat/RamS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/NarazakiT94,
author = {Hiroshi Narazaki and
I. Burhan T{\"{u}}rksen},
title = {An integrated approach for syllogistic reasoning and knowledge consistency
level maintenance},
journal = {{IEEE} Trans. Syst. Man Cybern.},
volume = {24},
number = {4},
pages = {548--563},
year = {1994},
url = {https://doi.org/10.1109/21.286377},
doi = {10.1109/21.286377},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/NarazakiT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/PaivaS94,
author = {Ana Paiva and
John A. Self},
editor = {Anthony G. Cohn},
title = {A Learner Model Reason Maintenance System},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {193--196},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/PaivaS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewcbr/KangC94,
author = {Byeong Kang and
Paul Compton},
editor = {Jean Paul Haton and
Mark T. Keane and
Michel Manago},
title = {A Maintenance Approach to Case-Based Reasoning},
booktitle = {Advances in Case-Based Reasoning, Second European Workshop, EWCBR-94,
Chantilly, France, November 7-10, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {984},
pages = {226--239},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60364-6\_39},
doi = {10.1007/3-540-60364-6\_39},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ewcbr/KangC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/WitteveenB93,
author = {Cees Witteveen and
Gerhard Brewka},
title = {Skeptical Reason Maintenance and Belief Revision},
journal = {Artif. Intell.},
volume = {61},
number = {1},
pages = {1--36},
year = {1993},
url = {https://doi.org/10.1016/0004-3702(93)90090-X},
doi = {10.1016/0004-3702(93)90090-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/WitteveenB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Fehrer93,
author = {Detlef Fehrer},
editor = {Michael Clarke and
Rudolf Kruse and
Seraf{\'{\i}}n Moral},
title = {A Unifying Logical Framework for Reason Maintenance},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {747},
pages = {113--120},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0028190},
doi = {10.1007/BFB0028190},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Fehrer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Kelleher92,
author = {Gerry Kelleher},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
Olga Step{\'{a}}nkov{\'{a}} and
Robert Trappl},
title = {The Application of Reason Maintenance Systems in Planning and Scheduling},
booktitle = {Advanced Topics in Artificial Intelligence, International Summer School,
Prague, Czechoslovakia, July 6-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {617},
pages = {208--237},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55681-8\_37},
doi = {10.1007/3-540-55681-8\_37},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Kelleher92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/TadepalliP92,
author = {Kumar Tadepalli and
N. Parameswaran},
editor = {Bernd Neumann},
title = {Reason Maintenance Systems for Multiagent Planning},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {648--652},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/TadepalliP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/TadepalliP92,
author = {Kumar Tadepalli and
N. Parameswaran},
editor = {Waldemar W. Koczkodaj and
Peter E. Lauer and
Anestis A. Toptsis},
title = {Multiagent Planning Using a Reason Maintenance System},
booktitle = {Computing and Information - ICCI'92, Fourth International Conference
on Computing and Information, Toronto, Ontario, Canada, May 28-30,
1992, Proceedings},
pages = {249--252},
publisher = {{IEEE} Computer Society},
year = {1992},
timestamp = {Mon, 15 Apr 2002 13:14:05 +0200},
biburl = {https://dblp.org/rec/conf/icci/TadepalliP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/KehlHKN92,
author = {Walter Kehl and
Heiner Hopfm{\"{u}}ller and
Traytcho Koussev and
Mark A. Newstead},
editor = {Fevzi Belli and
Franz Josef Radermacher},
title = {Application of Model-Based Reasoning to the Maintenance of Telecommunication
Networks},
booktitle = {Industrial and Engineering Applications of Artificial Intelligence
and Expert Systems, 5th International Conference, {IEA/AIE} - 92,
Paderborn, Germany, June 9-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {604},
pages = {79--88},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0024958},
doi = {10.1007/BFB0024958},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/KehlHKN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Holmes91,
author = {Dawn J. Holmes},
title = {An informal reasoning technique and truth maintenance subsystem for
global diagnosis in an instructional system},
school = {Florida State University, Tallahassee, {USA}},
year = {1991},
timestamp = {Wed, 27 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ndltd/Holmes91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/McDermott91,
author = {Drew V. McDermott},
title = {A General Framework for Reason Maintenance},
journal = {Artif. Intell.},
volume = {50},
number = {3},
pages = {289--329},
year = {1991},
url = {https://doi.org/10.1016/0004-3702(91)90017-E},
doi = {10.1016/0004-3702(91)90017-E},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/McDermott91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/BernardBG91,
author = {Denys Bernard and
Mario Borillo and
Bruno Gaume},
title = {From event calculus to the scheduling problem. Semantics of action
and temporal reasoning in aircraft maintenance},
journal = {Appl. Intell.},
volume = {1},
number = {3},
pages = {195--221},
year = {1991},
url = {https://doi.org/10.1007/BF00118997},
doi = {10.1007/BF00118997},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/BernardBG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hamscher91,
author = {Walter Hamscher},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {{ACP:} Reason Maintenance and Inference Control for Constraint Propagation
Over Intervals},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 1},
pages = {506--511},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-079.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hamscher91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FringuelliMMR91,
author = {Bruno Fringuelli and
Stefano Marcugini and
Alfredo Milani and
Silvano Rivoira},
editor = {Edoardo Ardizzone and
Salvatore Gaglio and
Filippo Sorbello},
title = {Truth Maintenance in Approximate Reasoning},
booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {549},
pages = {430--434},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54712-6\_256},
doi = {10.1007/3-540-54712-6\_256},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/FringuelliMMR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MadreC91,
author = {Jean Christophe Madre and
Olivier Coudert},
editor = {John Mylopoulos and
Raymond Reiter},
title = {A Logically Complete Reasoning Maintenance System Based on a Logical
Constraint Solver},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {294--299},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/046.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MadreC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Witteveen91,
author = {Cees Witteveen},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Skeptical Reason Maintenance is Tractable},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {570--581},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/Witteveen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/FringuelliMMR91,
author = {Bruno Fringuelli and
Stefano Marcugini and
Alfredo Milani and
Silvano Rivoira},
editor = {Bruce D'Ambrosio and
Philippe Smets},
title = {A Reason Maintenance System Dealing with Vague Data},
booktitle = {{UAI} '91: Proceedings of the Seventh Annual Conference on Uncertainty
in Artificial Intelligence, University of California at Los Angeles,
Los Angeles, CA, USA, July 13-15, 1991},
pages = {111--117},
publisher = {Morgan Kaufmann},
year = {1991},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&smnu=2\&article\_id=687\&proceeding\_id=7},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/FringuelliMMR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/ShenoyB90,
author = {Prakash P. Shenoy and
Gautam Biswas},
title = {Belief functions and belief maintenance in artificial intelligence},
journal = {Int. J. Approx. Reason.},
volume = {4},
number = {5-6},
pages = {319--322},
year = {1990},
url = {https://doi.org/10.1016/0888-613X(90)90011-P},
doi = {10.1016/0888-613X(90)90011-P},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/ShenoyB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/PopchevZM90,
author = {Ivan Popchev and
Neli Zlatareva and
Marion Mircheva},
editor = {Philippe Jorrand and
Vassil Stoyanov Sgurev},
title = {A Logic for Truth Maintenance Reasoning},
booktitle = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
Proceedings of the Fourth International Conference on Artificial Intelligence:
Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
September 19-22, 1990},
pages = {71--80},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 16 Mar 2017 14:36:15 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/PopchevZM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/Wiren90,
author = {Mats Wir{\'{e}}n},
title = {Incremental Parsing and Reason Maintenance},
booktitle = {13th International Conference on Computational Linguistics, {COLING}
1990, University of Helsinki, Finland, August 20-25, 1990},
pages = {287--292},
year = {1990},
url = {https://aclanthology.org/C90-3051/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/Wiren90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/Dhar89,
author = {Vasant Dhar},
title = {A truth maintenance system for supporting constraint-based reasoning},
journal = {Decis. Support Syst.},
volume = {5},
number = {4},
pages = {379--387},
year = {1989},
url = {https://doi.org/10.1016/0167-9236(89)90017-1},
doi = {10.1016/0167-9236(89)90017-1},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dss/Dhar89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Petrie89,
author = {Charles J. Petrie},
title = {Reason Maintenance in Expert Systems},
journal = {K{\"{u}}nstliche Intell.},
volume = {3},
number = {2},
pages = {54--60},
year = {1989},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Petrie89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Reinfrank89,
author = {Michael Reinfrank},
title = {Begr{\"{u}}ndungsverwaltung (Reason/Truth Maintenance)},
journal = {K{\"{u}}nstliche Intell.},
volume = {3},
number = {2},
pages = {20},
year = {1989},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Reinfrank89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/FulcomerB89,
author = {Rosanne M. Fulcomer and
William E. Ball},
title = {Toward a fully parallel reason maintenance system},
booktitle = {Proceedings of the Second International Conference on Industrial {\&}
Engineering Applications of Artificial Intelligence {\&} Expert
Systems, {IEA/AIE} 1989, June 6-9, 1989, Tullahoma, TN, {USA} - Volume
2},
pages = {742--748},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/67312.67342},
doi = {10.1145/67312.67342},
timestamp = {Wed, 17 Jul 2019 17:09:14 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/FulcomerB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FulcomerB89,
author = {Rosanne M. Fulcomer and
William E. Ball},
editor = {N. S. Sridharan},
title = {Correct Parallel Status Assignment for the Reason Maintenance System},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {30--35},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-1/Papers/005.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FulcomerB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbcs/KulkarniP89,
author = {Dattatraya Kulkarni and
N. Parameswaran},
editor = {S. Ramani and
Raman Chandrasekar and
K. S. R. Anjaneyulu},
title = {Implementing Persistence of Derived Information in a Reason Maintenance
System},
booktitle = {Knowledge Based Computer Systems, International Conference {KBCS}
'89, Bombay, India, December 11-13, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {444},
pages = {418--427},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018399},
doi = {10.1007/BFB0018399},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/kbcs/KulkarniP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Filman88,
author = {Robert E. Filman},
title = {Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming
Environment},
journal = {Commun. {ACM}},
volume = {31},
number = {4},
pages = {382--401},
year = {1988},
url = {https://doi.org/10.1145/42404.42405},
doi = {10.1145/42404.42405},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Filman88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DharJ88,
author = {Vasant Dhar and
Matthias Jarke},
title = {Dependency Directed Reasoning and Learning in Systems Maintenance
Support},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {2},
pages = {211--227},
year = {1988},
url = {https://doi.org/10.1109/32.4639},
doi = {10.1109/32.4639},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DharJ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/ReinfrankF88,
author = {Michael Reinfrank and
Hartmut Freitag},
title = {Rules and Justifications: {A} Uniform Approach to Reason Maintenance
and Non-Monotonic Inference},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {439--446},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/ReinfrankF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rm/1986,
editor = {Herbert Stoyan},
title = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
{\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
series = {Informatik-Fachberichte},
volume = {162},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-73385-7},
doi = {10.1007/978-3-642-73385-7},
isbn = {3-540-18853-3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rm/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Pikes87,
author = {Richard Pikes},
editor = {Pat Davis and
Vicki McClintock},
title = {The role of truth maintenance in model-based reasoning (abstract only)},
booktitle = {Proceedings of the 15th {ACM} Annual Conference on Computer Science,
St. Louis, Missouri, USA, February 16-19, 1987},
pages = {349},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/322917.322974},
doi = {10.1145/322917.322974},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acm/Pikes87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Ostrovsky86,
author = {Rafail Ostrovsky},
editor = {Bernadette Bouchon{-}Meunier and
Ronald R. Yager},
title = {HOLMES-I, a prolog-based reason maintenance system for collecting
information from multiple experts},
booktitle = {Uncertainty in Knowledge-Based Systems, International Conference on
Information Processing and Management of Uncertainty in Knowledge-Based
Systems, {IPMU} '86, Paris, France, June 30 - July 4, 1986, Selected
and Extended Contributions},
series = {Lecture Notes in Computer Science},
volume = {286},
pages = {329--336},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18579-8\_32},
doi = {10.1007/3-540-18579-8\_32},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/Ostrovsky86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rm/Reinfrank86,
author = {Michael Reinfrank},
editor = {Herbert Stoyan},
title = {Reason Maintenance Systems},
booktitle = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
{\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
series = {Informatik-Fachberichte},
volume = {162},
pages = {1--26},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73385-7\_1},
doi = {10.1007/978-3-642-73385-7\_1},
timestamp = {Tue, 23 May 2017 01:10:39 +0200},
biburl = {https://dblp.org/rec/conf/rm/Reinfrank86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rm/ReinfrankF86,
author = {Michael Reinfrank and
Hartmut Freitag},
editor = {Herbert Stoyan},
title = {An Integrated Non-Monotonic and Reason Maintenance System},
booktitle = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
{\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
series = {Informatik-Fachberichte},
volume = {162},
pages = {27--62},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73385-7\_2},
doi = {10.1007/978-3-642-73385-7\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rm/ReinfrankF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rm/Werner86,
author = {Manfred Werner},
editor = {Herbert Stoyan},
title = {{RMSAI} - Ein Reason Maintenance System f{\"{u}}r approximative
Inferenzen},
booktitle = {Begr{\"{u}}ndungsverwaltung, Beitr{\"{a}}ge zu einem Workshop
{\"{u}}ber Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings},
series = {Informatik-Fachberichte},
volume = {162},
pages = {86--110},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73385-7\_4},
doi = {10.1007/978-3-642-73385-7\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rm/Werner86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Brown85,
author = {Allen L. Brown Jr.},
editor = {Aravind K. Joshi},
title = {Modal Propositional Semantics for Reason Maintenance Systems},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {178--184},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-1/Papers/032.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Brown85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Doyle83a,
author = {Jon Doyle},
editor = {Alan Bundy},
title = {The Ins and Outs of Reason Maintenance},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {349--351},
publisher = {William Kaufmann},
year = {1983},
url = {http://ijcai.org/Proceedings/83-1/Papers/082.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Doyle83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-08 16:02 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:
