Loading...


*  Dagstuhl Seminars
Logics for Emerging Applications of Databases 2003. Jan Chomicki, Ron van der Meyden, Gunter Saake (Eds.): Logics for Emerging ... Automata, Logics, and Infinite Games 2001. Erich Grädel, Wolfgang Thomas, Thomas Wilke (Eds.): Automata, Logics, and Infinite ... Logics for Databases and Information Systems. Jan Chomicki, Gunter Saake (Eds.): Logics for Databases and Information Systems. ... Logic Databases and the Meaning of Change. Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (Eds.): ...
  http://www.vldb.org/dblp/db/conf/dagstuhl/index.html
*  Logic programming with recurrence domains | SpringerLink
Equalities, Types Modules and Generics for Logic Programming. Journal of Logic Programming, 1, 1984.Google Scholar ... on Logic Programming, pages 669-683, K.A. Bowen and R.A. Kowalski(eds), MIT Press, Aug. 1988.Google Scholar ... Logic Programming with Recurrence Domains. Technical Report 49, Department of Computer Science, SUNY at Stony Brook, Oct 1990. ... Constraint Logic Programming. In Proceedings of 14th ACM Symposium on Principles of Programming languages, pages 111-119, 1987. ...
  https://link.springer.com/chapter/10.1007/3-540-54233-7_122
*  Eugenio Trías Sagnier - Wikipedia
Limit's logic (1991) • The tiredness of the West (1992, 4 editions), with Rafael Argullol • The age of the Spirit (1994, 3 ...
  https://en.wikipedia.org/wiki/Eugenio_Tr%C3%ADas_Sagnier
*  Cassette deck - Wikipedia
... "logic control," contrasts with earlier "piano-key" transport controls and mechanical linkages. One goal of using logic ... The inclusion of logic circuitry and solenoids into the transport and control mechanisms of cassette decks, often referred to " ... Some logic control decks were designed to incorporate light-touch buttons or remote control, among other features marketed as ... Such fail-safe behavior was described in a review by Julian Hirsch of a particular cassette deck featuring logic control. Some ...
  https://en.wikipedia.org/wiki/Cassette_deck
*  Situations in Natural Language Semantics (Stanford Encyclopedia of Philosophy)
The Logic of Distributed Systems. Cambridge: Cambridge University Press.. *Benthem, J. F. A. K. van, 1977, "Tense Logic and ... see the entry modal logic), for example. Likewise, in Prior's tense logic (see the entry Arthur Prior), quantification over ... 1988, The Situation in Logic. Stanford: CSLI.. *Barwise, J. & Perry, J., 1983, Situations and Attitudes. Cambridge, MA: The MIT ... Kamp, H. & Reyle, U., 1993, From Discourse to Logic. Dordrecht: Kluwer.. *Keshet, E., 2008, Good Intensions: Paving Two Roads ...
  https://plato.stanford.edu/entries/situations-semantics/
*  Rudolf Carnap - Wikipedia
Formalization of Logic. Harvard Uni. Press. 1945. On Inductive Logic in Philosophy of Science, Vol.12, p. 72-97. 1945. The Two ... Carnap stated: Philosophy is to be replaced by the logic of science - that is to say, by the logical analysis of the concepts ... Frege's course exposed him to Bertrand Russell's work on logic and philosophy, which put a sense of the aims to his studies. He ... Studies in inductive logic and probability, Vol. 1. University of California Press. 1977. Two essays on entropy. Shimony, Abner ...
  https://en.wikipedia.org/wiki/Rudolf_Carnap
*  Reason - Wikipedia
Reason and logic can however be thought of as distinct, although logic is one important aspect of reason. Author Douglas ... A subdivision of Philosophy is Logic. Logic is the study of reasoning. Deduction is a form of reasoning in which a conclusion ... Thinking portal Logic portal Confirmation bias Conformity Logic and rationality Outline of thought - topic tree that identifies ... Kant claimed that this problem could be solved with his "transcendental logic" which unlike normal logic is not just an ...
  https://en.wikipedia.org/wiki/Reason
