Search results for 'Leendert W. N. Torre' (try it on Scholar)

1000+ found
Order:
  1.  6
    Leendert W. N. Torre & Yao-Hua Tan (1999). Diagnosis and Decision Making in Normative Reasoning. Artificial Intelligence and Law 7 (1).
    Diagnosis theory reasons about incomplete knowledge and only considers the past. It distinguishes between violations and non-violations. Qualitative decision theory reasons about decision variables and considers the future. It distinguishes between fulfilled goals and unfulfilled goals. In this paper we formalize normative diagnoses and decisions in the special purpose formalism DIO2 as well as in extensions of the preference-based deontic logic PDL. The DIagnostic and DEcision-theoretic framework for DEontic reasoning DIO2 formalizes reasoning about violations and fulfillments, and is used to (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  4
    W. W. & S. N. Svoronos (1890). S. N. Svoronos-Numismatique de la Crete Ancienne. Journal of Hellenic Studies 11:354.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  3
    H. D. R. W. (1911). Some School Books Clari Rornani: Camillus, by C. H. Broadbent. Metellus and Marius, the Jugurthine War, by A. J. Schooling (Murray, 1s. 6d.). Julius Caesar, by H. J. Dakers. Terence: Phormio Simplified, by H. R. Fairclough and L. J. Richardson (Sanborn, N.Y.). [REVIEW] The Classical Review 25 (06):189-190.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  3
    M. M. W. (1941). Book Review:Protozoa in Biological Research G. N. Calkins, F. M. Summers. [REVIEW] Philosophy of Science 8 (3):394-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  4
    M. M. W. (1947). Book Review:The Source of Human Good Henry N. Wieman. [REVIEW] Philosophy of Science 14 (2):173-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  6
    T. B. L. W. & W. N. Bates (1941). Sophocles, Poet and Dramatist. Journal of Hellenic Studies 61:42.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. N. C. W. (1961). The Encounter of Religions. International Philosophical Quarterly 1 (2):352-353.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  8. N. C. W. (1961). The Naturalistic Tradition in Indian Thought. International Philosophical Quarterly 1 (3):538-539.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  12
    Daniel Gibson, Benders G., A. Gwynedd, Cynthia Andrews-Pfannkoch, Evgeniya Denisova, Baden-Tillson A., Zaveri Holly, Stockwell Jayshree, B. Timothy, Anushka Brownley, David Thomas, Algire W., A. Mikkel, Chuck Merryman, Lei Young, Vladimir Noskov, Glass N., I. John, J. Craig Venter, Clyde Hutchison, Smith A. & O. Hamilton (2008). Complete Chemical Synthesis, Assembly, and Cloning of a Mycoplasma Genitalium Genome. Science 319 (5867):1215--1220.
    We have synthesized a 582,970-base pair Mycoplasma genitalium genome. This synthetic genome, named M. genitalium JCVI-1.0, contains all the genes of wild-type M. genitalium G37 except MG408, which was disrupted by an antibiotic marker to block pathogenicity and to allow for selection. To identify the genome as synthetic, we inserted "watermarks" at intergenic sites known to tolerate transposon insertions. Overlapping "cassettes" of 5 to 7 kilobases (kb), assembled from chemically synthesized oligonucleotides, were joined by in vitro recombination to produce intermediate (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   18 citations  
  10. F. N. Hales, W. H. Fairbrother, F. C. S. Schiller, S. H., A. E. Taylor, David Morrison, F. G. Nutt, B. Russell, W. R. Boyce Gibson, C. A. F. Rhys Davids, B. W. & T. Loveday (1903). New Books. [REVIEW] Mind 12 (46):255-274.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  11.  3
    David Makinson & Leendert van der Torre (2001). Constraints for Input/Output Logics. Journal of Philosophical Logic 30 (2):155 - 185.
    In a previous paper we developed a general theory of input/output logics. These are operations resembling inference, but where inputs need not be included among outputs, and outputs need not be reusable as inputs. In the present paper we study what happens when they are constrained to render output consistent with input. This is of interest for deontic logic, where it provides a manner of handling contrary-to-duty obligations. Our procedure is to constrain the set of generators of the input/output system, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  12. David Makinson & Leendert Van Der Torre (2000). Input/Output Logics. Journal of Philosophical Logic 29 (4):383 - 408.
    In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. They (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  13.  2
    Guido Boella, Dov M. Gabbay, Valerio Genovese & Leendert Van Der Torre (2009). Fibred Security Language. Studia Logica 92 (3):395 - 436.
    We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language (both for classical and intuitionistic fragment), we then prove that in order (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  14. H. N., W. McD, Sidney Ball, W. D. Morrison, J. S. Mackenzie, J. Shawcross, B. C. & B. W. (1902). New Books. [REVIEW] Mind 11 (43):402-417.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  15.  5
    David Makinson & Leendert van der Torre (2003). Permission From an Input/Output Perspective. Journal of Philosophical Logic 32 (4):391 - 416.
    Input/output logics are abstract structures designed to represent conditional obligations and goals. In this paper we use them to study conditional permission. This perspective provides a clear separation of the familiar notion of negative permission from the more elusive one of positive permission. Moreover, it reveals that there are at least two kinds of positive permission. Although indistinguishable in the unconditional case, they are quite different in conditional contexts. One of them, which we call static positive permission, guides the citizen (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  16.  48
    F. C. S. Schiller, H. F. Hallett, S. R., M. H. Carré, J. Drever, John Laird, A. C. Ewing, J. S. MacKenzie, S. N. Dasgupta, E. S. Waterhouse, W. D. Ross, V. W., M. A. & T. E. (1926). New Books. [REVIEW] Mind 35 (137):98-119.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  17.  4
    Guillaume Aucher, Guido Boella & Leendert Torre (2011). A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law 19 (2-3):187-231.
    Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata (2009). Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica 93 (2/3):297 - 355.
    In this paper, we introduce the methodology and techniques of metaargumentation to model argumentation. The methodology of meta-argumentation instantiates Dung's abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung's basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung's theory of abstract argumentation to itself, by instantiating Dung's abstract arguments with meta-arguments using a technique called flattening. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19.  1
    Dov M. Gabbay & Leendert van der Torre (2009). Preface for Studia Logica Special Issue (2). Studia Logica 93 (2/3):105 - 108.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20.  2
    W. W., A. Gallegos, H. M., M. Azbel, G. R. & N. Roll-Hansen (1995). The Role of Theory in Experimental Life. Studies in History and Philosophy of Science Part A 26 (4):673-679.
    We consider an electron in a 1 D random adiabatically changing potential. We demonstrate that the positions of the maxima of an electron eigenstate probability density do not move even when the change of the potential is significant. We show that at the same time the main maximum hops by a distance of the order of the size of the system. We present arguments that such hopping of electron localization position happens also in two and three dimensions.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    Leendert W. N. Van Der Torre & Yao-Hua Tan (1999). Diagnosis and Decision Making in Normative Reasoning. Artificial Intelligence and Law 7 (1):51-67.
    Diagnosis theory reasons about incomplete knowledge and only considers the past. It distinguishes between violations and non-violations. Qualitative decision theory reasons about decision variables and considers the future. It distinguishes between fulfilled goals and unfulfilled goals. In this paper we formalize normative diagnoses and decisions in the special purpose formalism DIO(DE)2 as well as in extensions of the preference-based deontic logic PDL. The DIagnostic and DEcision-theoretic framework for DEontic reasoning DIO(DE)2 formalizes reasoning about violations and fulfillments, and is used to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  9
    W. H. S. Jones (1952). Hippocrates in English John Chadwick and W. N. Mann: The Medical Works of Hippocrates, A New Translation From the Original Greek Made for English Readers. Pp. 301. Oxford: Blackwell, 1950. Cloth, 20s. Net. [REVIEW] The Classical Review 2 (02):79-80.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Dov M. Gabbay (2006). Guido Boella Dov M. Gabbay Leendert van der Torre Serena Villata. Studia Logica 82:1-59.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  24.  5
    Brian Edison Mcdonald & On Meaningfulness (2000). David Makinson and Leendert Van der Torre. Journal of Philosophical Logic 29:635-636.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  4
    Henry E. Kyburg (1975). Review: Rudolf Carnap, Inductive Logic and Inductive Intuition; M. Bunge, J. W. N. Watkins, Y. Bar-Hillel, K. R. Popper, J. Hintikka, R. Carnap, Discussion. [REVIEW] Journal of Symbolic Logic 40 (3):449-450.
  26.  13
    Richard Peters (1967). Hobbes's System of Ideas. By J. W. N. Watkins. (Hutchinson, 1965. Pp. 192. Price 15s.)Hobbes Studies. Edited by Keith C. Brown. (Blackwell, 1965. Pp. 300. Price 37s. 6d.). [REVIEW] Philosophy 42 (160):177-.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  3
    Jean Theau (1975). La Foi Et la Vie Propre de la Raison: Remarques Sur l'Ouvrage de J. King-Farlow Et W.N. Christensen. Dialogue 14 (2):332-340.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28.  1
    A. S. Owen (1930). Euripides the Human Euripides, a Student of Human Nature. By W. N. Bates. Pp. Xiii + 315; 10 Plates, 15 Figures. Philadelphia: University of Pennsylvania Press (London : Milford), 1930. Cloth, 21s. Net. [REVIEW] The Classical Review 44 (05):180-181.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  1
    Joseph Samachson (1938). The Old God of Physics:Isaac Newton J. W. N. Sullivan. Philosophy of Science 5 (3):359-.
  30. C. A. M. C. A. M. (1924). MAXWELL, W. N. -A Psychological Retrospect of the Great War. [REVIEW] Mind 33:345.
     
    Export citation  
     
    My bibliography  
  31. Johan Huizinga, Pieter Geyl & F. Comp Hugenholtz (1968). Dutch Civilisation in the Seventeenth Century and Other Essays. Selected by Pieter Geyl and F.W.N. Hugenholtz; Translated [From the Dutch] by Arnold J. Pomerans. --. [REVIEW] Collins.
    No categories
     
    Export citation  
     
    My bibliography  
  32. R. F. Kahn (1965). WATKINS, J. W. N.: "Hobbes's System of Ideas". [REVIEW] Australasian Journal of Philosophy 43:421.
     
    Export citation  
     
    My bibliography  
  33. George P. Klubertanz (1966). "Hobbes's System of Ideas: A Study in the Political Significance of Philosophical Theories," by J . W. N. Watkins. Modern Schoolman 43 (3):309-309.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. A. Lichtigfeld (1994). Krewani, W.N., Emmanuel Lévinas. Denker des Anderen. [REVIEW] Tijdschrift Voor Filosofie 56 (1):157.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  35. G. Loria (1929). SULLIVAN, J. W. N. - The History of Mathematics in Europe. [REVIEW] Scientia 23 (45):263.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  36. D. H. Monro (1968). WATKINS, J. W. N. - "Hobbes's System of Ideas". [REVIEW] Mind 77:139.
     
    Export citation  
     
    My bibliography  
  37. Richard Peters (1967). WATKINS, J. W. N.-"Hobbes's System of Ideas". [REVIEW] Philosophy 42:177.
     
    Export citation  
     
    My bibliography  
  38. R. Simon (1979). W. N. Borjas/E. F. Solopow: Filossofskije woprossy chimii. [REVIEW] Deutsche Zeitschrift für Philosophie 27 (2):268.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  39. Mitsuru Yasuhara (1975). Review: J. I. Malitz, W. N. Reinhardt, Maximal Models in the Language with Quantifier "There Exist Uncountably Many."; J. I. Malitz, W. N. Reinhardt, A Complete Countable $L^Q{Omega1}$ Theory with Maximal Models of Many Cardinalities. [REVIEW] Journal of Symbolic Logic 40 (4):635-636.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  10
    Józef Życiński (1990). Teizm Racjonalnej Analizy [Recenzja] A. Plantinga, N. Wolterstorf, Faith and Rationality: Reason and Belief in God, 1986. R.M. Adams, The Virtue of Faith and Other Essays in Philosophical Theology, 1987. W. P. Alston, Divine Nature and Human Language. [REVIEW] Zagadnienia Filozoficzne W Nauce 12.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  11
    Michał Heller (1993). Programy Badawcze W Teologii [Recenzja] N. Murphy, Theology in the Age of Scientific Reasoning, 1990. Zagadnienia Filozoficzne W Nauce 15.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  5
    James W. Cummings (2000). Apter Arthur W.. On the Least Strongly Compact Cardinal. Israel Journal of Mathematics, Vol. 35 (1980), Pp. 225–233. Apter Arthur W.. Measurability and Degrees of Strong Compactness. The Journal of Symbolic Logic, Vol. 46 (1981), Pp. 249–254. Apter Arthur W.. A Note on Strong Compactness and Supercompactness. Bulletin of the London Mathematical Society, Vol. 23 (1991), Pp. 113–115. Apter Arthur W.. On the First N Strongly Compact Cardinals. Proceedings of the American Mathematical Society, Vol. 123 ... [REVIEW] Bulletin of Symbolic Logic 6 (1):86-89.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  4
    A. W. J. Harper (1981). Faith and Knowledge. By G.W.F. Hegel. Translated by Walter Cerf and H.S. Harris. Albany, N.Y.: State University of New York Press. 1977. Pp. Xxxvi, 206. $21.95. [REVIEW] Dialogue 20 (2):396-398.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  44.  4
    W. R. L., G. Méautis, W. D. Ross, Aristotle, H. Oppermann, Patrick Duncan, U. von Wilamowitz-Moellendorf, Aurel Stein, W. A. Oldfather, J. A. Hammerton & G. Meautis (1928). L'Aristocratie AthénienneAristotle: SelectionsAristoteles: Ἀθηναίων ΠολιτείαThe Phaedo of PlatoDie Heimkehr des OdysseusAlexander's Campaigns on the Indian N. W. FrontierContributions to a Bibliography of EpictetusThe Harmsworth Universal HistoryL'Aristocratie AthenienneAristoteles: Aqhnaiwn Politeia. Journal of Hellenic Studies 48:122.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  3
    N. R. Ker (1950). Charles W. Jones: Saints' Lives and Chronicles in Early England, Pp. Xiii+232; 2 Plates. Ithaca, N.Y.: Cornell University Press (London: Oxford University Press), 1947. Cloth. [REVIEW] The Classical Review 64 (3-4):162-.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  9
    T. W. Manson (1953). M. L. W. Laistner: Christianity and Pagan Culture in the Later Roman Empire, Together with an English Translation of John Chrysostom's Address on Vainglory and the Right Way for Parents to Bring Up Their Children. Pp. X+145. Ithaca, N.Y.: Cornell University Press (London: Oxford University Press), 1951. Cloth, 20s. Net. [REVIEW] The Classical Review 3 (02):127-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  6
    W. L. Lorimer (1927). Plato with an English Translation. (Loeb Classical Library.) III.: The Statesman, Philebus. By Harold N. Fowler, Ph.D. Ion. By W. R. M. Lamb, M.A. Pp. Xx + 450. London: Heinemann 1925. Cloth, 10s. [REVIEW] The Classical Review 41 (05):198-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    W. Henke (1994). Research Strategies in Human Biology. Field and Survey Studies. Edited by C. G. N. Mascie-Taylor & G. W. Lasker. Pp. 204. (Cambridge University Press, 1993.) £40.00. [REVIEW] Journal of Biosocial Science 26 (4):562-563.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  49.  2
    E. W. Gray (1981). Drang Nach Osten Jean W. Sedlar: India and the Greek World. A Study in the Transmission of Culture. Pp. Xxi + 381; 2 Maps. Totowa, N.J.: Rowman & Littlefield, 1980. £15. [REVIEW] The Classical Review 31 (02):233-236.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  5
    W. H. D. Rouse (1908). Anthropological Essays Anthropological Essays Presented to E. B. Tylor in Honour of His 75th Birthday. By H. Balfour, A. E. Crawley, D. J. Cunningham, L. R. Farnell, J. G. Frazer, A. C. Haddon, E. S. Hartland, A. Lang, R. R. Marett, C. S. Myers, J. L. Myres, C. H. Read, Sir J. Rhys, W. Ridgeway, W. H. R. Rivers, C. G. Seligmann, and T. A. Toza, N. W. Thomas, A. Thomson, E. Westermarck. With a Bibliography by B. W. Freise-Marreco. Clarendon Press. [REVIEW] The Classical Review 22 (07):225-226.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000