skip to main content
Skip header Section
An Investigation of the Laws of ThoughtJune 1958
Publisher:
  • Dover Publications, Inc.
  • 31 E. Second St. Mineola, NY
  • United States
ISBN:978-0-486-60028-4
Published:01 June 1958
Skip Bibliometrics Section
Reflects downloads up to 29 Jan 2025Bibliometrics
Abstract

No abstract available.

Cited By

  1. Widdows D, Kitto K and Cohen T (2021). Quantum Mathematics in Artificial Intelligence, Journal of Artificial Intelligence Research, 72, (1307-1341), Online publication date: 4-Jan-2022.
  2. Aznar M, Gadea W and Acosta G Aaron Schuyler: The Missing Link Between Euler and Venn Diagrams? Diagrammatic Representation and Inference, (196-203)
  3. Mundici D (2019). Betting on continuous independent events, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 23:7, (2289-2295), Online publication date: 1-Apr-2019.
  4. Toselli A, Vidal E, Puigcerver J and Noya-García E (2019). Probabilistic multi-word spotting in handwritten text images, Pattern Analysis & Applications, 22:1, (23-32), Online publication date: 1-Feb-2019.
  5. Dujmović J Graded Logic Aggregation Modeling Decisions for Artificial Intelligence, (3-12)
  6. ACM
    Bhuyan M, Mohapatra D and Sethi S (2014). A survey of computational intelligence approaches for software reliability prediction, ACM SIGSOFT Software Engineering Notes, 39:2, (1-10), Online publication date: 29-Mar-2014.
  7. Cozman F, Polastro R, Takiyama F and Revoredo K Computing Inferences for Relational Bayesian Networks Based on $$\mathcal {ALC}$$ Constructs Revised Selected Papers of the ISWC International Workshops on Uncertainty Reasoning for the Semantic Web III - Volume 8816, (21-40)
  8. Widdows D Purposeful Choice and Point-of-View Selected Papers of the 7th International Conference on Quantum Interaction - Volume 8369, (244-256)
  9. Cozman F, Polastro R, Takiyama F and Revoredo K Computing Inferences for Relational Bayesian Networks Based on Constructs Uncertainty Reasoning for the Semantic Web III, (21-40)
  10. Widdows D and Cohen T Real, complex, and binary semantic vectors Proceedings of the 6th international conference on Quantum Interaction, (24-35)
  11. Stecher J, Shields T and Dickhaut J (2011). Generating Ambiguity in the Laboratory, Management Science, 57:4, (705-712), Online publication date: 1-Apr-2011.
  12. Finger M and De Bona G A refuted conjecture on probabilistic satisfiability Proceedings of the 20th Brazilian conference on Advances in artificial intelligence, (293-302)
  13. ACM
    Dillig I, Dillig T and Aiken A (2010). Reasoning about the unknown in static analysis, Communications of the ACM, 53:8, (115-123), Online publication date: 1-Aug-2010.
  14. Warner J (2010). So mechanical or routine: The not original in Feist, Journal of the American Society for Information Science and Technology, 61:4, (820-834), Online publication date: 1-Apr-2010.
  15. Su K, Sattar A, Lv G and Zhang Y (2009). Variable forgetting in reasoning about knowledge, Journal of Artificial Intelligence Research, 35:1, (677-716), Online publication date: 1-May-2009.
  16. Svozil K (2009). Quantum scholasticism, Information Sciences: an International Journal, 179:5, (535-541), Online publication date: 1-Feb-2009.
  17. Cozman F, de Campos C and Ferreira da Rocha J (2008). Probabilistic logic with independence, International Journal of Approximate Reasoning, 49:1, (3-17), Online publication date: 1-Sep-2008.
  18. Straccia U Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs Reasoning Web, (54-103)
  19. Jaeger M Probabilistic-Logic Models Proceedings of the 2008 conference on Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008, (197-200)
  20. Madalińska-Bugaj E and Łukaszewicz W Extending Knowledge Base Update into First-Order Knowledge Bases Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence, (631-640)
  21. ACM
    Dillig I, Dillig T and Aiken A Sound, complete and scalable path-sensitive analysis Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (270-280)
  22. ACM
    Dillig I, Dillig T and Aiken A (2008). Sound, complete and scalable path-sensitive analysis, ACM SIGPLAN Notices, 43:6, (270-280), Online publication date: 30-May-2008.
  23. ACM
    Wang Y A hierarchical abstraction model for software engineering Proceedings of the 2nd international workshop on The role of abstraction in software engineering, (43-48)
  24. Delgrande J, Jin Y and Pelletier F (2008). Compositional belief update, Journal of Artificial Intelligence Research, 32:1, (757-791), Online publication date: 1-May-2008.
  25. Mlynski M and Zimmermann H (2008). An efficient method to represent and process imprecise knowledge, Applied Soft Computing, 8:2, (1050-1067), Online publication date: 1-Mar-2008.
  26. Hansen P and Perron S (2008). Merging the local and global approaches to probabilistic satisfiability, International Journal of Approximate Reasoning, 47:2, (125-140), Online publication date: 1-Feb-2008.
  27. ACM
    Iverson K (2007). Notation as a tool of thought, ACM SIGAPL APL Quote Quad, 35:1-2, (2-31), Online publication date: 1-Mar-2007.
  28. Jones C Understanding programming language concepts via operational semantics Domain modeling and the duration calculus, (177-235)
  29. Cozman F, de Campos C and da Rocha J Probabilistic logic with strong independence Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence, (612-621)
  30. Kwuida L A note on negation Proceedings of the 4th international conference on Formal Concept Analysis, (146-160)
  31. de Souza Rabello G and Finger M (2006). Approximations of Modal Logic K, Electronic Notes in Theoretical Computer Science (ENTCS), 143, (171-184), Online publication date: 1-Jan-2006.
  32. Biazzo V, Gilio A, Lukasiewicz T and Sanfilippo G (2005). Probabilistic logic under coherence, Annals of Mathematics and Artificial Intelligence, 45:1-2, (35-81), Online publication date: 1-Oct-2005.
  33. Cozman F (2005). Graphical models for imprecise probabilities, International Journal of Approximate Reasoning, 39:2-3, (167-184), Online publication date: 1-Jun-2005.
  34. van Rijsbergen C A probabilistic logic for information retrieval Proceedings of the 27th European conference on Advances in Information Retrieval Research, (1-6)
  35. Pretolani D (2005). Probability Logic and Optimization SAT, Annals of Mathematics and Artificial Intelligence, 43:1-4, (211-221), Online publication date: 1-Jan-2005.
  36. Kern-Isberner G and Lukasiewicz T (2004). Combining probabilistic logic programming with the power of maximum entropy, Artificial Intelligence, 157:1-2, (139-202), Online publication date: 1-Aug-2004.
  37. Calabrese P (2002). Deduction with uncertain conditionals, Information Sciences: an International Journal, 147:1-4, (143-191), Online publication date: 1-Oct-2002.
  38. Baioletti M, Capotorti A, Tulipani S and Vantaggi B (2002). Simplification Rules for the Coherent Probability Assessment Problem, Annals of Mathematics and Artificial Intelligence, 35:1-4, (11-28), Online publication date: 21-May-2002.
  39. Lukasiewicz T (2002). Probabilistic Default Reasoning with Conditional Constraints, Annals of Mathematics and Artificial Intelligence, 34:1-3, (35-88), Online publication date: 21-Mar-2002.
  40. Cussens J (2001). Parameter Estimation in Stochastic Logic Programs, Machine Language, 44:3, (245-271), Online publication date: 1-Sep-2001.
  41. ACM
    Moon I, Kukula J, Ravi K and Somenzi F To split or to conjoin Proceedings of the 37th Annual Design Automation Conference, (23-28)
  42. Falkowski B (1999). A Note on the Polynomial Form of Boolean Functions and Related Topics, IEEE Transactions on Computers, 48:8, (860-864), Online publication date: 1-Aug-1999.
  43. ACM
    Artz J (1997). How good is that data in the warehouse?, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 28:3, (21-31), Online publication date: 1-Jun-1997.
  44. Schneeweiss W (1996). A Necessary and Sufficient Criterion for the Monotonicity of Boolean Functions with Deterministic and Stochastic Applications, IEEE Transactions on Computers, 45:11, (1300-1302), Online publication date: 1-Nov-1996.
  45. Druzdzel M and Van Der Gaag L Elicitation of probabilities for belief networks Proceedings of the Eleventh conference on Uncertainty in artificial intelligence, (141-148)
  46. Trabado P, Lloris-Ruiz A and Ortega-Lopera J (1993). Solution of Switching Equations Based on a Tabular Algebra, IEEE Transactions on Computers, 42:5, (591-596), Online publication date: 1-May-1993.
  47. ACM
    Helm R, Marriott K and Odersky M Constraint-based query optimization for spatial databases Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (181-191)
  48. ACM
    Colmerauer A (1990). An introduction to Prolog III, Communications of the ACM, 33:7, (69-90), Online publication date: 1-Jul-1990.
  49. ACM
    McInturff J (1987). The role of APL in a technical language as illustrated by a modest battle management program, ACM SIGAPL APL Quote Quad, 17:4, (37-49), Online publication date: 1-May-1987.
  50. ACM
    McInturff J The role of APL in a technical language as illustrated by a modest battle management program Proceedings of the international conference on APL: APL in transition, (37-49)
  51. ACM
    Hammen J (1980). The linguistic reason why the computer will never think, ACM SIGLASH Newsletter, 13:4, (8-16), Online publication date: 1-Dec-1980.
  52. ACM
    Iverson K (1980). Notation as a tool of thought, Communications of the ACM, 23:8, (444-465), Online publication date: 1-Aug-1980.
  53. Lee S (1976). Vector Boolean Algebra and Calculus, IEEE Transactions on Computers, 25:9, (865-874), Online publication date: 1-Sep-1976.
  54. Rudeanu S (1976). Square Roots and Functional Decompositions of Boolean Functions, IEEE Transactions on Computers, 25:5, (528-532), Online publication date: 1-May-1976.
  55. ACM
    Lewis D Hazard detection by a quinary simulation of logic devices with bounded propagation delays Proceedings of the 9th Design Automation Workshop, (157-164)
Contributors

Index Terms

  1. An Investigation of the Laws of Thought

      Recommendations