{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:39Z","timestamp":1725455859270},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055887X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023437","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:47:37Z","timestamp":1132397257000},"page":"339-356","source":"Crossref","is-referenced-by-count":7,"title":["Default theory for Well Founded Semantics with explicit negation"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"Joaquim Nunes","family":"Apar\u00edcio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"C. Baral and V. S. Subrahmanian. Stable and extension class theory for logic programs and default logics. In International Workshop on Nonmonotonic Reasoning, 1990."},{"key":"20_CR2","unstructured":"C. Baral and V. S. Subrahmanian. Dualities between alternative semantics for logic programming and nonmonotonic reasoning. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and NonMonotonic Reasoning'91. MIT Press, 1991."},{"key":"20_CR3","unstructured":"N. Bidoit and C. Froidevaux. Minimalism subsumes default logic and circumscription in stratified logic programming. In Symposium on Principles of Database Systems. ACM SIGACT-SIGMOD, 1987."},{"key":"20_CR4","unstructured":"N. Bidoit and C. Froidevaux. General logic databases and programs: default logic semantics and stratification. Journal of Information and Computation, 1988."},{"key":"20_CR5","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. A. Bowen, editors, 5th International Conference on Logic Programming, pages 1070\u20131080. MIT Press, 1988."},{"key":"20_CR6","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579\u2013597. MIT Press, 1990."},{"key":"20_CR7","unstructured":"A. Marek and M. Truszczynski. Stable semantics for logic programs and default theories. In North American Conference on Logic Programming'89. MIT Press, 1989."},{"key":"20_CR8","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In European Conference on Artificial Inteligence'92. John Wiley & Sons, Ltd, 1992. To appear."},{"key":"20_CR9","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Counterfactual reasoning based on revising assumptions. In Ueda and Saraswat, editors, International Logic Programming Symposium'91. MIT Press, 1991."},{"key":"20_CR10","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Hypothetical reasoning with well founded semantics. In B. Mayoh, editor, Scandinavian Conference on AI'91. IOS Press, 1991."},{"key":"20_CR11","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Nonmonotonic reasoning with well founded semantics. In Koichi Furukawa, editor, 8th International Conference on Logic Programming'91, pages 475\u2013489. MIT Press, 1991."},{"key":"20_CR12","unstructured":"H. Przymusinska and T. Przymusinski. Semantic Issues in Deductive Databases and Logic Programs. Formal Techniques in Artificial Intelligence. North Holland, 1990."},{"key":"20_CR13","volume-title":"Technical report","author":"H. Przymusinska","year":"1991","unstructured":"H. Przymusinska and T. Przymusinski. Stationary default extensions. Technical report, California Polytechnic at Pomona and University of California at Riverside, 1991."},{"key":"20_CR14","unstructured":"T. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Waren and Szeredi, editors, 7th International Conference on Logic Programming, pages 459\u2013477. MIT Press, 1990."},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:68\u201393, 1980.","journal-title":"Artificial Intelligence"},{"key":"20_CR16","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of ACM, pages 221\u2013230, 1990."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"G. Wagner. A database needs two kinds of negation. In B. Thalheim, J. Demetrovics, and H-D. Gerhardt, editors, MFDBS'91, pages 357\u2013371. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54009-1_25"}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023437.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:50:11Z","timestamp":1607550611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055887X"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0023437","relation":{},"subject":[]}}