{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,27]],"date-time":"2022-10-27T18:52:39Z","timestamp":1666896759204},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2001,12]]},"abstract":"<jats:p> In Artificial Intelligence, Default Logic is recognized as a powerful framework for knowledge representation when one has to deal with incomplete information. Its expressive power is suitable for non monotonic reasoning, but the counterpart is its very high level of theoretical complexity. Today, some operational systems are able to deal with real world applications. However, finding a default logic extension in a practical way is not yet possible in whole generality. This paper which is an extended version of<jats:sup>18<\/jats:sup> shows how heuristics such as Genetic Algorithms and Local Search techniques can be used and combined to build an automated default reasoning system. We give a general description of the required basic components and we exhibit experimental results. <\/jats:p>","DOI":"10.1142\/s0218213001000635","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T07:02:01Z","timestamp":1027753321000},"page":"503-523","source":"Crossref","is-referenced-by-count":2,"title":["HEURISTICS FOR A DEFAULT LOGIC REASONING SYSTEM"],"prefix":"10.1142","volume":"10","author":[{"given":"PASCAL","family":"NICOLAS","sequence":"first","affiliation":[{"name":"LERIA, University of Angers, 2 Bd Lavoisier, F-49045 Angers Cedex\u200901, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FR\u00c9D\u00c9RIC","family":"SAUBION","sequence":"additional","affiliation":[{"name":"LERIA, University of Angers, 2 Bd Lavoisier, F-49045 Angers Cedex\u200901, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"IGOR","family":"ST\u00c9PHAN","sequence":"additional","affiliation":[{"name":"LERIA, University of Angers, 2 Bd Lavoisier, F-49045 Angers Cedex\u200901, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,30]]},"reference":[{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00053-3"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.3.397"},{"key":"p_10","first-page":"29","author":"Hamming R.W.","year":"1950","journal-title":"Bell System Techn."},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009823419804"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90057-7"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1287\/opre.21.2.498"},{"key":"p_24","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1996.10510867"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213001000635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T23:34:37Z","timestamp":1565134477000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213001000635"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":8,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2012,4,30]]},"published-print":{"date-parts":[[2001,12]]}},"alternative-id":["10.1142\/S0218213001000635"],"URL":"https:\/\/doi.org\/10.1142\/s0218213001000635","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}