{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:29Z","timestamp":1725455849043},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055887X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023419","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:47:37Z","timestamp":1132397257000},"page":"25-35","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge without modality: A simplified framework for chronological ignorance"],"prefix":"10.1007","author":[{"given":"Craig","family":"MacNish","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"2","volume-title":"A Non-Reified Temporal Logic","author":"F. Bacchus","year":"1989","unstructured":"Bacchus, F., Tenenberg, J. and Koomen, J. A. A Non-Reified Temporal Logic. In KR'89: Proc. 1st International Conference on Principles of Knowledge Representation and Reasoning, pp. 2\u201310, Toronto, Canada, 1989. Morgan Kaufmann, San Mateo, USA."},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0004-3702(91)90062-O","volume":"48","author":"J. Bell","year":"1991","unstructured":"Bell, J. Extended Causal Theories. Artificial Intelligence, 48 pp. 211\u2013224, 1991.","journal-title":"Artificial Intelligence"},{"key":"2_CR3","unstructured":"Galton, A. A Critique of Yoav Shoham's Theory of Causal Reasoning. In Proc. AAAI-91, Anaheim, USA, 1991."},{"key":"2_CR4","first-page":"183","volume-title":"Machine Intelligence 4","author":"C. Green","year":"1969","unstructured":"Green, C. Theorem-Proving by Resolution as a Basis for Question-Answering Systems. In Meltzer, B. and Michie, D., editors, Machine Intelligence 4, pp. 183\u2013205. Edinburgh University Press, Edinburgh, UK, 1969."},{"key":"2_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511812866","volume-title":"Philosophy of Logics","author":"S. Haack","year":"1978","unstructured":"Haack, S. Philosophy of Logics. Cambridge University Press, Cambridge, UK, 1978."},{"key":"2_CR6","volume-title":"An Introduction to Modal Logic","author":"G. Hughes","year":"1968","unstructured":"Hughes, G. and Cresswell, M. An Introduction to Modal Logic. Methuen, London, UK, 1968."},{"key":"2_CR7","unstructured":"Kripke, S. Semantical Considerations on Modal Logic. Acta Philosophica Fennica, 16, 1963."},{"key":"2_CR8","series-title":"Technical Report CUED\/F-INFENG\/TR.102","volume-title":"PhD thesis","author":"C. MacNish","year":"1992","unstructured":"MacNish, C. Nonmonotonic Inference Systems for Modelling Dynamic Processes. PhD thesis, Technical Report CUED\/F-INFENG\/TR.102, Department of Engineering, University of Cambridge, Cambridge, UK, 1992."},{"key":"2_CR9","first-page":"65","volume-title":"Asserted 3-valued Logic for Default Reasoning","author":"C. MacNish","year":"1990","unstructured":"MacNish, C. and Fallside, F. Asserted 3-valued Logic for Default Reasoning. In AI'90: Proc. 4th Australian Joint Conference on Artificial Intelligence, pp. 65\u201380, Perth, Australia, 1990. World Scientific Publishing, Singapore."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"MacNish, C. and Fallside, F. Temporal Reasoning: A Solution for Multiple Agent Collision Avoidance. In Proc. 1990 IEEE International Conference on Robotics and Automation, pp. 494\u2013499, Cincinnati, USA, 1990.","DOI":"10.1109\/ROBOT.1990.126027"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"McDermott, D. Non-Monotonie Logic II: Non-Monotonic Modal Theories. J. ACM, 29 pp. 33\u201357, 1982.","journal-title":"J. ACM"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D. and Doyle, J. Non-Monotonic Logic I. Artificial Intelligence, 13 pp. 41\u201372, 1980.","journal-title":"Artificial Intelligence"},{"key":"2_CR13","volume-title":"MSc thesis","author":"K. Nakata","year":"1991","unstructured":"Nakata, K. Implementing Non-monotonic Temporal Logic. MSc thesis, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, UK, 1991."},{"key":"2_CR14","first-page":"158","volume-title":"The Ways of Paradox","author":"W. V. Quine","year":"1976","unstructured":"Quine, W. V. Three Grades of Modal Involvement. In The Ways of Paradox, pp. 158\u2013176. Harvard University Press, USA, 1976."},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0004-3702(88)90085-9","volume":"36","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y. Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning. Artificial Intelligence, 36 pp. 279\u2013331, 1988.","journal-title":"Artificial Intelligence"},{"key":"2_CR16","volume-title":"Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, London, UK, 1988."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0004-3702(88)90078-1","volume":"36","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y. and McDermott, D. Problems in Formal Temporal Reasoning. Artificial Intelligence, 36 pp. 49\u201361, 1988.","journal-title":"Artificial Intelligence"},{"key":"2_CR18","volume-title":"Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics","author":"L. A. Wallen","year":"1990","unstructured":"Wallen, L. A. Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. MIT Press, Boston, USA, 1990."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023419.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:50:04Z","timestamp":1607550604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023419"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055887X"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0023419","relation":{},"subject":[]}}