{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T17:30:47Z","timestamp":1673371847817},"reference-count":55,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1016\/s0169-023x(98)00047-0","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T13:19:33Z","timestamp":1049721573000},"page":"243-269","source":"Crossref","is-referenced-by-count":5,"title":["Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems"],"prefix":"10.1016","volume":"26","author":[{"given":"Dieter","family":"Fensel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rix","family":"Groenboom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.R.Renardel","family":"de Lavalette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-023X(98)00047-0_BIB1","series-title":"Operationalisierung des Models der Expertise mit KARL","author":"Angele","year":"1993"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB2","article-title":"Model-based and incremental knowledge engineering: The MIKE approach","author":"Angele","year":"1993"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB3","series-title":"Process Algebra, Cambridge Tracts in Theoretical Computer Science","author":"Baeten","year":"1990"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB4","series-title":"Proc. 10th Intl. Conf. on Logic Programming (ICLP)","article-title":"Transaction logic programming","author":"Bonner","year":"1993"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB5","article-title":"Transaction Logic Programming","author":"Bonner","year":"1995","journal-title":"Technical Report CSRI-323"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB6","series-title":"SOFSEM '95: Theory and Practice of Informatics","article-title":"Why use evolving algebras for hardware and software engineering","author":"B\u00f6rger","year":"1995"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB7","series-title":"On Conceptual Modeling","article-title":"On the development of data models","author":"Brodie","year":"1984"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB8","series-title":"Proc. 1st Intl. Conf. on Multi-Agent Systems (ICMAS-95)","article-title":"Formal specification of multiagent systems: A real-world case","author":"Brazier","year":"1995"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB9","series-title":"Proc. 12th Intl. Joint Conf. on Artificial Intelligence (IJCAI-91)","article-title":"Complexity results for planning","author":"Bylander","year":"1991"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","article-title":"The computational complexity of abduction","volume":"49","author":"Bylander","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB11","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumptiondashbased TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB12","volume":"35","author":"Feijs","year":"1992","journal-title":"Formal Specification and Design, Cambridge Tracts in Theoretical Computer Science"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB13","article-title":"Formal definition of the design language COLD-K (Preliminary version)","author":"Feijs","year":"1987","journal-title":"ESPRIT document METEOR\/t7\/PRLE\/7"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB14","series-title":"The Knowledge Acquisition and Representation Language KARL","author":"Fensel","year":"1995"},{"issue":"4","key":"10.1016\/S0169-023X(98)00047-0_BIB15","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900007566","article-title":"Formal specification languages in knowledge and software engineering","volume":"10","author":"Fensel","year":"1995","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB16","doi-asserted-by":"crossref","unstructured":"D. Fensel, J. Angele, R. Studer, The Knowledge Acquisition and Representation Language KARL, IEEE Transactions on Knowledge and Data Engineering, in press.","DOI":"10.1007\/978-1-4615-2275-1"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB17","series-title":"Proc. of the 12th European Conf. on Artificial Intelligence (ECAI-96)","article-title":"MLPM: Defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems","author":"Fensel","year":"1996"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB18","article-title":"The essence of problemdashsolving methods: Making assumptions for efficiency reasons","author":"Fensel","year":"1996"},{"issue":"2","key":"10.1016\/S0169-023X(98)00047-0_BIB19","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900006767","article-title":"A comparison of languages which operationalize and formalize KADS models of expertise","volume":"9","author":"Fensel","year":"1994","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB20","series-title":"Proc. ECAI-96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, 12th European Conf. on Artificial Intelligence (ECAI-96)","article-title":"Specification and verification of knowledge-based systems","author":"Fensel","year":"1996"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB21","article-title":"Logics of Time and Computation","author":"Goldblatt","year":"1992","journal-title":"CSLI Lecture Notes No. 7"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB22","article-title":"Formalizing Knowledge Domains\u2014Static and Dynamic Aspects","author":"Groenboom","year":"1997"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB23","series-title":"Proc. of Workshop in Semantics of Specification Languages","article-title":"Reasoning about dynamic features in specifications languages","author":"Groenboom","year":"1994"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB24","series-title":"Proc. of Accolade 95","article-title":"A formalization of evolving algebras","author":"Groenboom","year":"1995"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB25","series-title":"Specification and Validation Methods","article-title":"Evolving algebras 1993: Lipari guide","author":"Gurevich","year":"1994"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB26","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6259-0_10","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"issue":"1","key":"10.1016\/S0169-023X(98)00047-0_BIB27","doi-asserted-by":"crossref","DOI":"10.1016\/1042-8143(92)90017-U","article-title":"(ML)2: A formal language for KADS conceptual models","volume":"4","author":"van Harmelen","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB28","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","article-title":"The completeness of the first-order functional calculus","volume":"14","author":"Henkin","year":"1949","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB29","series-title":"Systematic Software Development Using VDM","author":"Jones","year":"1990"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB30","series-title":"Modeling of Dynamic Object Systems\u2014A Logic-based Approach","author":"Jungclaus","year":"1993"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB31","doi-asserted-by":"crossref","DOI":"10.1145\/210332.210335","article-title":"Logical Foundations of Object-Oriented and Frame-Based Languages","volume":"42","author":"Kifer","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB32","series-title":"Algebraic Methods: Theory, Tools and Applications","article-title":"The logic MPL\u03c9","author":"Koymans","year":"1989"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","article-title":"A completeness theorem in modal logic","volume":"24","author":"Kripke","year":"1959","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB34","series-title":"Symbolic Logic","author":"Lewis","year":"1932"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB35","series-title":"Formal Specification of Complex Reasoning Systems","article-title":"A compositional architecture for simple design formally specified in DESIRE","author":"van Langevelde","year":"1993"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB36","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB37","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"Vol. 4","author":"McCarthy","year":"1969"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB38","series-title":"Principles of Knowledge Representation CSLI publications, Studies in Logic, Language and Information","article-title":"Artificial intelligence: A computational perspective","author":"Nebel","year":"1996"},{"issue":"2","key":"10.1016\/S0169-023X(98)00047-0_BIB39","article-title":"An algebraic specification of the dynamic behaviour of knowledge-based systems","volume":"11","author":"Pierret-Golbreich","year":"1996","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB40","series-title":"Proc. 17th Annual IEEE Symp. on Foundations of Computer Science","article-title":"Semantical considerations on Floyd-Hoare logic","author":"Pratt","year":"1976"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB41","series-title":"Foundations of Deductive Databases and Logic Programming","article-title":"On the declarative semantics of deductive databases and logic programs","author":"Przymusinski","year":"1988"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB42","series-title":"Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009","article-title":"The KIV approach to software engineering","author":"Reif","year":"1995"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB43","article-title":"How to change your world \u2014 a variant of quantified dynamic logic","author":"Renardel de Lavalette","year":"1997"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB44","article-title":"Extending dynamic logic for reasoning about evolving algebras","author":"Sch\u00f6negge","year":"1995"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB45","year":"1993"},{"issue":"6","key":"10.1016\/S0169-023X(98)00047-0_BIB46","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/64.363263","article-title":"CommonKADS, A comprehensive methodology for KBS development","volume":"9","author":"Schreiber","year":"1994","journal-title":"IEEE Expert"},{"issue":"4","key":"10.1016\/S0169-023X(98)00047-0_BIB47","doi-asserted-by":"crossref","DOI":"10.1006\/knac.1994.1018","article-title":"The semantics of KBSSF, A language for KBS design","volume":"6","author":"Spee","year":"1994","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB48","author":"Spivey","year":"1992"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB49","series-title":"4th Intl. Workshop on Foundations of Models and Languages for Data and Objects, Workshop in Computing","article-title":"Dynamic database logic: The first order case","author":"Spruit","year":"1993"},{"issue":"1","key":"10.1016\/S0169-023X(98)00047-0_BIB50","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/5.1.27","article-title":"Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases","volume":"5","author":"Spruit","year":"1995","journal-title":"Journal of Logic Computation"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB51","series-title":"Logic Program Synthesis and Transformation\u2014Meta Programming in Logic, Proc. 4th Intl. Workshops, LOPSTER-94 and META-94","article-title":"Temporal semantics of meta-level architectures for dynamic control of reasoning","author":"Treur","year":"1994"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB52","series-title":"Formal Specification of Complex Reasoning Systems","author":"Treur","year":"1993"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB53","series-title":"Proc. 5th Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE93)","article-title":"Reuse-oriented knowledge Engineering with MoMo","author":"Voss","year":"1993"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB54","article-title":"Adaption and learning in multi-agent systems: Some remarks on a bibliography","author":"Wei\u00df","year":"1995"},{"key":"10.1016\/S0169-023X(98)00047-0_BIB55","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-88074-1.50018-4","article-title":"Algebraic specification","author":"Wirsing","year":"1990"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X98000470?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X98000470?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T18:26:45Z","timestamp":1556130405000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X98000470"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["S0169023X98000470"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(98)00047-0","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}