Abstract
This article describes projects in the domain of artificial intelligence and law, which resulted from the research of the five authors listed, when they formed teams (of the first author named and each one of the other authors). Therefore, the present paper offers a subjective perspective, from the viewpoint of personal trajectories within AI & Law. Several, though not all, of the projects concerned dealt with facets of legal evidence. These projects include: ALIBI (an AI planner generating exonerating accounts); a representation of Italy’s regional constitutions in a nested-relation representation (a precursor of XML); the application of kappa calculus and a probabilistic interpretation to a Scandinavian approach to evidential strength; the application of Petri Nets for representing temporal relations in mutual wills; Daedalus (Judge Asaro’s software assisting Italy’s examining magistrates with inquiries, and then when they turn prosecutors); a study in occurrences in court of allegations echoing the pretext archetype “The dog ate my homework” (even when the claim was not pretextuous); an application of Wigmore Charts to an analysis of both the argumentation and the rhetoric of an Italian arringa (final submissions to the court) from a real court case; editorial projects which promoted the emergence of evidence as a conspicuous field within AI & Law (thus overturning previous neglect); and a magnum opus (Nissan 2012a) which presents the state of the art of computational applications to legal evidence, police inquiries, or argumentation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Symbolic Logic 50(2), 510–530 (1985)
Alexander, L., Ferzan, K.: A Culpability-Based Theory of Criminal Law. Cambridge University Press, Cambridge, U.K. (2008)
Allen, J.F.: Recognizing Intentions from Natural Language Utterances. In: Bradie, M., Berwick, R.C. (eds.) Computational Models of Discourse, ch. 2, pp. 108–166. MIT Press, Cambridge, MA (1983)
Allen, R.J.: A Reconceptualization of Civil Trials. Boston University Law Review 66, 401–437 (1986)
Allen, J.: Natural Language Understanding. Benjamin / Cummings, Menlo Park, CA (1987)
Allen, R.J.: The Nature of Juridical Proof. Cardozo Law Review 13, 373–422 (1991)
Allen, R.J.: The Hearsay Rule as a Rule of Admission. Minnesota Law Review 76, 797–812 (1992)
Allen, R.J.: Factual Ambiguity and a Theory of Evidence. Northwestern University Law Review 88, 604–640 (1994)
Allen, R.J.: Rationality, Algorithms and Juridical Proof: A Preliminary Inquiry. International Journal of Evidence and Proof 1, 254–275 (1997)
Allen, R.J.: Clarifying the Burden of Persuasion and Bayesian Decision Rules: A Response to Professor Kaye. International Journal of Evidence and Proof 4, 246–259 (2000)
Allen, R.J.: Artificial Intelligence and the Evidentiary Process: The Challenges of Formalism and Computation. Artificial Intelligence and Law 9(2/3), 99–114 (2001)
Allen, R.J.: The Error of Expected Loss Minimization. Law, Probability & Risk 2, 1–7 (2003)
Allen, R.J.: Explanationism All the Way Down. Episteme 3(5), 320–328 (2008a)
Allen, R.J.: Juridical Proof and the Best Explanation. Law & Philosophy 27, 223–268 (2008b)
Allen, R.J., Lively, S.: Burdens of Persuasion in Civil Cases: Algorithms v. Explanations. MSU Law Review, 893–944 (2003 [2004])
Allen, R.J., Pardo, M.S.: The Problematic Value of Mathematical Models of Evidence. Journal of Legal Studies 36, 107–140 (2007a)
Allen, R.J., Pardo, M.S.: Probability, Explanation and Inference: A Reply. International Journal of Evidence and Proof 11, 307–317 (2007b)
Allen, R.J., Pardo, M.S.: Juridical Proof and the Best Explanation. Law & Philosophy 27, 223–268 (2008)
Allen, R., Redmayne, M. (eds.): Bayesianism and Juridical Proof. Special issue, The International Journal of Evidence and Proof, vol. 1, pp. 253–360. Blackstone, London (1997)
Alves, E.H.: The First Axiomatization of a Paraconsistent Logic. Bulletin of the Section of Logic (Lodz) 21(1), 19–20 (1992)
Anderson, T.J.: The Netherlands Criminal Justice System: An Audit Model of Decision-Making. In: Malsch, M., Nijboer, J.F. (eds.) Complex Cases: Perspectives on the Netherlands Criminal Justice System. Criminal Sciences, ch. 4, pp. 47–67. THELA THESIS, Amsterdam (1999)
Anderson, T., Twining, W.: Analysis of Evidence: How to Do Things With Facts (With a teacher’s manual). Weidenfeld and Nicholson, London (1991). Little, Brown & Co., Boston, MA (1991). Northwestern University Press, Evanston, IL (1998). The 2nd edn. (extensively revised) is: T. Anderson, D. Schum, and W. Twining, Analysis of Evidence: How to Do Things with Facts. Based on Wigmore’s Science of Judicial Proof. Cambridge University Press, Cambridge, U.K. (2005)
Åqvist, L.: Towards a Logical Theory of Legal Evidence: Semantic Analysis of the Bolding-Ekelöf Degrees of Evidential Strength. In: Martino, A.A. (ed.) Expert Systems in Law, pp. 67–86. North-Holland, Amsterdam (1992)
Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. In: Decker, H., Villadsen, J., Waragai, T. (eds.) Proceedings of the Workshop on Paraconsistent Computational Logic (PCL 2002), Copenhagen, July 27 (2002); As part of the 2002 Federated Logic Conference: FLoC 2002. Datalogiske Skrifter, vol. 95, pp. 51–65. Roskilde University, Denmark
Arnheim, R.: The Two Authenticities of the Photographic Media. The Journal of Aesthetics and Art Criticism 51, 537–540 (1993)
Arruda, A.: Aspects of the Historical Development of Paraconsistent Logic. In: Priest, G., Routley, R., Norman, J. (eds.) Paraconsistent Logic: Essays on the Inconsistent, pp. 99–130. Philosophia Verlag, Munich (1989)
Asaro, C.: Ingegneria della conoscenza giuridica applicata al diritto penale. Aracne, Rome (2012)
Asaro, C., Martino, A.A., Nissan, E.: Daedalus: An Integrated Tool for the Italian Investigating Magistrate and the Prosecutor. A Sample Session: Investigating an Extortion Case. Computing and Informatics 20(6), 515–554 (2001)
Asenjo, F.G.: A Calculus of Antinomies. Notre Dame Journal of Formal Logic 16, 103–105 (1966)
Asher, N., Sablayrolles, P.: A Typology and Discourse Semantics for Motion Verbs and Spatial PPs in French. Journal of Semantics 12(2), 163–209 (1995)
Azuelos-Atias, S.: A Pragmatic Analysis of Legal Proofs of Criminal Intent. Benjamins, Amsterdam (2007)
Baron, J.: Nonconsequentialist Decisions. With Open Peer Commentary and the Author’s Response. Behavioral and Brain Sciences 17(1), 1–42 (1994)
Barwise, J., Etchemendy, J.: The Liar: An Essay on Truth and Circularity. Oxford University Press, New York (1987)
Barwise, J., Perry, J.: Situations and Attitudes. The MIT Press, Cambridge, MA (1983)
Bashan, E.: The Names of Towns in Eretz Israel as Appellations of Foreign Towns in the Responsa Literature of the Ottoman Period. In: Kaddari, M.Z., Katzburg, N., Sperber, D. (eds.) Bar-Ilan: Annual of Bar-Ilan University Studies in Judaica and the Humanities, vol. 12, pp. 137–165. Bar-Ilan University Press, Ramat-Gan, Israel (1974) (in Hebrew). English abstract: p. xv
Batens, D.: A Dynamic Semantics for Inconsistency-Adaptive Logics. Bulletin of the Section of Logic (Lodz) 27(1/2), 15–18 (1998)
Batens, D., Mortensen, C., Priest, G., van Bendegem, J.P. (eds.): Proceedings of the First World Congress on Paraconsistency, Ghent, Belgium, 1998. Research Studies Press, King’s College Publications, Taylor and Francis, Baldock, Hertfordshire, England (2000)
Batini, C., D’Atri, A., Moscarini, M.: Formal Tools for Top-Down and Bottom-Up Generation of Acyclic Relation Schemata. In: Mühlbacher, J.R. (ed.) Proceedings of the 7th Conference on Graphtheoretic Concepts in Computer Science (WG 1981), pp. 219–229. Hanser, Munich (1981)
Baudelaire, C.: Salon of 1859. As translated by J. Mayne, it was printed in: V. Goldberg, Photography in Print, pp. 123–126. University of New Mexico Press, Santa Fe, NM (1859, 1988)
Bauer-Bernet, H.: Temporal Aspects of the Formalization and Computerization of Law. In: Martino, A.A., Socci Natali, F. (eds.) Automated Analysis of Legal Texts: Logic, Informatics, Law, pp. 451–472. North-Holland, Amsterdam (1986)
Beall, J.C. (ed.): Liars and Heaps: New Essays on Paradox. Clarendon Press, Oxford (2003)
Beeri, C., Fagin, R., Maier, D., Mendelzon, A.O., Ullman, J.D., Yannakakis, M.: Properties of Acyclic Database Schemes. In: Proceedings of the 13th Annual ACM Symposium on the Theory of Computing, pp. 355–362 (1981)
Belnap Jr., N.D.: A Useful Four-Valued Logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8–37. Reidel, Dordrecht, The Netherlands (1977)
Belnap, N.: Backwards and Forwards in the Modal Logic of Agency. Philosophy and Phenomenological Research 51, 8–37 (1991)
Benderly, B.L.: Turning a Blind Eye to Mad Science. (Reviewing: Firstman, R., and Talan, J., The Death of Innocents, Bantam.) The Washington Post, November 17, final edn., Section “Style”, p. C08 (1997)
Bennett, W.L., Feldman, M.S.: Reconstructing Reality in the Courtroom: Justice and Judgment in American Culture. Rutgers University Press, New Brunswich, NJ, and Tavistock, London (1981)
Bennun, M.E.: Computerizing Criminal Law: Problems of Evidence, Liability and mens rea. Information & Communications Technology Law 5(1), 29–44 (1996)
Berge, C.: Graphs and Hypergraphs, 2nd edn. North-Holland, Amsterdam (1976)
Berge, C.: Hypergraphs: Combinatorics of Finite Sets. North-Holland Mathematical Library, vol. 45. North-Holland, Amsterdam (1989); Translation of Hypergraphes: combinatoires des ensembles finis. Bordas, Paris (1987)
Besnard, P., Hunter, A.: Reasoning with Actual and Potential Contradictions. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 2. Kluwer, Dordrecht, The Netherlands (1998)
Besnard, P., Farinas del Cerro, L., Gabbay, D., Hunter, A.: Logical Handling of Default and Inconsistent Information. In: Motro, A., Smets, P. (eds.) Uncertainty Management in Information Systems, pp. 325–341. Kluwer, Dordrecht, The Netherlands (1997)
Best, E., Hall, J.: The Box Calculus: A New Causal Algebra with Multilabel Communication. Technical Report Series, 373. Computing Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, England (1992)
Béziau, J.-Y.: Are Paraconsistent Negations Negations? In: Carnielli, W.A., Coniglio, M.E., D’Ottaviano, I.M.L. (eds.) Paraconsistency: The Logical Way to the Inconsistent, pp. 465–486. Marcel Dekker, Basel and New York (2001)
Béziau, J.-Y.: Paraconsistent Logic from a Modal Viewpoint. In: Marcos, J., Batens, D., Carnielli, W.A. (eds.) Proceedings of the Workshop on Paraconsistent Logic (WoPaLo) (as part of the 14th European Summer School on Logic, Language and Information: ESSLLI 2002), Trento, Italy, August 5-9, pp. 121–129 (2002)
Blair, H., Subrahmanian, V.S.: Paraconsistent Logic Programming. Theoretical Computer Science 68, 135–154 (1989)
Blamey, S.: Partial Logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 3, pp. 1–70. Reidel, Dordrecht, The Netherlands (1986)
Bloesch, A.: A Tableau Style Proof System for Two Paraconsistent Logics. Notre Dame Journal of Formal Logic 34(2), 295–301 (1993)
Bochman, A.: A Logical Foundation for Logic Programming, I: Biconsequence Relations and Nonmonotonic Completion. The Journal of Logic Programming 35, 151–170 (1998)
Bolding, P.O.: Aspects of the Burden of Proof. Scandinavian Studies in Law 4, 9–28 (1960)
Bowles, B.: Poetic Practice and Historical Paradigm: Charles Baudelaire’s Anti-Semitism. PMLA (Proceedings of the Modern Language Association) 115(2), 195–208 (2000)
Brady, R.: Depth Relevance of Some Paraconsistent Logics. Studia Logica 43(1/2), 63–73 (1984)
Brams, G.W.: Réseaux de Petri: Théorie et Pratique, 2 vols. Masson, Paris (1983)
Brierley, A.H.R.: Mutual Wills: Blackpool Illuminations. The Modern Law Review 58(1), 95 (1995)
Bringsjord, S., Ferrucci, D.A.: Artificial Intelligence and Literary Creativity. Erlbaum, Mahwah, NJ (2000)
Brown, C.T.: Relating Petri Nets to Formulae of Linear Logic. Internal report, CSR-304-89. Department of Computer Science, University of Edinburgh, Edinburgh, Scotland (June, 1989a)
Brown, C.T.: Petri Nets as Quantales. Internal report, CSR-314-89. Department of Computer Science. University of Edinburgh, Edinburgh, Scotland (November 1989b)
Bruce, B.: Case Systems for Natural Language. Artificial Intelligence 6, 327–360 (1975)
Bruce, B.C., Moser, M.G.: Grammars. In: Shapiro, S.C. (ed.) Encyclopaedia of Artificial Intelligence, pp. 333–339. Wiley, New York (1987)
Bunder, M.W.: Paraconsistent Combinatory Logic. Bulletin of the Section of Logic (Lodz) 8(4), 177–181 (1979)
Burrough, P.A., Frank, A.: Geographic Objects with Indeterminate Boundaries. Taylor & Francis, London (1995)
Butzenberger, K.: Some General Remarks on Negation and Paradox in Chinese Logic. Journal of Chinese Philosophy 20(3), 313–348 (1993)
Byrne, E., Hunter, A.: Man Bites Dog: Looking for Interesting Inconsistencies in Structured News Reports. Data and Knowledge Engineering 48(3), 265–285 (2004)
Campe, R.: The Game of Probability: Literature and Calculation from Pascal to Kleist. Stanford University Press, Stanford, CA (2013)
Carnielli, W.A.: Possible-Translations Semantics for Paraconsistent Logics. In: Batens, D., Mortensen, C., Priest, G., van Bendegem, J.P. (eds.) Frontiers in Paraconsistent Logic, pp. 149–163. Research Studies Press, King’s College Publications, Baldock, Hertfordshire, England (2000)
Carnielli, W.A.: How to Build your Own Paraconsistent Logic: An Introduction to the Logics of Formal (In)consistency. In: Marcos, J., Batens, D., Carnielli, W.A. (eds.) Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), as part of the 14th European Summer School on Logic, Language and Information: ESSLLI 2002, Trento, Italy, August 5-9, pp. 58–72 (2002)
Carnielli, W.A., Coniglio, M.E., D’Ottaviano, I.M.L. (eds.): Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the Second World Congress on Paraconsistency (WCP 2000). Marcel Dekker, Basel and New York (2001)
Carnielli, W.A., Coniglio, M.E., Marcos, J.: Logics of Formal Inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 14, pp. 15–107. Springer, Dordrecht (2007); Versions of 2005 and (revised) 2007 available online at CLE e-Prints electronic version, Section Logic 5(1) (2005), http://www.cle.unicamp.br/e-prints/vol_5,n_1,2005.html
Cassinis, R., Morelli, L.M., Nissan, E.: Emulation of Human Feelings and Behaviours in an Animated Artwork. International Journal on Artificial Intelligence Tools 16(2), 291–375 (2007); Full-page contents of the article on p. 158
Castelfranchi, C., Falcone, R.: Towards a Theory of Delegation for Agent-Based Systems. Robotics and Autonomous Systems 24, 141–157 (1998)
Castelfranchi, C., Falcone, R.: Trust and Control: A Dialectic Link. Applied Artificial Intelligence 14, 799–823 (2000)
Castelfranchi, C., Falcone, R.: Trust Theory: A Socio-Cognitive and Computational Approach. John Wiley & Sons, Chichester, West Sussex, England (2010)
Cheng, C.-Y.: On Implication (tse) and Inference (ku) in Chinese Grammar and Logic. Journal of Chinese Philosophy 2(3), 225–244 (1975)
Ciuciura, J.: Intuitionistic Discursive System (IDS). Bulletin of the Section of Logic (Lodz) 29(1/2), 57–62 (2000)
Cleave, J.P.: The Notion of Logical Consequence in the Logic of Inexact Predicates. Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 20, 307–324 (1974)
Clements, P.: ‘Strange Flowers’: Some Notes on the Baudelaire of Swinburne and Pater. The Modern Language Review 76(1), 20–30 (1981)
Cohen, P.R., Levesque, H.J.: Intention is Choice with Commitment. Artificial Intelligence 42(2/3), 213–261 (1990)
Cohn, A.G., Gooday, J.M., Bennett, B.: A Comparison of Structures in Spatial and Temporal Logics. In: Casati, R., White, G. (eds.) Philosophy and the Cognitive Sciences, pp. 409–422. Holder-Pichler-Tempsky, Vienna (1995)
Colwell, K., Hiscock-Anisman, C., Memon, A., Woods, D., Yaeger, H.: Strategies of Impression Management among Deceivers and Truth Tellers: How Liars Attempt to Convince. American Journal of Forensic Psychology 24(2), 31–38 (2006)
Cross, C.B.: Nonmonotonic Inconsistency. Artificial Intelligence 149(2), 161–178 (2003); Erratum. Artificial Intelligence 160(1/2), 191–192 (2004)
Cuppens, F., Demolombe, R.: A Deontic Logic for Reasoning about Confidentiality. In: Brown, M.A., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems. ΔEON 1996: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, January 11-13. Workshops in Computing Series, pp. 66–79. Springer, Berlin (1996)
da Costa, N.C.A.: On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic 15(4), 497–510 (1974)
da Costa, N.C.A., Alves, E.H.: Relations Between Paraconsistent Logic and Many-Valued Logic. Bulletin of the Section of Logic (Lodz) 10(4), 185–191 (1981)
da Costa, N.C.A., Dubikajtis, L.: On Jaskowski’s Discussive Logic. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non-Classical Logics, Model Theory and Computability, pp. 37–56. North-Holland, Amsterdam (1977)
da Moraes, L.: On Discussive Set Theory. Bulletin of the Section of Logic (Lodz) 14(4), 144–149 (1985)
Datta, A., Ghosh, S.: Synthesis of a Class of Deadlock-Free Petri Nets. Journal of the ACM 31(3), 486–506 (1984)
David, R., Alla, H.: Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. Prentice Hall, New York (1992); Translation of: Du Grafcet aux reseaux de Petri.
Davis, M.: Why Attempts Deserve Less Punishment than Completed Crimes. Law and Philosophy 5, 1–32 (1986)
Dawid, A.P.: Bayes’s Theorem and Weighing Evidence by Juries. Research Report, 219. Department of Statistical Science, University College London (April 2001)
Dawid, A.P.: Statistics and the Law. In: Bell, A., Swenson-Wright, J., Tybjerg, K. (eds.) Evidence, pp. 119–148. Cambridge University Press, Cambridge, U.K. (2008) Also: Research Report, 244. Department of Statistical Science, University College London (May 2004)
Delannoy, J.-F.: Argumentation Mark-Up: A Proposal. In: Proceedings of the Workshop “Towards Standards and Tools for Discourse Tagging”, pp. 18–25, accessible in ACL Anthology, W99 0303 (1999). Now posted at http://acl.ldc.upenn.edu//W/W99/
de Castro, M.A., D’Ottaviano, I.M.L.: Natural Deduction for Paraconsistent Logic. Logica Trianguli (Nantes) 4, 3–24 (2000)
Decker, H., Villadsen, J., Waragai, T. (eds.): Proceedings of the Workshop on Paraconsistent Computational Logic (PCL 2002), Copenhagen, July 27, 2002, as part of the 2002 Federated Logic Conference (FLoC 2002). Datalogiske Skrifter, vol. 95. Roskilde University, Denmark (2002)
Del Boca, A.: Gli italiani in Africa orientale, vol. 4. Laterza, Bari and Rome (1987). Reprinted: Mondadori, Milan (1996, 2001). The series of 4 vols. was first published by Laterza (Vol. 1: 1976, Vol. 2: 1980, Vol. 3: 1986, Vol. 4: 1987). The current edition is Mondadori’s (Vol. 1: 1999, Vol. 2: 2000, Vol. 3: 2000, Vol. 4: 2001). (2001 [1987])
dos Santos, L.H.L.: Discussive Versions of the Modal Calculi T, B, S4 and S5. Bulletin of the Section of Logic (Lodz) 7(2), 92 (1978)
Dragoni, A.F., Nissan, E.: Salvaging the Spirit of the Meter-Models Tradition: A Model of Belief Revision by Way of an Abstract Idealization of Response to Incoming Evidence Delivery During the Construction of Proof in Court. Applied Artificial Intelligence 18(3/4), 277–303 (2004)
Dragoni, A.F., Giorgini, P., Nissan, E.: Distributed Belief Revision as Applied Within a Descriptive Model of Jury Deliberations. In: Peterson, D.M., Barnden, J.A., Nissan, E. (eds.) Special Issue on Artificial Intelligence and Law. Information & Communications Technology Law 10(1), 53–65 (2001)
Dyer, M.G.: In-Depth Understanding: A Computer Model of Integrated Processing of Narrative Comprehension. The MIT Press, Cambridge, Massachusetts (1983)
Eastlake, E.: Photography. The London Quarterly Review (April 1857); Reprinted in: Goldberg, V., Photography in Print, pp. 88–99. University of New Mexico Press, Santa Fe, NM (1988)
Edwards, D., Potter, J.: Attribution. In: Harré, R., Stearns, P. (eds.) Discursive Psychology in Practice, ch. 4, pp. 87–119. SAGE Publications, London (1995)
Eilberg-Schwartz, H.: The Human Will in Judaism: The Mishnah’s Philosophy of Intention. Brown Judaic Studies, vol. 103. Scholars Press, Atlanta, George (1986)
Ekelöf, P.O.: Free Evaluation of Evidence. Scandinavian Studies in Law (Faculty of Law, Stockholm University) 8, 45–66 (1964)
Elhag, A.A.O., Breuker, J.A.P.J., Brouwer, B.W.: On the Formal Analysis of Normative Conflicts. In: van den Herik, H.J., Moens, M.-F., Bing, J., van Buggenhout, B., Zeleznikow, J., Grutters, C. (eds.) Legal Knowledge Based Systems, Proceedings of Jurix 1999: The Twelfth Conference, GNI, Nijmegen, The Netherlands, pp. 35–46 (1999)
Elvang-Goransson, M., Hunter, A.: Argumentative Logics: Reasoning from Classically Inconsistent Information. Data and Knowledge Engineering 16, 125–145 (1995)
Eraly, A.: The Mughal Throne: The Saga of India’s Great Emperors. Weidenfeld & Nicolson, London (2003); Phoenix (of Orion Books), London, 2004, pbk. = 2nd edn. of Emperors of the Peacock Throne: The Saga of the Great Mughals. Penguin Books, India (1997, 2000)
Esparza, J., Bruns, G.: Trapping Mutual Exclusion in the Box Calculus. LFCS Report Series, ECS-LFCS-94-295. LFCS, Department of Computer Science, University of Edinburgh, Edinburgh, Scotland (1994)
Fakher-Eldeen, F., Kuflik, T., Nissan, E., Puni, G., Salfati, R., Shaul, Y., Spanioli, A.: Interpretation of Imputed Behaviour in ALIBI (1 to 3) and SKILL. Informatica e Diritto (Florence), Year 19, 2nd Series 2(1/2), 213–242 (1993)
Farook, D.Y., Nissan, E.: Temporal Structure and Enablement Representation for Mutual Wills: A Petri-Net Approach. In: Martino, A.A., Nissan, E. (eds.) Law, Computers and Artificial Intelligence: Special Issue on Formal Models of Legal Time. Information and Communications Technology Law 7(3), pp. 243–267 (1998)
Fauconnier, G.: Mental Spaces: Aspects of Meaning Construction in Natural Languages. Cambridge University Press, Cambridge, U.K. (1985. 1994)
Fauconnier, G.: Mappings in Thought and Language. Cambridge University Press, Cambridge, U.K. (1997)
Fauconnier, G., Turner, M.: Conceptual Integration Networks. Cognitive Science 2(1), 133–187 (1998)
Fauconnier, G., Turner, M.: The Way We Think: Conceptual Blending and the Mind’s Hidden Complexities. Basic Books, New York (2002)
Feinberg, J.: Equal Punishment for Failed Attempts: Some Bad But Instructive Arguments Against It. The Arizona Law Review 37, 117–133 (1995)
Fernandez, C., Best, E.: Nonsequential Processes: A Petri Net View. EATCS Monographs on Theoretical Computer Science, vol. 13. Springer, Berlin (1988)
Fikes, R.E., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2, 89–205 (1971)
Fillmore, C.J.: A Case for Case. In: Bach, E., Harms, R.T. (eds.) Universals in Linguistic Theory, pp. 1–88. Rinehart & Winston, New York (1968)
Fillmore, C.J.: The Case for Case Reopened. In: Cole, P., Sadock, J. (eds.) Syntax and Semantics 8: Grammatical Relations, pp. 59–81. Academic Press, New York (1977)
Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency Handling in Multiperspective Specifications. IEEE Transactions on Software Engineering 20(8), 569–578 (1994)
Fiorenza, E.: Re Cecconi: La morte assurda. “Instant book” series. Editore Centro dell’Umorismo Italia, Rome (1977)
Fisher, M., Isaac, B.: Roman Roads in Judaea, II: The Jaffa Jerusalem Roads. BAR International Series, Oxford (1996)
Fitting, M.: Bilattices and the Semantics of Logic Programming. The Journal of Logic Programming 11, 91–116 (1991)
Forcheri, P., Gentilini, P.: Paraconsistent Informational Logic. In: Marcos, J., Batens, D., Carnielli, W.A. (eds.) Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), as part of the 14th European Summer School on Logic, Language and Information: ESSLLI 2002, Trento, Italy, August 5-9, pp. 90–102 (2002)
Foresman, T.W. (ed.): The History of Geographic Information Systems: Perspectives from the Pioneers. Prentice Hall PTR, Upper Saddle River, NJ (1998)
Fox, R., Josephson, J.R.: Software: PEIRCE-IGTT. In: Josephson, J.R., Josephson, S.G. (eds.) Abductive Inference: Computation, Philosophy, Technology, pp. 215–223. Cambridge University Press, Cambridge, U.K. (1994)
Frank, A., Campari, I., Formentini, U.: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. LNCS, vol. 639. Springer, Berlin (1992)
Gabbay, D., Hunter, A.: Making Inconsistency Respectable 1: A Logical Framework for Inconsistency in Reasoning. In: Jorrand, P., Kelemen, J. (eds.) Fundamentals of Artificial Intelligence Research: International Workshop FAIR 1991, Smolenice, Czachoslovakia. LNCS, vol. 535, pp. 19-32. Springer, Heidelberg (1991)
Gabbay, D., Hunter, A.: Making Inconsistency Respectable 2: Meta-Level Handling of Inconsistent Data. In: Clarke, M., Kruse, R., Moral, S. (eds.) Symbolic and Qualitative Approaches to Reasoning and Uncertainty (ECSQARU 1993). LNCS, vol. 747, pp. 129-136. Springer, Heidelberg (1993)
Gabbay, D., Hunter, A.: Negation and Contradiction. In: Gabbay, D., Wansing, H. (eds.) What is Negation? Applied Logic Series, vol. 13. Kluwer, Dordrecht (1999)
Gambini, R.: Il plea bargaining tra ‘common law’ e ‘civil law’. Giuffrè, Milan (1985)
von der Lieth Gardner, A.: An Artificial Intelligence Approach to Legal Reasoning. The MIT Press, Cambridge, MA (1987)
Gearey, A.: Law and Narrative. In: Herman, D., Jahn, M., Ryan, M.L. (eds.) Routledge Encyclopedia of Narrative Theory, pp. 271–275. Routledge, London (2005), repr. pbk (2008)
Gécseq, F., Steinby, M.: Tree Automata. Akadémiai Kiadó, Budapest (1984)
Geddes, L.: What are the chances? ((pre-headline:) Special report: DNA Evidence; (subheadline:) In the second part of our investigation, Linda Geddes shows that the odds attached to a piece of DNA evidence can vary enormously). In: New Scientist, August 21, vol. 207(2274), pp. 8–10 (2010); With an inset: ‘When lawyers question DNA’, on p. 9
Geiger, A., Nissan, E., Stollman, A.: The Jama Legal Narrative. Part I: The JAMA Model and Narrative Interpretation Patterns. In: Peterson, D.M., Barnden, J.A., Nissan, E. (eds.) Special Issue on Artificial Intelligence and Law. Information & Communications Technology Law 10(1), pp. 21–37 (2001)
Geisler, J.: Completeness for Four Paraconsistent Normal Logics. Bulletin of the Section of Logic (Lodz) 23(1), 18–26 (1994)
Genrich, H., Lautenbach, K.: Predicate/Transitions Nets. In: Brauer, W. (ed.) Net Theory and Application. LNCS, vol. 84. Springer, Berlin (1979)
Ghosh, S.: Paraconsistency and Beyond: A New Approach to Inconsistency Handling. In: Raś, Z.W., Zemankova, M. (eds.), Methodologies for Intelligent Systems: Proceedings of the Eigth International Symposium (ISMIS 1994), Charlotte, North Carolina, October 1994. LNCS, vol. 869, pp. 531-540. Springer, Heidelberg (1994)
Giegerich, R.: Introduction to the Compiler Generating System MUG2. Technical Report, Institüt für Informatik, Technische Universität München, Munich (1979)
Giovagnoli, A., Pons, S. (eds.): L’Italia repubblicana nella crisi degli anni Settanta: Tra guerra fredda e distensione. Rubbettino, Soveria Mannelli, in the province of Cosenza, in Calabria, Italy (2003)
Goldberg, V.: Photography in Print. University of New Mexico Press, Santa Fe (1988)
Goldstein, L.: A Problem for the Dialetheist. Bulletin of the Section of Logic (Lodz) 15(1), 10–14 (1986)
Golledge, R.G., Egenhofer, M.J. (eds.): Spatial and Temporal Reasoning in Geographical Information Systems. Elsevier, Amsterdam (1994)
Grana, N.: Logica paraconsistente: una introduzione. Loffredo Editore, Naples (1983)
Grant, J., Kraus, S., Perlis, D.: A Logic-Based Model of Intention Formation and Action for Multi-Agent Subcontracting. Artificial Intelligence 163(2), 163–201 (2005)
Griffith, P.E.: Emotions. In: Stich, S.P., Warfield, T.A. (eds.) The Blackwell Guide to Philosophy of Mind, ch. 12, pp. 288–308. Blackwell, Oxford (2003)
Grosz, B., Kraus, S.: Collaborative Plans for Complex Group Action. Artificial Intelligence 86(2), 269–357 (1996)
Gulotta, G., Liberatore, M., Nissan, E.: Memories Under Trial: An Application of Argumentation and Rhetoric Wigmorean Analysis to the Courtroom Discourse of Supposedly Recovered Memories (forthcoming)
Gupta, A., Belnap, N.D.: The Revision Theory of Truth. The MIT Press, Cambridge, MA (1993)
Hähnle, R.: Advanced Many-Valued Logics. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 2, Kluwer, Dordrecht (2001)
Hamkins, J.D., Löwe, B.: The Modal Logic of Forcing. Transactions of the American Mathematical Society 360, 1793–1817 (2008)
Harder, C.: Serving Maps on the Internet. ESRI Press, Redland, CA (1998)
Harris, M.D.: Introduction to Natural Language Processing. Reston / Prentice-Hall, Reston, VA (1985)
Hautamaki, A.: On the Logic of Viewpoints. Bulletin of the Section of Logic (Lodz) 11(1/2), 13–14 (1982)
Hayes, P.J.: Naive Physics I: Ontology for Liquids. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Commonsense World, ch. 3. Ablex, Norwood, NJ (1985)
Hayes-Roth, B., van Gent, R.: Story-Making and Improvisational Puppets. In: Johnson, W.L. (ed.) Autonomous Agents 1997, Marina del Rey, CA, pp. 1–7. ACM Press, New York (1997)
Heifetz, A.: Common Belief in Monotonic Epistemic Logic. Mathematical Social Sciences 32(2), 109–123 (1996)
Hemerik, C., Katoen, J.P.: Bottom-up Tree Acceptors. Science of Computer Programming 13(1), 51–72 (1989)
Henrion, M., Provan, G., Del Favero, B., Sanders, G.: An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. In: Lopez de Mántaras, R., Poole, D. (eds.) Uncertainty in Artificial Intelligence: Proceedings of the Tenth Conference, pp. 319–326. Morgan Kaufmann, San Mateo, CA (July 1994)
Herskovits, D.: Semantics and Pragmatics of Locative Expressions. Cognitive Science 9(3), 341–378 (1985)
Herskovits, D.: Language and Spatial Cognition. Cambridge University Press, Cambridge, U.K. (1986)
Hess, A.M.: The Federal Transfer Tax Consequences of Joint and Mutual Wills. Real Property, Probate and Trust Journal 24(4), 469 (1990)
Heuvelink, G.B.M., Burrough, P.A.: Error Propagation in Logical Cartographic Modelling Using Boolean Logic and Continuous Classification. International Journal of Geographical Information Systems 7, 231–246 (1993)
Ho, D.: Indigenous Psychologies: Asian Perspectives. Journal of Cross-Cultural Psychology 29(1), 88–103 (1998)
Holmberg, K., Jörnstein, K.: Dual Search Procedures for the Exact Formulation of the Simple Plant Location Problem with Spatial Interaction. Location Science 4(1/2), 83–100 (1996)
Holt, A.W.: Introduction to Occurrence Systems. In: Jacks, E.L. (ed.) Associative Information Techniques. American Elsevier, New York (1971)
Hunter, A.: Merging Potentially Inconsistent Items of Structured Text. Data and Knowledge Engineering 34(3), 305–332 (2000a)
Hunter, A.: Merging Potentially Inconsistent Items of Structured Text. Data and Knowledge Engineering 34(3), 305–332 (2000a)
Hunter, A.: Reasoning with Inconsistency in Structured Text. Knowledge Engineering Review 15(4), 317–337 (2000b)
Hunter, A.: Reasoning with Conflicting Information Using Quasi-Classical Logic. Journal of Logic and Computation 10(5), 677–703 (2000c)
Hunter, A.: Evaluating the Significance of Inconsistencies. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 468–473. Morgan Kaufmann, San Francisco, MA (2003a)
Hunter, A.: Measuring Inconsistency in Knowledge via Quasi-Classical Models. In: Proceedings of the 18th American National Conference on Artificial Intelligence (AAAI 2002), pp. 68–73. MIT Press, Cambridge, MA (2003b)
Hunter, A., Nuseibeh, B.: Analysing Inconsistent Specifications. In: Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE 1997), pp. 78–86. IEEE Computer Society Press (1997)
Hunter, A., Nuseibeh, B.: Managing Inconsistent Specifications: Reasoning, Analysis and Action. ACM Transactions on Software Engineering and Methodology 7(4), 335–367 (1998)
Imwinkelried, E.J.: The Use of Evidence of an Accused’s Uncharged Misconduct to Prove mens rea: The Doctrines that Threaten to Engulf the Character Evidence Prohibition. In: Military Law Review (Headquarters, Dept. of the Army, Supt. of Docs., Washington, D.C.), vol. 130, pp. 41–76 (Fall 1990)
Iverson, J.B.: Tortoises, Not Dodos, and the Tambalacoque Tree. Journal of Herpetology 21(3), 229–230 (1987)
Jackson, B.S.: Law, Fact and Narrative Coherence. Deborah Charles Publications, Merseyside (Liverpool) England (1988)
Jackson, B.S.: ‘Anchored Narratives’ and the Interface of Law, Psychology and Semiotics. Legal and Criminological Psychology (The British Psychological Society) 1, 17–45 (1996)
Jackson, B.S.: Bentham, Truth and the Semiotics of Law. In: Freeman, M.D.A. (ed.) Legal Theory at the End of the Millennium. Current Legal Problems, vol. 51, pp. 493–531. Oxford University Press, Oxford (1998a)
Jackson, B.S.: On the Atemporality of Legal Time. In: Ost, F., van Hoecke, M. (eds.) Temps et Droit. Le Droit a-t-il pour vocation de durer?, pp. 225–246. E. Bruylant, Brussels (1998b)
Jackson, B.S.: Truth or Proof?: The Criminal Verdict. International Journal for the Semiotics of Law 11(3), 227–273 (1998c)
Jackson, B.S.: Review of: S. Azuelos-Atias, A Pragmatic Analysis of Legal Proofs of Criminal Intent (Benjamins, Amsterdam, 2007). International Journal for the Semiotics of Law 22(3), 365–372 (2010)
Jameson, A.: Impression Monitoring in Evaluation-Oriented Dialog: The Role of the Listener’s Assumed Expectations and Values in the Generation of Informative Statements. In: Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI 1983), vol. 2, pp. 616–620. Morgan Kaufmann, San Mateo, CA (1983), http://ijcai.org/search.php
Jaśkowski, S.: Propositional Calculus for Contradictory Deductive Systems. Studia Logica 24, 143–157 (1969) (A translation from the original Polish paper of 1948)
Jaspars, J.: Calculi for Constructive Communication. Ph.D. thesis, Tilburg University, Tilburg, The Netherlands (1994)
Judson, G.: Mother Guilty in the Killings of 5 Babies. The New York Times, April 22 (Late Edn., Final): Sec. 1, p. 25, col. 5, Metropolitan Desk, Second Front (1995)
Kadane, J., Schum, D.: A Probabilistic Analysis of the Sacco and Vanzetti Evidence. John Wiley & Sons, New York (1996)
Kadish, S.: The Criminal Law and the Luck of the Draw. Journal of Criminal Law and Criminology 84, 2183–2237 (1994)
Kant, I.: Groundwork of the Metaphysics of Morals, ed. and trans. M. Gregor. Cambridge University Press, Cambridge, U.K. ([1789] 1998)
Kaptein, H., Prakken, H., Verheij, B. (eds.): Legal Evidence and Proof: Statistics, Stories, Logic. Applied Legal Philosophy Series. Ashgate Publishing, Farnham, Surrey, U.K. (2009)
Kassin, S.M., McNall, K.: Police Interrogations and Confessions: Communicating Promises and Threats by Pragmatic Implication. Law and Human Behavior 15, 233–251 (1991)
Kay, P.: The Inheritance of Presuppositions. Linguistics and Philosophy 15(4), 333–379 (1992)
Kirsh, D.: The Intelligent Use of Space. Artificial Intelligence 73(1/2), 31–68 (1995)
Kitayama, S., Markus, H.R. (eds.): Emotion and Culture: Empirical Studies of Mutual Influence. American Psychological Association, Washington, DC (1994)
Knight, B., Ma, J., Nissan, E.: Representing Temporal Knowledge in Legal Discourse. In: Martino, A.A., Nissan, E. (eds.) Law, Computers and Artificial Intelligence: Special Issue on Formal Models of Legal Time. Information and Communications Technology Law 7(3), pp. 199–211 (1998)
Koons, R.: Paradoxes of Belief and Strategic Rationality. (Cambridge Studies in Probability, Induction, and Decision Theory.) Cambridge University Press, Cambridge, U.K. (1992)
Koppel, M.: A Combinatorics Theorem in Masechet Kinnim. (In Hebrew.) Higgaion: Studies in Rabbinic Logic 2, 96-103 in the Hebrew part, and English abstract on p. 7 in the English part (1992)
Kotas, J.: The Axiomatization of S. Jaskowski’s Discussive System. Bulletin of the Section of Logic (Lodz) 2(1), 12–17 (1973)
Kotas, J., da Costa, N.: On the Problem of Jaskowski and the Logics of Lukasiewicz. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non-Classical Logic, Model Theory and Computability, pp. 127–139. North-Holland, Amsterdam (1977)
Kracauer, S.: Theory of Film. Princeton University Press, Princeton, NJ (1997)
Kramosil, I.: A Classification of Inconsistent Theories. Bulletin of the Section of Logic (Lodz) 6(1), 35–41 (1977)
Kraus, S.: An Overview of Incentive Contracting. Artificial Intelligence 83(2), 297–346 (1996)
Kreowski, H.-J.: A Comparison Between Petri-Nets and Graph Grammars. In: Noltemeier, H. (ed.) Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop WG 1980. LNCS, vol. 100, pp. 306–317. Springer, Heidelberg (1980)
Kuflik, T., Nissan, E., Puni, G.: Finding Excuses with ALIBI: Alternative Plans That Are Deontically More Defensible. In: Proceedings of the International Symposium on Communication, Meaning and Knowledge vs. Information Technology, Lisbon (September 1989). Then again in Computers and Artificial Intelligence, 10(4), 297–325 (1991). Then in a selection from the Lisbon conference, i.e., Lopes Alves, J. (ed.) Information Technology & Society: Theory, Uses, Impacts, Associação Portuguesa para o Desenvolvimento das Comunicações (APDC), Lisbon, & Sociedade Portuguesa de Filosofia (SPF), Lisbon, pp. 484–510 (1992)
Kvart, I.: Overall Positive Causal Impact. Canadian Journal of Philosophy 24(2), 205–227 (1994)
Langholm, T.: Partiality, Truth and Persistence. (CSLI Lecture Notes.) Center for the Study of Language and Information, Stanford, CA (1988)
Lapin, H.: Economy, Geography, and Provincial History in Later Roman Palestine. Texts and Studies in Ancient Judaism, vol. 85. Mohr Siebeck, Tübingen, Germany (2001)
Latus, A.: Moral Luck. In: Feiser, J. (ed.) The Internet Encyclopedia of Philosophy (2001), http://www.utm.edu/research/iep/m/moralluc.htm
Lewis, D.: The Punishment That Leaves Something to Chance. Philosophy and Public Affairs 96, 227–242 (1989)
Linde, C.: Life Stories: The Creation of Coherence. Oxford University Press, New York (1993)
Lodder, A.R., Zeleznikow, J.: Enhanced Dispute Resolution Through the Use of Information Technology. Cambridge University Press, Cambridge, U.K (2010)
Loftus, E.F.: Reconstructing Memory: The Incredible Witness. Psychology Today 8, 116–119 (1974)
Loftus, E.F.: Leading Questions and the Eye Witness Report. Cognitive Psychology 7, 560–572 (1975)
Longley, P.A., Goodchild, M.F., Maguire, D.J., Rhind, D.W.: Geographic Information Systems and Science. John Wiley & Sons, Chichester, West Sussex, England (2001)
Lugaresi, L.: ‘Non su questo monte, né in Gerusalemme’: modelli di localizzazione del sacro nel IV secolo. In: Il Tentativo di Ricostruzione del Tempio nel 363. Cassiodorus (Turnhout, Belgium) 2, 245–265 (1996)
Lutomski, L.S.: The Design of an Attorney’s Statistical Consultant. In: Proceedings of the Second International Conference of Artificial Intelligence and Law, pp. 224–233. ACM Press, New York (1989)
Ma, J., Nissan, E.: Identification and Doing Without It, V: A Formal Mathematical Analysis for a Case of Mixup of Individuals, and of Recovery from Failure to Attain Identification. Cybernetics and Systems 34(6/7), 531–550 (2003)
MacCrimmon, M., Tillers, P. (eds.): The Dynamics of Judicial Proof: Computation, Logic, and Common Sense. STUDFUZZ, vol. 94. Physica-Verlag, Heidelberg (2002)
Marafioti, L.: Scelte autodifensive dell’indagato e alternative al silenzio. Giappichelli, Turin, Italy (2000)
Marcos, J., Batens, D., Carnielli, W.A. (eds.): Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), as part of the 14th European Summer School on Logic, Language and Information: ESSLLI 2002, Trento, Italy, August 5-9 (2002)
Mares, E.D.: Paraconsistent Probability Theory and Paraconsistent Bayesianism. Logique et Analyse 160, 375–384 (1997)
Mares, E.D.: A Paraconsistent Theory of Belief Revision. Erkenntnis 56, 229–246 (2002)
Martino, A.A.: Quale logica per la politica. In: Martino, A.A. (ed.) Logica delle norme. SEU: Servizio Editoriale Universitario di Pisa, Pisa, Italy, on behalf of Università degli Studi di Pisa, Facoltà di Scienze Politiche, pp. 5–21 (1997). English translation: A logic for politics, accessible online at a site of his publications: http://www.antonioanselmomartino.it/index.php?option=com_content&task=view&id=26&Itemid=64
Martino, A.A., Nissan, E. (eds.): Formal Models of Legal Time. Special issue, Information and Communications Technology Law 7(3) (1998)
Martino, A.A., Nissan, E. (eds.): Formal Approaches to Legal Evidence. Special issue, Artificial Intelligence and Law 9(2/3), pp. 85–224 (2001)
Mavrovouniotis, M., Stephanopoulos, G.: Reasoning with Orders of Magnitude and Approximate Relations. In: Proceedings of AAAI 1987 (1987)
Maynard, P.: Seeing Machines. Ch. 5 in his: The Engine of Visualization, pp. 117–148. Cornell University Press, Ithaca, NY (1997)
McGee, V.: Truth, Vagueness, and Paradox: An Essay on the Logic of Truth. Hackett, Indianapolis (1991)
Meldman, J.A.: A Preliminary Study in Computer-Aided Legal Analysis. Dissertation. Technical Report MAC TR 157. Massachusetts Institute of Technology, Cambridge, MA (1975)
Miller, R.E.: A Comparison of Some Theoretical Models of Parallel Computation. IEEE Transactions on Computers C-22, 710–717 (1973)
Miller, S.S.: Intercity Relations in Roman Palestine: The Case of Sepphoris and Tiberias. AJS Review 12(1), 1–24 (1987)
Miller, A.: Inconsistent Reasoning Towards Consistent Theories. In: Meheus, J. (ed.) Inconsistency in Science. Origins: Studies in the Sources of Scientific Creativity, vol. 2, pp. 35–41. Kluwer, Dordrecht, The Netherlands (2002)
Moore, M.: Placing Blame: A Theory of the Criminal Law. Clarendon Press, Oxford (1979)
Mortensen, C.: Relevance and Verisimilitude. Synthese 55, 353–364 (1983)
Mortensen, C.: Aristotle’s Thesis on Consistent and Inconsistent Logics. Studia Logica 43(1/2), 107–116 (1984)
Morton, A.: A Guide Through the Theory of Knowledge, 3rd edn. Blackwell, Oxford (2003)
Moulin, B.: A Conceptual Graph Approach for Representing Temporal Information in Discourse. Knowledge-Based Systems 5(3), 183–192 (1992)
Moulin, B., Rousseau, D.: A Multi-Agent Approach for Modelling Conversations. In: Proceedings of the International Avignon Conference AI 94, Natural Language Processing Sub-Conference, Paris, France, pp. 35–50 (June 1994)
Musatti, C.L.: Elementi di psicologia della testimonianza, 1st edn (1931); CEDAM, Padova, Italy, 1931. 2nd edn, with comments added by the author, Liviana Editrice, Padova (1989)
Muskens, R.: Going Partial in Montague Grammar. In: Bartsch, R., van Benthem, J., van Emde Boas, P. (eds.) Semantics and Contextual Expression: Proceedings of the Sixth Amsterdam Colloquium, Foris, Dordrecht, The Netherlands (1989)
Muskens, R.: Meaning and Partiality. (CSLI Lecture Notes.) Center for the Study of Language and Information, Stanford, CA (1995)
Muskens, R.: On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40(3), 352–374 (1999)
Nagel, T.: Mortal Questions. Cambridge University Press, Cambridge, U.K. (1979). Page reference is to the reprint of Chapter 3 in: Statman, D. (ed.) Moral Luck, pp. 57–72. State University of New York Press, Albany, NY (1993)
Nelkin, D.K.: Moral Luck. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy. Original version, 2004; substantive revision, 2008 (Fall 2008 Edition), http://plato.stanford.edu/archives/fall2008/entries/moral-luck/
Neusner, J.: Map Without Territory: Mishnah’s System of Sacrifice and Sanctuary. History of Religions 19, 103–179 (1979)
Nicoloff, F.: Threats and Illocutions. Journal of Pragmatics 13(4), 501–522 (1989)
Niiniluoto, I.: Verisimilitude vs. Legisimilitude. Bulletin of the Section of Logic (Lodz) 11(1/2), 35–37 (1982)
Nissan, E.: Deviation Models of Regulation: A Knowledge-Based Approach. Informatica e Diritto, year XVIII, 2nd Series 1(1/2), 181–212 (1992)
Nissan, E.: SEPPHORIS: An Augmented Hypergraph-Grammar Representation for Events, Stipulations, and Legal Prescriptions. Law, Computers, and Artificial Intelligence 4(1), 33–77 (1995a)
Nissan, E.: Intermingled Paschal Lambs and Hypergraph Grammars. Higgaion: Studies in Rabbinic Logic 3, 132–150 (1995b)
Nissan, E.: Meanings, Expression, and Prototypes. Pragmatics & Cognition 3(2), 317–364 (1995c)
Nissan, E.: Notions of Place: A Few Considerations. In: Martino, A.A. (ed.) Logica Delle Norme, pp. 256–302. SEU, Pisa (1997a)
Nissan, E.: Notions of Place, II. In: Martino, A.A. (ed.) Logica Delle Norme, pp. 303–361. SEU, Pisa (1997b)
Nissan, E.: Emotion, Culture, Communication. Pragmatics & Cognition 5(2), 355–369 (1997c)
Nissan, E.: The Krum Tradition in the Light of the Phoenix Myth: A Prolegomenon. With an appendix by C. Asaro: Tempo narrato e cromatismo nella Fenice di Lattanzio. AION-O: Annali dell’Istituto Orientale di Napoli, Sezione Orientale 59(1–4), 393–400 ([1999] 2001)
Nissan, E.: An AI Formalism for Competing Claims of Identification: Capturing the “Smemorato di Collegno” Amnesia Case. Computing and Informatics 20(6), 625–656 (2001a)
Nissan, E.: Modelling Spatial Relations in the Traveller’s Conditional Divorce Problem. Higgaion: Studies in Rabbinic Logic 5, 8–21 (2001b)
Nissan, E.: Can You Measure Circumstantial Evidence? The Background of Probative Formalisms for Law. Information and Communications Technology Law 10(2), 231–245 (2001c)
Nissan, E.: The Bayesianism Debate in Legal Scholarship. Artificial Intelligence and Law 9(2/3), 199–214 (2001d)
Nissan, E.: The Jama Legal Narrative. Part II: A Foray Into Concepts of Improbability. In: Peterson, D.M., Barnden, J.A., Nissan, E. (eds.) Special Issue on Artificial Intelligence and Law. Information & Communications Technology Law 10(1), pp. 39–52 (2001e)
Nissan, E.: A Formalism for Misapprehended Identities: Taking a Leaf Out of Pirandello. In: Stock, O., Strapparava, C., Nijholt, A. (eds.) Proceedings of the Twentieth Twente Workshop on Language Technology, Trento, Italy, April 15–16. University of Twente, Enschede, The Netherlands, pp. 113–123 (2002)
Nissan, E.: Identification and Doing Without It, I: A Situational Classification of Misapplied Personal Identity, With a Formalism for a Case of Multiple Usurped Identity in Marivaux. Cybernetics and Systems 34(4/5), 317–358 (2003a)
Nissan, E.: Identification and Doing Without It, II: Visual Evidence for Pinpointing Identity. How Alexander Was Found Out: Purposeful Action, Enlisting Support, Assumed Identity, and Recognition. A Goal-Driven Formal Analysis. Cybernetics and Systems 34(4/5), 359–380 (2003b)
Nissan, E.: Identification and Doing Without It, III: Authoritative Opinions, Purposeful Action, Relabelled Goods, and Forensic Examinations. The Case of the Stuffed Birds: Its Narrative Dynamics Set in Formulae. Cybernetics and Systems 34(6/7), 467–500 (2003c)
Nissan, E.: Identification and Doing Without It, IV: A Formal Mathematical Analysis for the Feveroles Case, of Mixup of Kinds and Ensuing Litigation; and a Formalism for the “Cardiff Giant” Double Hoax. Cybernetics and Systems 34(6/7), 501–530 (2003d)
Nissan, E.: Fictitious Toponyms in the Responsa: Bashan’s Ruleset Revisited. Revue (d’)Informatique et statistique dans les sciences humaines (RISSH) 37 (2003e). This refereed, printed journal became, after this paper was accepted, a refereed electronic journal, http://www.ulg.ac.be/cipl/rissh/rissh37.htm
Nissan, E.: Legal Evidence Scholarship Meets Artificial Intelligence. In: MacCrimmon, M., Tillers, P. (eds.) The Dynamics of Judicial Proof: Computation, Logic, and Common Sense (Physica-Verlag, Heidelberg, 2002). Applied Artificial Intelligence 18(3/4), 367–389 (2004)
Nissan, E.: Goals, Arguments, and Deception: A Formal Representation from the AURANGZEB Project. Part I. Journal of Intelligent & Fuzzy Systems 18(3), 281–305 (2007a)
Nissan, E.: Goals, Arguments, and Deception: A Formal Representation from the AURANGZEB Project. Part II. Journal of Intelligent & Fuzzy Systems 18(3), 307–327 (2007b)
Nissan, E.: Three Perspectives on Pretexts: Seeking Self-Exoneration by Hierarchical Decomposition; Making an Archetype-Evoking Claim; and Rhetorical Cover-Up. In: Turell, M.M., Spassova, M., Cicres Bosch, J. (eds.) Proceedings of the Second IAFL European Conference on Forensic Linguistics / Language and the Law (IAFL 2006), Barcelona, Spain, September 14-16, pp. 293–303. Documenta Universitaria, Barcelona (2008a)
Nissan, E.: Nested Beliefs, Goals, Duties, and Agents Reasoning About Their Own or Each Other’s Body in the TIMUR Model: A Formalism for the Narrative of Tamerlane and the Three Painters. Journal of Intelligent and Robotic Systems 52(3/4), 515–582 + this paper’s contents on pp. 340–341 (2008b)
Nissan, E.: Medieval (and Later) Compulsory Signs of Group Identity Disclosure. Part I: The General Pattern at the Core of the Social Dynamics of the Jewish Badge, Set in Episodic Formulae and in Systems & Control Block Schemata. Journal of Sociocybernetics 6(1), 11–30 (Summer 2008c)
Nissan, E.: From Embodied Agents or Their Environments Reasoning About the Body, to Virtual Models of the Human Body: A Quick Overview. Journal of Robotic and Intelligent and Robotic Systems 52(3-4), 489–513 + contents of this paper on p. 340 (2008d)
Nissan, E.: Select Topics in Legal Evidence and Assistance by Artificial Intelligence Techniques. Cybernetics and Systems 39(4), 333–394 (2008e)
Nissan, E.: Tools from Artificial Intelligence for Handling Legal Evidence. In: Quigley, M. (ed.) Encyclopedia of Information Ethics and Security, pp. 42–48. IGI Global, Hershey, PA (2008f)
Nissan, E.: Argument Structure Models and Visualization. In: Pagani, M. (ed.), Encyclopedia of Multimedia Technology and Networking, 2nd edn. (3 vols.). IGI Global, Hershey, PA, vol. 1, pp. 75-82 (2008g)
Nissan, E.: Argumentation and Computing. In: Quigley, M. (ed.) Encyclopedia of Information Ethics and Security, pp. 30–35. IGI Global, Hershey, PA (2008h)
Nissan, E.: Argumentation with Wigmore Charts and Computing. In: Quigley, M. (ed.) Encyclopedia of Information Ethics and Security, pp. 36–41. IGI Global, Hershey, PA (2008i)
Nissan, E.: Tools for Representing and Processing Narratives. In: Quigley, M. (ed.) Encyclopedia of Information Ethics and Security, pp. 638–644. IGI Global, Hershey, PA (2008i)
Nissan, E.: Epistemic Formulae, Argument Structures, and a Narrative on Identity and Deception: A Formal Representation from the AJIT Subproject Within AURANGZEB. Annals of Mathematics and Artificial Intelligence 54(4), 293–362 (2008 [2009])
Nissan, E.: Deadly Flowers and Lethal Plants: A Theme in Folklore, Fiction and Metaphoric Imagery. Fabula 50(3/4), 293–311 (2009a)
Nissan, E.: Epistemic Formulae, Argument Structures, and a Narrative on Identity and Deception: A Formal Representation from the AJIT Subproject Within AURANGZEB. Annals of Mathematics and Artificial Intelligence 54(4), 257–264 (2009b)
Nissan, E.: Eude and Eglon, Eleazar the Maccabee, and Two Early Modern Indian Narratives: Factors Explaining the Convergence of Phylogenetically Unconnected Tales. Journal of Indo-Judaic Studies 10, 81–92 (2009c)
Nissan, E.: Legal Evidence, Police Intelligence, Crime Analysis or Detection, Forensic Testing, and Argumentation: An Overview of Computer Tools or Techniques. International Journal of Law and Information Technology 17(1), 1–82 (2009d)
Nissan, E.: Computational Models of the Emotions: from Models of the Emotions of the Individual, to Modelling the Emerging Irrational Behaviour of Crowds. AI & Society: Knowledge, Culture and Communication 24(4), 403–414 (2009e)
Nissan, E.: Review of: A. Adamatzky, Dynamics of Crowd-Minds: Patterns of Irrationality in Emotions, Beliefs and Actions (World Scientific Series on Nonlinear Science, Series A, Vol. 54. World Scientific, Singapore, 2005). Pragmatics & Cognition 17(2), 472-481 (2009f)
Nissan, E.: Medieval (and Later) Compulsory Signs of Group Identity Disclosure. Part II: The Intervention of Joseph Cazès in Teheran in 1898, Set in Episodic Formulae. Journal of Sociocybernetics 7(1), 54–96 (2009 [2010])
Nissan, E.: Wearing the Badge of the Alliance, vs. Having to Wear a Badge to Be Told Apart: Joseph Cazès in Teheran in 1898. Cognitive Analysis, and Cultural Aspects. In a special issue on “Knowledge and Cognitive Science” of the International Journal on Humanistic Ideology: Studies into the Nature and Origin of Humanistic Ideas 3(1), 59–108 (2010)
Nissan, E.: Going West vs. Going East: Ancient Greek, Roman, Carthaginian, Mauretanian, and Celtic Conceptions About or Involvement with the Ocean, What Early Rabbinic Texts Say About the Ocean and the Formation of the Mediterranean, and Beliefs About Reaching the Antipodes (Review Article). MHNH (μηνη, Mene): Revista Internacional de Investigación Sobre Magia y Astrología Antíguas (Málaga, Spain) 10, 279–310 (2010 [2011])
Nissan, E.: The Dog Ate It: The Fate of Homework as a Situational Archetype for a Pretext. Social Context, Medium, and Formalism. The American Journal of Semiotics 27(1-4), 115–162 (2011a)
Nissan, E.: Review of: Eratosthenes’ Geography. Fragments collected and translated, with commentary and additional material, by D.W. Roller (Princeton University Press, Princeton, NJ, 2010). Imago Mundi: The International Journal for the History of Cartography 63(2), 230–231 (2011b), doi:10.1080/03085694.2011.568766
Nissan, E.: Jokes and Pranks: The Compulsive Liar Healed, the Congregation Made to Behave Awkwardly, and the Character “Such a One” Reduced to a Dog. Baghdadi Jewish Variants, Heretofore Unsignalled, Respectively Amenable to the International Tale Types 1543 C* (Oicotypised); Vaguely 1828* (an Oicotypised Predigtschwank), and 1138 (Quite Loosely, Unadapted). Humor Mekuvvan: A Research Journal of Humor Studies 1, pp. E4–E72 (2011c)
Nissan, E.: The Rod and the Crocodile. Temporal Relations in Textual Hermeneutics: An Application of Petri Nets to Semantics. Semiotica 184(1/4), 187–227 (2011d)
Nissan, E.: Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation, vol. 2. Springer, Dordrecht (2012a)
Nissan, E.: Episodic Formulae. Sec. 5.3 in: Nissan, E. (ed.) Computer Applications for Handling Legal Evidence, Police Investigation, and Case Argumentation (2 vols.), vol. 1, pp. 428–481. Springer, Dordrecht (2012b)
Nissan, E.: An Overview of Data Mining for Combating Crime. Applied Artificial Intelligence 26(8), 760–786 (2012c)
Nissan, E.: Postfazione: Strumenti informatici avanzati per le inchieste e per la prova. Essay at the end of: C. Asaro, Ingegneria Della Conoscenza Giuridica Applicata al Diritto Penale. Aracne, Rome, pp. 141–148 (2012d)
Nissan, E.: The Sweat of the (Low) Brow: New York Immigrant Life in Gerson Rosenzweig’s Satire. Facets of his Talmudic Parody Tractate America ((overtitle:) 2011: The Sesquicentennial of the Birth of America’s Top Hebrew Humorist). Israeli Journal of Humor Research 1(2), 29–85 (2012d)
Nissan, E.: Narratives, Formalism, Computational Tools, and Nonlinearity. In: Dershowitz, N., Nissan, E. (eds.) Choueka Festschrift, Part II. LNCS, vol. 8002, pp. 270–395. Springer, Heidelberg (2014a)
Nissan, E.: Tale Variants and Analysis in Episodic Formulae: Early Ottoman, Elizabethan, and “Solomonic” Versions. In: Dershowitz, N., Nissan, E. (eds.) Choueka Festschrift, Part II. LNCS, vol. 8002, pp. 138–192. Springer, Heidelberg (2014b)
Nissan, E.: Multilingual Lexis, Semantics, and Onomasiology. Terminological Database Modelling, by Using the CuProS Metarepresentation Language: An XML-Compatible XML-Precursor Enabling Flexible Nested-Relation Structures. In: Dershowitz, N., Nissan, E. (eds.) Choueka Festschrift, Part III. LNCS, vol. 8003, pp. 122–173. Springer, Heidelberg (2014c)
Nissan, E.: Nativised, Playfully Aetiologised Literary Zoonymy, III: Abdim’s Stork. Substituted Eponym, Dense Cultural Rewiring, Ethics. In: Dershowitz, N., Nissan, E. (eds.) Choueka Festschrift, Part III. LNCS, vol. 8003, pp. 642–779. Springer, Heidelberg (2014d)
Nissan, E.: Les modèles informatiques de l’humour ou comment les ordinateurs créent de l’humour. (submitted)
Nissan, E.: An Analysis with Wigmore Charts of Gulotta’s Last Speech in Defence to the Bench in Defence at the Bolzano Trial. In: Gulotta, G., Liberatore, M., Nissan, E., Memories Under Trial: An Application of Argumentation and Rhetoric Wigmorean Analysis to the Courtroom Discourse of Supposedly Recovered Memories (forthcoming)
Nissan, E., Dragoni, A.F.: Exoneration, and Reasoning About It: A Quick Overview of Three Perspectives. Session on Intelligent Decision Support for Legal Practice (IDS 2000). In: Proceedings of the International ICSC Congress “Intelligent Systems & Applications” (ISA 2000), Wollongong, Australia, vol. 1, pp. 94–100 (December 2000)
Nissan, E., Dragoni, A.F.: Situational Analyses with Episodic Formulae, for a Narrative of Deception and Impersonation in a Storyword Where Bodies Can Be Switched. Applied Artificial Intelligence (accepted pending revision)
Nissan, E., El-Sana, J.: A Retrospective of a Pioneering Project. Earlier Than XML, Other Than SGML, Still Going: CuProS Metadata for Deeply Nested Relations and Navigating for Retrieval in RAFFAELLO. In: Dershowitz, N., Nissan, E. (eds.) Choueka Festschrift, Part I. LNCS, vol. 8001, pp. 425–583. Springer, Heidelberg (2014)
Nissan, E., HaCohen-Kerner, Y.: Information Retrieval in the Service of Generating Narrative Explanation: What we Want from GALLURA. In: Proceedings of KDIR 2011: International Conference on Knowledge Discovery and Information Retrieval, Paris, October 26–29, pp. 487–492 (2011)
Nissan, E., Martino, A. (eds.): Software, Formal Models, and Artificial Intelligence for Legal Evidence. Special issue, Computing and Informatics 20(6), pp. 509–656 (2001)
Nissan, E., Martino, A.A. (eds.): Building Blocks for an Artificial Intelligence Framework in the Field of Legal Evidence. Special issue (two parts), Cybernetics and Systems 34(4/5), 34(6/7), pp. 233–411, 413–583 (2003)
Nissan, E., Martino, A.A. (eds.): The Construction of Judicial Proof: A Challenge for Artificial Intelligence Modelling. Special issue, Applied Artificial Intelligence, vol. 18(3/4), pp. 183–393 (2004a)
Nissan, E., Martino, A.A.: Artificial Intelligence and Formalisms for Legal Evidence: An Introduction. Applied Artificial Intelligence 18(3/4), 185–229 (2004b)
Nissan, E., Rousseau, D.: Towards AI formalisms for Legal Evidence. In: Ras, Z.W., Skowron, A. (eds.) Foundations of Intelligent Systems: Proceedings of the 10th International Symposium (ISMIS 1997). LNCS, vol. 1325, pp. 328-337. Springer, Heidelberg (1997)
Nissan, E., Shemesh, A.O.: Saturnine Traits, Melancholia, and Related Conditions as Ascribed to Jews and Jewish Culture (and Jewish Responses) from Imperial Rome to High Modernity. In: Grossato, A. (ed.) Umana, Divina Malinconia, thematic volume of Quaderni di Studi Indo-Mediterranei, vol. 3, pp. 97–128. Edizioni Dall’Orso, Alessandria, Italy (2010)
Nissan, E., Shemesh, A.O.: King Saul’s “Evil Spirit” (ruach ra‘ah) Between the Bible, Its Exegetes, Psychology, Medicine and Culture. La Ricerca Folklorica 62, 149–156 (2010 [2012])
Nissan, E., Shemesh, A.O.: Melancholia in Jewish Rabbinic and Medical Sources Through the Ages, I: From Antiquity to the Middle Ages. Rivista di Storia della Medicina: organo ufficiale della Società Italiana di Storia della Medicina (in press, a)
Nissan, E., Shemesh, A.O.: Melancholia in Jewish Rabbinic and Medical Sources Through the Ages, II: From the Seventeenth Century to the Twentieth. Medical, Conduct, and Legal Texts. Rivista di Storia della Medicina: organo ufficiale della Società Italiana di Storia della Medicina (in press, b)
Nissan, E., Shimony, S.E.: TAMBALACOQUE: For a Formal Account of the Gist of a Scholarly Argument. Knowledge Organization 23(3), 135–146 (1996)
Nissan, E., Shimony, S.E.: VegeDOG: Formalism, Vegetarian Dogs, and Partonomies in Transition. Computers and Artificial Intelligence 16(1), 79–104 (1997)
Nissan, E., Cassinis, R., Morelli, L.M.: Have Computation, Animatronics, and Robotic Art Anything to Say About Emotion, Compassion, and How to Model Them? The survivor Project. Pragmatics & Cognition 16(1), 3–37 (2008). As a continuation of a special issue on “Mechanicism and Autonomy: What Can Robotics Teach Us about Human Cognition and Action?”. Third in the Series Cognition and Technology 15(3) (2007)
Nissan, E., Hall, D., Lobina, E., de la Motte, R.: A Formalism for a Case Study in the WaterTime Project: The City Water System in Grenoble, From Privatization to Remunicipalization. Applied Artificial Intelligence 18(3/4), 305–366 (2004)
Nowak, M.: Kripke Semantics for Some Paraconsistent Logics. Logica Trianguli (Nantes) 2, 87–101 (1998)
Nowakowska, M.: A Formal Theory of Actions. Behavioral Science 18, 393–416 (1973a)
Nowakowska, M.: Language of Motivation and Language of Actions. Mouton, The Hague (1973b)
Nowakowska, M.: Action Theory: Algebra of Goals and Algebra of Means. Design Methods and Theories 10(2), 97–102 (1976a)
Nowakowska, M.: Towards a Formal Theory of Dialogues. Semiotica 17(4), 291–313 (1976b)
Nowakowska, M.: Formal Theory of Group Actions and Its Applications. Philosophica 21, 3–32 (1978)
Nowakowska, M.: Theories of Research, vol. 2. Intersystems Publications, Seaside, CA (1984)
Nowakowska, M.: Cognitive Sciences: Basic Problems, New Perspectives, and Implications for Artificial Intelligence. Academic Press, Orlando, FL (1986)
Nowakowski, M.: Possibility Distributions in the Linguistic Theory of Actions. International Journal of Man-Machine Studies 12, 229–239 (1980)
NYT. Woman Guilty of Murdering Husband no. 9. The New York Times, March 19 (Late Edn., Final), Sec. 1, p. 31, col. 1, National Desk (1995)
Oh, C.-K., Dineen, D. (eds.): Presupposition. Syntax and Semantics, vol. 11. Academic Press, Orlando, FL (1979)
O’Hagan, P.: Mutual Wills (Patrick O’Hagan examines the use of constructive trusts). The New Law Journal 144(6664), 1273 (1994)
Olderog, E.-R.: Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship. Cambridge Tracts in Theoretical Computer Science, vol. 23. Cambridge University Press, Cambridge, U.K. (1991)
Orlowska, E.: Logic of Vague Concepts. Applications of Rough Sets. Report 474, Institute of Computer Science. Polish Academy of Sciences, Warsaw (April 1982)
Orlowska, E.: Three Aspects of Verisimilitude. Part I. Bulletin of the Section of Logic (Lodz) 16(3), 96–106 (1987a)
Orlowska, E.: Three Aspects of Verisimilitude. Part II. Bulletin of the Section of Logic (Lodz) 16(4), 140–150 (1987b)
Parkinson, B.: Ideas and Realities of Emotion. Routledge, London (1995)
Parry, A.: A Universe of Stories. Family Process 30(1), 37–54 (1991)
Parsons, C.: The Liar Paradox. In: Martin, R.L. (ed.) Recent Essays on Truth and the Liar Paradox. Clarendon, Oxford (1984)
Parton, D.A., Hansel, M., Stratton, J.R.: Measuring Crime Seriousness: Lessons from the National Survey of Crime Severity. The British Journal of Criminology 31, 72–85 (1991)
Pawlak, Z.: Sets: Power Set Hierarchy. Report 470, Institute of Computer Science. Polish Academy of Sciences, Warsaw (March 1982)
Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht, The Netherlands (1991)
Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan-Kaufmann, San Mateo, CA (1988)
Pearl, J.: From Conditional Oughts to Qualitative Decision Theory. In: Uncertainty in AI: Proceedings of the Ninth Conference, Washington, D.C., pp. 12–20 (July 1993)
Pearl, J.: Bayesianism and Causality, and Why I Am Only a Half-Bayesian. In: Corfield, D., Williamson, J. (eds.) Foundations of Bayesianism. Kluwer Applied Logic Series, vol. 24, pp. 19–36. Kluwer Academic Publishers, Dordrecht, The Netherlands (2001), http://ftp.cs.ucla.edu/pub/stat_ser/r284reprint.pdf
Pease, K., Ireson, J., Billingham, S., Thorpe, J.: The Development of a Scale of Offence Seriousness. International Journal of Criminology and Penology 5, 17–29 (1977)
Peña, L.: Graham Priest’s “Dialetheism”: Is It Altogether True? Sorites: Electronic Magazine of Analytical Philosophy 7, 28–56 (1996) http://www.sorites.org/Issue_07/item5.htm (accessed in 2004)
Pequeño, T., Buchsbaum, A.: The Logic of Epistemic Inconsistency. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pp. 453–460. Morgan Kaufmann, San Mateo, CA (1991)
Pereboom, D.: Living Without Free Will. Cambridge University Press, Cambridge, U.K. (2001)
Petersen, U.: Dialetheism and Paradoxes of the Berry Family. Logique et Analyse 35, 273–289 (1992, 1995)
Peterson, J.L.: Petri Net Theory and the Modelling of Systems. Prentice Hall, Englewood Cliffs, NJ (1981)
Peterson, D.M., Barnden, J.A., Nissan, E. (eds.): Artificial Intelligence and Law. Special issue, Information & Communications Technology Law 10(1) (2001)
Petri, C.A.: Communication with Automata. Supplement 1 to Technical Report RADC-TR-65-377, Vol. 1. Rome Air Development Center, Griffiths Air Force Base, Rome, NY (Jan. 1966). Translated by C.F. Greene, Jr., from: Kommunikation mit Automaten, University of Bonn, Bonn, West Germany (1962)
Pistorello, A., Romoli, C., Crespi-Reghizzi, S.: Threshold Nets and Cell-Assemblies. Information and Control 49(3), 239–264 (1981)
Plamper, J.: The History of Emotions: An Interview with William Reddy, Barbara Rosenwein, and Peter Stearns. History and Theory 49, 237–265 (2010)
Plantinga, A.: Warrant: The Current Debate. Oxford University Press, Oxford (1993a)
Plantinga, A.: Warrant and Proper Function. Oxford University Press, Oxford (1993b)
Plewe, B.: GIS Online: Information Retrieval, Mapping, and the Internet. Onword Press, Santa Fe, NM (1997)
Poole, P.: Logical Argumentation, Abduction and Bayesian Decision Theory: A Bayesian Approach to Logical Arguments and Its Application to Legal Evidential Reasoning. In: MacCrimmon, M., Tillers, P. (eds.) The Dynamics of Judicial Proof: Computation, Logic, and Common Sense. STUDFUZZ, vol. 94, pp. 385–396. Physical-Verlag, Heidelberg (2002)
Poulin, D., Mackaay, E., Bratley, P., Frémont, J.: Time Server: A Legal Time Specialist. In: Martino, A. (ed.) Expert Systems in Law, pp. 295–312. North-Holland, Amsterdam (1992)
Prakken, H., Renooij, S.: Reconstructing Causal Reasoning about Evidence: A Case Study. In: B. Verheij, A.R. Lodder, R.P. Loui, and A.J. Muntjwerff (eds.), Jurix 2001: The 14th Annual Conference on Legal Knowledge and Information Systems. IOS Press, Amsterdam, pp. 131–137 (2001)
Priest, G.: The Logic of Paradox. Bulletin of the Section of Logic (Lodz) 6(3), 140–141 (1977)
Priest, G.: Logic of Paradox. Journal of Philosophical Logic 8, 219–241 (1979)
Priest, G.: In Contradiction: A Study of the Transconsistent. Martinus Nijhoff, Dordrecht (1987)
Priest, G.: Paraconsistent Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 6, pp. 287–393. Kluwer, Dordrecht, The Netherlands (2002)
Priest, G., Tanaka, K.: Paraconsistent Logic. In: Stanford Encyclopedia of Philosophy (online) (1996, 2000) (revised 2007) (accessed in 2004 and 2008), http://plato.stanford.edu/entries/logic-paraconsistent/
Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag, Munich, Germany (1989)
Propp, V.: Morfologija skazki, in Voprosy poetiki, 12. Gosudarstvennyi Institut Istorii Iskusstva, Leningrad (1928). English editions: Morphology of the Folktale, ed. by S. Pirkova-Jakobson, translated by L. Scott, Indiana University Research Center in Anthropology, Folklore and Linguistics, publication series, 10; Indiana University, Bloomington, Indiana (1958). Reprinted in: International Journal of American Linguistics, Vol. 24, No. 4, Part 3 (Bibliographical and Special Series of the American Folklore Society, 9). New English translation: Morphology of the Folktale, 2nd edn., ed. by L.A. Wagner (University of Texas Press, Austin, Texas, 1968.) Revised Russian edn., Nauka, Leningrad (1969); whence French edn., Morphologie du conte, in: collection Poétique, Éditions du Seuil, Paris (1970)
Proth, J.-M., Xie, X.: Petri Nets: A Tool for Design and Management of Manufacturing Systems. Wiley, Chichester, West Sussex, England (1996)
Raiman, O.: Order of Magnitude Reasoning. In: Proceedings of AAAI 1986 (1986)
Raskin, J.-F., Tan, Y.-H., van der Torre, L.W.N.: Modeling Deontic States in Petri Nets. Discussion Paper 111. Erasmus University Research Institute for Decision and Information Systems (EURIDIS), Rotterdam, The Netherlands (1996)
Reisig, W.: Graph Grammar Representation of Nonsequential Processes. In: Noltemeier, H. (ed.), Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop WG 1980. LNCS, vol. 100, pp. 318-325. Springer, Heidelberg (1980)
Rescher, N., Brandom, R.: The Logic of Inconsistency: A Study in Non-Standard Possible Worlds Semantics and Ontology. Blackwell, Oxford (1980)
Restall, G.: Paraconsistent Logics! Bulletin of the Section of Logic (Lodz) 26(3), 156–163 (1997)
Reutenauer, C.: The Mathematics of Petri Nets. Prentice-Hall International, London (1990)
Rickett, C.E.F.: Extending Equity’s Reach Through the Mutual Wills Doctrine (Biggs v. Queensland Trustees (1990)). The Modern Law Review 54(4), 581 (1991)
Ripstein, A.: Equality, Responsibility, and the Law. Cambridge University Press, Cambridge, U.K. (1999)
Ross, T.: Tea-Break Glitch Hits Census Deadline Day: Thousands Frustrated by ‘Time Out’ Function on New Website. The Daily Telegraph (London) 28 March, p. 7 (2011)
Rossiter, B.N., Sillitoe, T.J., Heather, M.A.: Models for Legal Documentation: Using Formal Methods for Quality Assurance in Hypertext Systems. Technical Report Series, 464. University of Newcastle upon Tyne, Newcastle upon Tyne, England (1993)
Rousseau, D.: Modelisation et simulation de conversations dans un univers multi-agent. Ph.D. Dissertation. Technical Report #993, Department of Computer Science and Operational Research, University of Montreal, Montreal, Canada (1995)
Rousseau, D.: Personality in Synthetic Agents. Technical Report KSL-96-21, Knowledge Systems Laboratory, Stanford University, Stanford, CA (1996)
Rousseau, D., Moulin, B., Lapalme, G.: Interpreting Communicative Acts and Building a Conversational Model. Journal of Natural Language Engineering 2(3), 253–276 (1996)
Sandewall, E.: Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1. Oxford Logic Guides, vol. 30. Clarendon Press, Oxford (1994)
Sappington, D.: Incentive Contracting with Asymmetric and Imperfect Precontractual Knowledge. Journal of Economic Theory 34, 52–70 (1984)
Sartor, G.: Inconsistency and Legal Reasoning. In: Breuker, J.A., De Mulder, R.V., Hage, J.C. (eds.) Legal Knowledge Based Systems: Model-Based Legal Reasoning, pp. 92–112. Koninklijke Vermalde, Lelystad, The Netherlands (1991)
Savedoff, B.: Transforming Media: Painting, Photography, and Digital Imagery. Ch. 5 in her: Transforming Images: How Photography Complicates the Picture, pp. 185–210. Cornell University Press, Ithaca, NY (2000)
Schank, R.G.: Conceptual Dependency: A Theory of Natural Language Understanding. Cognitive Psychology 3, 552–631 (1972)
Schank, R.G., Riesbeck, C.K. (eds.): Inside Computer Understanding: Five Programs Plus Miniatures. Lawrence Erlbaum Associates, Hillsdale, NJ (1981)
Schlesinger, P., Tumber, H.: Reporting Crime: The Media Politics of Criminal Justice. Clarendon Press, Oxford (1994)
Schum, D.A.: Probability and the Processes of Discovery, Proof, and Choice. Boston University Law Review 66, 825–876 (1986)
Schum, D.A.: Argument Structuring and Evidence Evaluation. In: Hastie, R. (ed.) Inside the Juror: The Psychology of Juror Decision Making, pp. 175–191. Cambridge University Press, Cambridge, U.K. (1993)
Schum, D.A.: The Evidential Foundations of Probabilistic Reasoning. Wiley Series in Systems Engineering. John Wiley & Sons, New York, and Chichester, West Sussex, England (1994). Reprinted, Northwestern University Press, Evanston, IL (2001)
Schum, D.: Evidence Marshaling for Imaginative Fact Investigation. In: Martino, A.A., Nissan, E. (eds.) Formal Approaches to Legal Evidence, Special issue, Artificial Intelligence and Law 9(2/3), 165–188 (2001)
Schum, D.A., Martin, A.W.: Formal and Empirical Research on Cascaded Inference in Jurisprudence. Law and Society Review 17, 105–151 (1982)
Schum, D., Tillers, P.: Marshalling Evidence Throughout the Process of Fact Investigation: A Simulation. Report Nos. 89-01 through 89-04, supported by NSF Grant No. SES 8704377. Cardozo School of Law, New York (1989)
Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge, U.K. (1969)
Segerberg, K.: Bringing It About. Journal of Philosophical Logic 18(4), 327–348 (1989)
Sekiya, G.Y.: Separation Agreements to Make Mutual Wills for the Benefit of Third Parties. Note in Hastings Law Journal 18(2) (January 1967 [1965-1966])
Sette, A.M., Alves, E.H.: On the Equivalence Between Two Systems of Paraconsistent Logic. Bulletin of the Section of Logic (Lodz) 24(3), 155–157 (1995)
Shah, R.: Wills. The Solicitors’ Journal 139(8), 195 (1995)
Shimony, S.E., Nissan, E.: Kappa Calculus and Evidential Strength: A Note on Åqvist’s Logical Theory of Legal Evidence. Artificial Intelligence and Law 9(2/3), 153–163 (2001)
Shiraev, E., Levy, D.: Cross-Cultural Psychology: Critical Thinking and Contemporary Applications, 3rd edn. Allyn and Bacon, Boston, MA (2007)
Simmons, K.: Universality of the Liar: An Essay on Truth and the Diagonal Argument. Cambridge University Press, Cambridge, U.K. (1993)
Simon, M. (transl) Gittin. Translated into English with Notes, Glossary and Indices (1936) Volume in: Epstein, I. (ed.), The Babylonian Talmud: Translated into English with Notes, Glossary and Indices. The Soncino Press, London, 35 vols., (1935–1952); 35 volume edition: Seder Nezikin (8 vols., 1st edn, 1935, repr. 1952, 1956); Seder Nashim (8 vols., 1st edn. 1937, repr. 1956); Seder Mo‘ed (8 vols., 1st edn., 1938; repr. 1956); Seder Tohoroth (2 vols., 1st edn. 1948, repr. 1960); Seder Zera‘im (2 vols., 1st edn., 1948, repr. 1959); Seder Kodashim (6 vols., 1st edn. 1948, repr. 1960); Index Volume (1952). 18 volume edition: Seder Nezikin (4 vols., 1961); Seder Nashim (4 vols., 1961); Seder Mo‘ed (4 vols., 1961); Seder Tohoroth (1 vol., 1961); Seder Zera‘im (1 vol., 1961); Seder Kodashim (3 vols., 1961); Index Volume (1961)
Slater, B.: Paraconsistent Logics? Journal of Philosophical Logic 24, 451–454 (1995)
Smith, A.S.: Geomaterials from Civil to Criminal Law; One Small Step for the Geoscientist (abstract). In: Ruffell, A. (ed.) Abstract Book of Geoscientists at Crime Scenes: First, Inaugural Meeting of the Geological Society of London, p. 12. Forensic Geoscience Group, London, 20 December 2006. Geological Society of London, London (2006), http://www.geolsoc.org.uk/pdfs/FGtalks&abs_pro.pdf
Smolenov, H.: Paraconsistency, Paracompleteness and Intentional Contradictions. Bulletin of the Section of Logic (Lodz) 12(1), 8–16 (1983)
Smolenov, H.: Truthfulness and Non-Trivial Contradictions. Bulletin of the Section of Logic (Lodz) 13(3), 144–153 (1984)
Snow, P., Belis, M.: Structured Deliberation for Dynamic Uncertain Inference. In: MacCrimmon, M., Tillers, P. (eds.) The Dynamics of Judicial Proof: Computation, Logic, and Common Sense. STUDFUZZ, vol. 94, pp. 397–416. Physica-Verlag, Heidelberg (2002)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison Wesley, Reading, MA (1984)
Spohn, W.: A Dynamic Theory of Epistemic States. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, pp. 105–134. Reidel (Kluwer, now Springer), Dordrecht, The Netherlands (1988)
Statman, D. (ed.): Moral Luck. State University of New York Press, Albany, NY (1993)
Statuti Regionali. Gli Statuti Regionali. Supplemento al n.1 (gennaio) 1972 di Vita Italiana — Documenti e Informazioni. Servizi delle Informazioni e della Proprietà Letteraria, Presidenza del Consiglio dei Ministri della Repubblica Italiana. Istituto Poligrafico dello Stato, Roma (1972)
Stearns, P.N.: Jealousy: The Evolution of an Emotion in American History. New York University Press, New York (1989)
Stearns, P.N.: American Cool: Constructing a Twentieth-Century Emotional Style. The History of Emotions, vol. 3. New York University Press, New York (1994)
Stearns, P.N., Haggerty, T.: The Role of Fear: Transitions in American Emotional Standards for Children. American Historical Review 96, 63–94 (1991)
Stearns, C.Z., Stearns, P.N.: Anger: The Struggle for Emotional Control in America’s History. University of Chicago Press, Chicago, IL (1986)
Stearns, C.Z., Stearns, P.N.: Emotion and Social Change: Toward a New Psychohistory. Holmes & Meier, New York (1988)
Stranieri, A., Zeleznikow, J.: Knowledge Discovery from Legal Databases. Springer Law and Philosophy Library, vol. 69. Springer, Dordrecht, The Netherlands (2005)
Sycara, K.P.: Multiagent Systems. AI Magazine 1998, 79–92 (Summer 1998)
Sylvan, R., Priest, G.: Answering Another Alleged Dilemma Destroying Dialethism. Bulletin of the Section of Logic (Lodz) 17(1), 42–52 (1988)
Talmy, L.: How Language Structures Space. In: Pick, H., Acredolo, L. (eds.) Spatial Orientation: Theory, Research and Application, pp. 225–282. Plenum Press, New York (1983)
Thagard, P.: Explanatory Coherence. Behavioural and Brain Sciences 12(3), 435–467 (1989); Commentaries and riposte up to p. 502
Thagard, P.: Causal Inference in Legal Decision Making: Explanatory Coherence vs. Bayesian Networks. In: Nissan, E., Martino, A.A. (eds.) The Construction of Judicial Proof: A Challenge for Artificial Intelligence Modelling, Special issue, Applied Artificial Intelligence 18(3/4), 231–249 (2004)
Thijsse, E.: Partial Logic and Knowledge Representation. Ph.D. thesis, Tilburg University, Tilburg, The Netherlands (1992)
Tillers, P., Green, E. (eds.): Probability and Inference in the Law of Evidence: The Uses and Limits of Bayesianism. Boston Studies in the Philosophy of Science, vol. 109. Kluwer, Boston, MA (1988)
Tuziak, R.: Paraconsistent Extensions of Positive Logic. Bulletin of the Section of Logic (Lodz) 25(1), 15–20 (1996)
Twining, W.L.: Freedom of Proof and the Reform of Criminal Evidence. In: Harnon, W., Stein, A. (eds.) Rights of the Accused, Crime Control and Protection of Victims. Special volume of the Israel Law Review 31(1–3), 439–463 (1997)
Twining, W.L.: Necessary but Dangerous? Generalizations and Narrative in Argumentation about ‘Facts’ in Criminal Process. CH. 5 in Malsch, M., Nijboer, J.F. (eds.) Complex Cases: Perspectives on the Netherlands Criminal Justice System. Series Criminal Sciences, pp. 69–98. THELA THESIS, Amsterdam (1999)
Urquhart, A.: Basic Many-Valued Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 2, Kluwer, Dordrecht, The Netherlands (2001)
Valette, R., Pradin-Chézalviel, B.: Time Petri nets for Modelling Civil Litigation. In: Martino, A.A., Nissan, E. (eds.) Law, Computers and Artificial Intelligence. Special issue on Formal Models of Legal Time. Information and Communications Technology Law 7(3), 269–280 (1998)
Vandeloise, C.: Representation, Prototypes, and Centrality. In: Tsohatzidis, S.L. (ed.) Meanings and Prototypes: Studies in Linguistic Categorization, pp. 403–437. Routledge, London (1990)
Vieu, L.: Sémantique des rélations spatiales et inférences spatio-temporelles. Ph.D. Thesis, Université Paul Sabatier, Toulouse, France (1991)
Vila, L., Yoshino, H.: Temporal Representation for Legal Reasoning. In: Proceedings of the Third International Workshop on Legal Expert Systems for the CISG (May 1995)
Vila, L., Yoshino, H.: Time in Automated Legal Reasoning. In: Martino, A.A., Nissan, E. (eds.) Law, Computers and Artificial Intelligence. Special issue on Formal Models of Legal Time. Information and Communications Technology Law 7(3), 173–197 (1998)
Walden, S.: Photography and Knowledge. The Journal of Aesthetics and Art Criticism 70(1), 139–149 (2012)
Wigmore, J.H.: The Science of Judicial Proof as Given by Logic, Psychology, and General Experience, and Illustrated Judicial Trials, 3rd edn. Little, Brown & Co., Boston (1937); Previously: Boston, 1931, 1934, 2nd edn.; 1913, 1st edn
Visser, A.: Four-Valued Semantics and the Liar. The Journal of Philosophical Logic 13, 181–212 (1984)
Visser, A.: Semantics and the Liar Paradox. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 11, pp. 149-240. Springer, Heidelberg (2004). Previously in: Gabbay, D.M., Guenthner, F. (eds.) Topics in the Philosophy of Language = vol. 4 in: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 1st edn., pp. 617-706. Reidel, Dordrecht, The Netherlands (1989)
Vrij, A.: Physiological Parameters and Credibility: The Polygraph. In: Memon, A., Vrij, A., Bull, R., Psychology and Law: Truthfulness, Accuracy and/ Credibility. McGraw-Hill, London (1998). 2nd edn.: Psychology and Law: Truthfulness, Accuracy and Credibility of Victims, Witnesses and Suspects. John Wiley & Sons, Chichester, West Sussex, England (2003)
Waldron, J.: Moments of Carelessness and Massive Loss. In: Owen, D. (ed.) Philosophical Foundations of Tort Law, pp. 387–408. Clarendon Press, Oxford (1995)
Walton, D.N.: Abductive Reasoning. University of Alabama Press, Tuscaloosa (2004)
Walton, D.: Character Evidence: An Abductive Theory. Springer, Dordrecht (2007)
Walton, D.: A Dialogue Model of Belief. Argument & Computation 1(1), 23–46 (2010)
Wilhelm, R.: Global Flow Analysis and Optimization in the MUG2 Compiler Generating System. In: Muchnick, S.S., Jones, N.D. (eds.) Program Flow Analysis: Theory and Applications, ch. 5, pp. 132–159. Prentice-Hall, Englewood Cliffs, NJ (1981)
Williams, B.: Moral Luck: Philosophical Papers, 1973–1980. Cambridge University Press, Cambridge, U.K. (1981a)
Williams, B.: Moral Luck. In: Williams, B. (ed.) Moral Luck: Philosophical Papers, 1973–1980, ch 2, pp. 20–39. Cambridge University Press, Cambridge, U.K. (1981b); Reprinted in: Statman, D. (ed.): Moral Luck, pp. 35–56. State University of New York Press, Albany, NY (1993b)
Williams, B.: Postscript. In: Statman, D. (ed.) Moral Luck, pp. 251–258. State University of New York Press, Albany, NY (1993)
Williams, D.R.: Goodbye, My Little Ones (book review). New York Law Journal, April 30, Section “The Lawyer’s Bookshelf”, p. 2 (1996)
Woodruff, P.W.: Truth and Logic, I: Paradox and Truth. The Journal of Philosophical Logic 13, 213–232 (1984)
Woods, W.: Transition Network Grammars for Natural Language Analysis. Communications of the ACM 13, 591–606 (1970)
Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester, West Sussex, England. 1st edn. (2002) (page numbers as referred to in this paper are to the 1st edition). 2nd edn. (2009)
Yamamoto, S., Tazawa, S.: Hyperclaw Decomposition of Complete Hypergraphs. Annals of Discrete Mathematics 6, 385–391 (1980)
Yaqub, A.M.: The Liar Speaks the Truth: A Defense of the Revision Theory of Truth. Oxford University Press, New York (1993)
Zeleznikow, J.: Building Intelligent Legal Decision Support Systems: Past Practice and Future Challenges. In: Fulcher, J.A., Jain, L.C. (eds.) Applied Intelligent Systems: New Directions, ch. 7, pp. 201–254. Springer, Heidelberg (2004)
Zisman, M.D.: Use of Production Systems for Modeling Asynchronous, Concurrent Processes. In: Waterman, D.A., Hayes-Roth, F. (eds.) Pattern-Directed Inference Systems, pp. 53–68. Academic Press, Orlando, FL (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nissan, E., Asaro, C., Dragoni, A.F., Farook, D.Y., Shimony, S.E. (2014). A Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective Perspective. In: Dershowitz, N., Nissan, E. (eds) Language, Culture, Computation. Computing of the Humanities, Law, and Narratives. Lecture Notes in Computer Science, vol 8002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45324-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-45324-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45323-6
Online ISBN: 978-3-642-45324-3
eBook Packages: Computer ScienceComputer Science (R0)