Switch to: References

Citations of:

Automated Reasoning. Introduction and Applications

Larry Wos, Ross Overbeek, Ewing Lusk & Jim Boyle

Journal of Symbolic Logic 51 (2):464-465 (1986)

Add citations

You must login to add citations.

Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.details In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in PROVER9 (a first-order automated reasoning system which is the successor to OTTER). After reviewing the second-order, axiomatic theory of abstract objects, we show (1) how to represent a fragment of that theory in PROVER9's first-order syntax, and (2) how (...) Download Export citation Bookmark 16 citations
The example of the Unicorn: A knowledge-based approach to scientific creativity and the growth of knowledge. [REVIEW]Kenneth R. Blochowiak - 1993 - AI and Society 7 (1):52-61.details In the course of researching the question ‘What does it mean for knowledge to grow?’, the author has developed a large and unique compendium of components, some of which are knowledge systems that serve as research and creativity support systems. The self-modifying, self-effecting creative process and the results of developing and working with these systems, using novel methods and drawing on eclectic sources, is discussed. Download Export citation Bookmark
Crazy Truth-Teller–Liar Puzzles.Laith Alzboon & Benedek Nagy - 2022 - Axiomathes 32 (4):639-657.details In this manuscript, we define and discuss a new type of logical puzzles. These puzzles are based on the simplest truth-teller and liar puzzles. Graphs are used to represent graphically the puzzles. these logical puzzles contain three types of people. Strong Truth-tellers who can say only true statements, Strong Liars who can make only false statements and Weak Crazy people who must make at least one self-contradicting statement if he/she says anything. Self-contradicting statements are related to the Liar paradox, such (...) Download Export citation Bookmark
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.details I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic. Download Export citation Bookmark 2 citations
Automated Puzzle Solving.László Aszalós - 2002 - Journal of Applied Non-Classical Logics 12 (1):99-116.details Smullyan wrote his famous book of puzzles before the boom in automated theorem proving and he solved the puzzles by hand. Hence it is interesting to investigate whether all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux. Download Export citation Bookmark
Artificial science – a simulation test-bed for studying the social processes of science.Bruce Edmonds - unknowndetails it is likely that there are many different social processes occurring in different parts of science and at different times, and that these processes will impact upon the nature, quality and quantity of the knowledge that is produced in a multitude of ways and to different extents. It seems clear to me that sometimes the social processes act to increase the reliability of knowledge (such as when there is a tradition of independently reproducing experiments) but sometimes does the opposite (when (...) Download Export citation Bookmark

1