*  List of logic journals - Wikipedia
Annals of Mathematical Logic, Vols 1-23, 1970-1982. Annals of Pure and Applied Logic, 1983 ff. (Successor of the Annals of ... Journal of Mathematical Logic, 2001 ff. Journal of Non-Classical Logic, 1982-1991. Journal of Multiple-Valued Logic and Soft ... Journal of Logic Programming, (Elsevir Publ.) 1984-2000. Continued by Theory and Practice of Logic Programming and The Journal ... Journal of Symbolic Logic, Providence, Rhode Island 1936 ff. Linguistics and Philosophy Logic Journal of the IGPL, Oxford 1993 ...
  https://en.wikipedia.org/wiki/List_of_logic_journals
*  Skew lattice - Wikipedia
Bignall, R J, A non-commutative multiple-valued logic, Proc. 21st International Symposium on Multiple-valued Logic, 1991, IEEE ... Bignall, R J and M Spinks, Propositional skew Boolean logic, Proc. 26th International Symposium on Multiple-valued Logic, 1996 ... Pascual Jordan, motivated by questions in quantum logic, initiated a study of noncommutative lattices in his 1949 paper, Über ... for others it was a search for noncommutative forms of logic and Boolean algebra; and for others it has been the behavior of ...
  https://en.wikipedia.org/wiki/Skew_lattice
*  Developmental state - Wikipedia
The Logic of the Developmental State. Comparative Politics. 24. no. 1. pp. 109-26. Mark Thompson. (1996). Late industrialisers ...
  https://en.wikipedia.org/wiki/Developmental_state
*  Fuzzy logic approach to modelling in ecosystem research | SpringerLink
Salski,A.(1987) The design of fuzzy logic control. Delft University of Technology, Rep.N-273, 1-12.Google Scholar ... To solve these problems and the problems of subjectivity in evalation of ecological paramaters a fuzzy logic approach has been ... Fuzzy logic approach to modelling in ecosystem research. In: Bouchon-Meunier B., Yager R.R., Zadeh L.A. (eds) Uncertainty in ...
  https://link.springer.com/chapter/10.1007/BFb0028139
*  Addiction and the Societies of Control David Foster Wallace's Infinite Jest - The Howling Fantods
In The Logic of Sense Gilles Deleuze offers his clinical definition of the work of art, observing that artists: ... A similar logic is displayed in the emergence of the IDS, where traditional broadcast TV is undermined by an advertising ... Control is in the words of Negri and Hardt 'the self discipling of subjects, the incessant whisperings of disciplinary logics ... This Heisenbergian inability to have one property without the other, this impossibility of escape from the logic of the ...
  http://thehowlingfantods.com/dfw/addiction-and-the-societies-of-control-david-foster-wallaces-infinite-jest.html
*  Process models in design and development | SpringerLink
General design theory or GDT (Yoshikawa 1981) aims to define a formal logic of design. Here, in keeping with the scope of the ... In contrast to notations such as EPC and BPMN, flow logic such as AND/OR/XOR gates is not represented graphically, because this ... Instead, such logic is embedded in the tasks' configurations. The ASM was developed and applied through industry collaborations ... March L (1976) The logic of design and the question of value. In: March L (ed) The architecture of form. Cambridge University ...
  https://link.springer.com/article/10.1007%2Fs00163-017-0262-7
*  Tense and Aspect (Stanford Encyclopedia of Philosophy)
By adding the above operators to propositional logic we extend propositional logic to propositional temporal logic. Let q ... 2. Temporal Logic. Temporal logic was introduced by Arthur Prior (see for instance Prior 1967). Here we will sketch only ... Kowalski, R., 1995, "How to reconcile reactive and rational agents", in Meta-Logic and Logic Programming, Apt and Turini, eds ... Doets, K., 1994, From Logic to Logic Programming, Cambridge, MA: MIT Press. ...
  https://plato.stanford.edu/entries/tense-aspect/index.html
*  Linda Fiorentino - Wikipedia
Queens Logic (1991) and Jade (1995). In 1997, Fiorentino's career took an upturn due to her role in the science-fiction action ...
  https://en.wikipedia.org/wiki/Linda_Fiorentino
*  Infinite set - Wikipedia
Logic Comput. Philos., Oxford Univ. Press, New York, pp. 27-44, MR 1373892 . See in particular pp. 32-33. Weisstein, Eric W. " ... Aleph number Boolos, George (1994), "The advantages of honest toil over theft", Mathematics and mind (Amherst, MA, 1991), ...
  https://en.wikipedia.org/wiki/Infinite_set
*  Preview Frieze London 2016 -ARTnews
Joseph Kosuth, No Number (in logic), 1991, yellow neon. Canada, New York , Main ...
  http://www.artnews.com/2016/10/05/preview-frieze-london-2016/
*  Ken Olin - Wikipedia
His film credits include roles in Ghost Story (1981), Queens Logic (1991), and 'Til There Was You (1997). Prior to working on ... As an actor, Olin played Michael Steadman on Thirtysomething (1987-1991) and Dr. Roger Cattan on L.A. Doctors (1998-1999). He ... John J. O'Connor (May 28, 1991). "CRITIC'S NOTEBOOK; Saying Goodbye, Fondly, to a Bit of Reality on TV". New York Times. ...
  https://en.wikipedia.org/wiki/Ken_Olin
*  Converse (logic) - Wikipedia
Symbolic Logic. MacMillan, 1979, fifth edition. Stebbing, Susan. A Modern Introduction to Logic. Cromwell Company, 1931.. ... Aristotelian Logic, SUNY Press, p. 207. James H. Hyslop (1892), The Elements of Logic, C. Scribner's sons, p. 156. Gordon ... In traditional logic, the process of going from All S are P to its converse All P are S is called conversion. In the words of ... In logic, the converse of a categorical or implicational statement is the result of reversing its two parts. For the ...
  https://en.wikipedia.org/wiki/Converse_(logic)
*  A calculus of value broadcasts | SpringerLink
F3.2 Semantics of Programming Languages-operational semantics algebraic approaches to semantics F3.1 Logics of programs ... In TAPSOFT'91 Volume 1: CAAP, April 1991. Springer Verlag LNCS 493.Google Scholar ...
  https://link.springer.com/chapter/10.1007/3-540-56891-3_31
*  Book reviews - Cognitive Science
The intensional logic makes explicit the mechanism by which this can happen. The logic determines the possible sorts of ... Includes Johnson-Laird's "Reasoning without logic", a critique of mental logic, and Wilson's and Sperber's "Inference and ... Logic becomes the study of what is universal. The editors reach the conclusion that "there is no purely physiological ... Moore Robert: LOGIC AND KNOWLEDGE REPRESENTATION (CSLI, 1995) Collects Moore's writings on "knowledge and action", belief ...
  https://www.scaruffi.com/mind/m.html
*  Oh Sae-young - Wikipedia
Sangsangryeokgwa nonri (상상력과 논리 Creativity and Logic), Minumsa, 1991. Byeonhyeokgiwa hanguk hyeondaesi (변혁기와 한국 현대시 The Age of ... Sinui haneul-edo eodumeun itda (신의 하늘에도 어둠은 있다 Darkness Exists Even in God's Sky), Miraesa, 1991. Eoriseokeun Hegel (어리석은 헤겔 ...
  https://en.wikipedia.org/wiki/Oh_Sae-young
*  Y'all So Stupid - Wikipedia
It was formed by H2O, Unkle Buk, Sha Boogie, Spearhead X and Logic in 1991. After performing extensively in Atlanta's ...
  https://en.wikipedia.org/wiki/Y'all_So_Stupid
*  Computational Linguistics (Stanford Encyclopedia of Philosophy)
... "soft logics" such as fuzzy logic (e.g., Kasabov 1996; Kecman 2001) or "weight-annotated Poole systems" (Blutner 2004), ... Relating language to logic. Since Richard Montague (see especially Montague 1970, 1973) deserves much of the credit for ... It featured a KB of axioms (in first-order logic) for 128 important physical laws, manually coded with the aid of a reference ... This was in part because the latter community was not convinced that an omega-order logic was needed for NL semantics, found ...
  https://plato.stanford.edu/entries/computational-linguistics/
*  Time and Probability in Process Algebra | SpringerLink
on Logic in Computer Science, Philadelphia, PA, 130-141, 1990.Google Scholar ... J.C.M. Baeten, C. Verhoef, Concrete process algebra, Handbook of Logic in Computer Science, volume 4: "Semantic Modelling", ... J.C.M. Baeten, J.A. Bergstra, Real time process algebra, Formal Aspects of Computing, 3(2):142-188, 1991.CrossRefMathSciNet ... H. Hansson, Time and probability in formal design of distributed systems, Ph.D. thesis, DoCS 91/27, University of Uppsala, 1991 ...
  https://link.springer.com/chapter/10.1007%2F3-540-45499-3_24