{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:10:17Z","timestamp":1736082617024,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540526269"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022081","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:33:56Z","timestamp":1131860036000},"page":"27-39","source":"Crossref","is-referenced-by-count":3,"title":["Expanding SNePS capabilities with LORE"],"prefix":"10.1007","author":[{"given":"Nuno J.","family":"Mamede","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o P.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"An Introduction to Many-Valued Logics","author":"R. Ackermann","year":"1967","unstructured":"Ackermann, R., An Introduction to Many-Valued Logics, (Dover Publications Inc., New York, 1967)."},{"key":"3_CR2","volume-title":"Entailment: The Logic of Relevance and Necessity 1","author":"A. Anderson","year":"1975","unstructured":"Anderson, A. and Belnap, N., Entailment: The Logic of Relevance and Necessity 1, (Princeton University Press, Princeton, NJ, 1975)."},{"key":"3_CR3","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N. Belnap","year":"1977","unstructured":"Belnap, N., A Useful Four-Valued Logic, in: G. Epstein and J.M. Dunn (Eds.), Modern Uses of Multiple-Valued Logic, (Reidel, Dordrecht, The Netherlands, 1977)."},{"issue":"1","key":"3_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1207\/s15516709cog0101_2","volume":"1","author":"D. Bobrow","year":"1977","unstructured":"Bobrow, D. and Winograd, T., An Overview of KRL, a Knowledge Representation Language, Cognitive Science 1 (1) (1977) 3\u201346.","journal-title":"Cognitive Science"},{"key":"3_CR5","series-title":"SNeRG Technical","volume-title":"Using Resource Limited Inference in SNePS","author":"G. Donlon","year":"1982","unstructured":"Donlon, G., Using Resource Limited Inference in SNePS, SNeRG Technical Note 10, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1982."},{"key":"3_CR6","volume-title":"Towards a Many-Valued Logic of Quantified Belief","author":"D. Driankov","year":"1988","unstructured":"Driankov, D., Towards a Many-Valued Logic of Quantified Belief, Ph.D. Dissertation, Thesis 192, Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden, 1988."},{"issue":"1","key":"3_CR7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1987","unstructured":"Fagin, R. and Halpern, J., Belief, Awareness, and Limited Reasoning, Artificial Intelligence 34 (1) (1987) 39\u201376.","journal-title":"Artificial Intelligence"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J. Hintikka","year":"1975","unstructured":"Hintikka, J., Impossible Possible Worlds Vindicated, J. Philosophical Logic 4 (1975) 475\u2013484.","journal-title":"J. Philosophical Logic"},{"key":"3_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3729.001.0001","volume-title":"Induction: Processes of Inference, Learning, and Discovery","author":"J. Holland","year":"1986","unstructured":"Holland, J., Holyoak, K., Nisbett, R. and Thagard, P., Induction: Processes of Inference, Learning, and Discovery, (MIT Press, Cambridge, Massachusetts, 1986)."},{"key":"3_CR10","first-page":"85","volume-title":"Proc. 4th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 390","author":"N. Mamede","year":"1989","unstructured":"Mamede, N., Pinto-Ferreira, C. and Martins, J., Reasoning with the Unknown, in: Martins and Morgado (Eds.), Proc. 4th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 390, (Springer-Verlag, Berlin, 1989) 85\u201396."},{"key":"3_CR11","unstructured":"Mamede, N. and Martins, J., Bringing Resources into Logic, (submitted for publication)."},{"key":"3_CR12","series-title":"Technical Report","volume-title":"Reasoning in Multiple Belief Spaces","author":"J. Martins","year":"1983","unstructured":"Martins, J., Reasoning in Multiple Belief Spaces, Ph.D. Dissertation, Technical Report 203, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1983."},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"1029","DOI":"10.1007\/978-3-662-21626-2_83","volume-title":"Applications of Artificial Intelligence in Engineering Problems: Proceedings of the First International Conference","author":"J. Martins","year":"1986","unstructured":"Martins, J. and Shapiro, S., Hypothetical Reasoning, in: Sriram and Adey (Eds.), Applications of Artificial Intelligence in Engineering Problems: Proceedings of the First International Conference, (Springer-Verlag, Berlin, West Germany, 1986) 1029\u20131042."},{"issue":"1","key":"3_CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. Martins","year":"1988","unstructured":"Martins, J. and Shapiro, S., A Model for Belief Revision, Artificial Intelligence 35 (1) (1988) 25\u201379.","journal-title":"Artificial Intelligence"},{"key":"3_CR15","volume-title":"Monitors: Structuring Control Information","author":"D. McKay","year":"1981","unstructured":"McKay, D., Monitors: Structuring Control Information, Thesis Proposal, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1981."},{"issue":"1\u20134","key":"3_CR16","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0004-3702(72)90047-1","volume":"3","author":"E. Minicozzi","year":"1972","unstructured":"Minicozzi, E. and Reiter, R., A Note on Linear Resolution Strategies in Consequence-Finding, Artificial Intelligence 3 (1\u20134) (1972) 175\u2013180.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"3_CR17","first-page":"39","volume":"0","author":"H. Reichgelt","year":"1987","unstructured":"Reichgelt, H., A Review of McDermott's \u201cCritique of Pure Reason\u201d, The European Journal on Artificial Intelligence 0 (1) (1987) 39\u201342.","journal-title":"The European Journal on Artificial Intelligence"},{"key":"3_CR18","unstructured":"Reiter R., and de Kleer, J., Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report, in: Proceedings AAAI-87, Seattle, Washington (1987) 183\u2013188."},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/B978-0-12-256380-5.50011-6","volume-title":"Associative Networks: The Representation and Use of Knowledge by Computers","author":"S. Shapiro","year":"1979","unstructured":"Shapiro, S., The SNePS Semantic Network Processing System, in: Findler (Ed.), Associative Networks: The Representation and Use of Knowledge by Computers, (Academic Press, New York, 1979) 179\u2013203."},{"key":"3_CR20","unstructured":"Shapiro, S., Personal Communication, 1989."},{"key":"3_CR21","volume-title":"SNePS-2 User's Manual","author":"S. Shapiro","year":"1989","unstructured":"Shapiro, S. and The SNePS Implementation Group, SNePS-2 User's Manual, Department of Computer Science, State University of New York at Buffalo, Buffalo, NY, 1989."},{"key":"3_CR22","unstructured":"Slagle, J., Chang, C. and Lee, R., Completeness Theorems for Semantic Resolution in Consequence-Finding in: Proceedings IJCAI-69, Washington, D.C., (1969) 281\u2013285."},{"issue":"4","key":"3_CR23","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1109\/TC.1976.1674621","volume":"C-25","author":"C. Srinivasan","year":"1976","unstructured":"Srinivasan, C., The Architecture of Coherent Information Systems, IEEE Transactions on Computers C-25 (4) (1976) 390\u2013402.","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Current Trends in SNePS \u2014 Semantic Network Processing System"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022081.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T12:56:57Z","timestamp":1736081817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022081"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540526269"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0022081","relation":{},"subject":[]}}