Cogprints

Browse by Subject

Number of items: 86.

Saba, Walid (2007) A Note on Ontology and Ordinary Language. (Unpublished)

Vigo, R. (2006) A Note on the Complexity of Boolean Concepts. [Journal (Paginated)]

Leon, Antonio (2006) Hilbert's machine and the Axiom of Infinity. [Preprint]

Franceschi, Paul (2005) A Third Route to the Doomsday Argument. [Preprint]

Laycock, Professor Henry (2005) Variables, Generality and Existence: considerations on the notion of a concept-script. [Journal (Paginated)]

Situngkir, Hokky (2004) How Far Can We Go Through Social System? [Departmental Technical Report] (In Press)

Hoche, Prof. em. Dr. Hans-Ulrich (2004) In Search of an Integrated Logic of Conviction and Intention. [Journal (Paginated)]

Franceschi, Paul (2003) An Analytic View of Delusion. [Preprint]

Vezerides, Kostis and Kehagias, Dr. Athanasios (2003) The Liar and Related Paradoxes:Fuzzy Truth Value Assignment for Collections of Self-Referential Sentences. [Preprint]

Franceschi, Paul (2003) An Analytic View of Delusion. [Preprint]

Kastner, Charles W. (2003) A hierarchy of languages, logics, and mathematical theories. [Preprint]

Franceschi, Paul (2003) On the Impossibility of Successful Ontological Arguments. [Preprint]

Franceschi, Paul (2002) On the Impossibility of Successful Ontological Arguments. [Preprint]

Franceschi, Paul (2002) An Analytic View of Delusion. [Preprint]

Nambiar, Kannan (2002) Generalized Continuum Hypothesis and the Axiom of Combinatorial Sets. [Preprint]

Nambiar, Kannan (2002) Two Open Problems and a Conjecture in Mathematical Logic. [Preprint]

Horsey, Richard (2001) Psychosemantic analyticity. [Journal (On-line/Unpaginated)]

Gershenson, Carlos (2001) Comments to Neutrosophy. [Conference Paper] (In Press)

Nambiar, Kannan (2001) Definition of Intuitive Set Theory. [Preprint]

Nambiar, Kannan (2001) The Essence of Intuitive Set Theory. [Preprint]

Nambiar, Kannan (2001) Foundations of Computer Science. [Preprint]

Horsey, Richard (2001) “If Josef kills Leon, is Leon dead?”. [Conference Paper] (Unpublished)

Nambiar, Kannan (2001) White Hole, Black Whole, and The Book. [Preprint]

Aerts, Diederik and D'Hondt, Ellie and Gabora, Liane (2000) Why the Disjunction in Quantum Logic is Not Classical. [Journal (Paginated)]

Stenning, Keith and Lemon, Oliver (1999) Aligning logical and psychological perspectives on diagrammatic reasoning. [Journal (Paginated)]

Post, John F. (1999) How to Refute Principles of Sufficient Reason. [Preprint] (Unpublished)

Gershenson, Carlos (1999) Modelling Emotions with Multidimensional Logic. [Conference Paper]

Smarandache, Florentin (1999) A Unifying Field in Logics: Neutrosophic Logic. [Book Chapter]

Akman, Varol (1998) Book Review--Jaap van der Does and Jan van Eijk, eds., Quantifiers, Logic, and Language. [Journal (Paginated)]

Akman, Varol (1998) Guest Editor's Introduction. [Journal (Paginated)]

Pagliani, Piero (1998) Intrinsic co-Heyting boundaries and information incompleteness in Rough Set Analysis. [Conference Paper]

Akman, Varol (1997) Book Review -- Jon Barwise and Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. [Journal (Paginated)]

Akman, Varol and Surav, Mehmet (1997) The Use of Situation Theory in Context Modeling. [Journal (Paginated)]

Muskens, Reinhard (1997) Program Semantics and Classical Logic. [Departmental Technical Report] (Unpublished)

Stenning, Keith and Oberlander, Jon (1997) A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cognitive Science. [Journal (Paginated)]

Say, Bilge and Akman, Varol (1997) Current Approaches to Punctuation in Computational Linguistics. [Journal (Paginated)]

McCarthy, John and Buvac, Sasa (1997) Formalizing Context (Expanded Notes). [Preprint]

Stenning, Keith and Yule, Peter (1997) Image and language in human reasoning: a syllogistic illustration. [Journal (Paginated)]

Colombetti, Marco (1997) A Modal Logic of Intentional Communication. [Preprint] (Unpublished)

Edmonds, Bruce (1997) A Simple-Minded Network Model with Context-like Objects. [Conference Paper] (Unpublished)

Tin, Erkan and Akman, Varol (1997) Situated Nonmonotonic Temporal Reasoning with BABY-SIT. [Journal (Paginated)]

Akman, Varol and Pakkan, Mujdat (1996) Nonstandard Set Theories and Information Management. [Journal (Paginated)]

Sloman, A. (1996) Actual Possibilities. [Conference Paper]

Sloman, Aaron (1996) Beyond Turing Equivalence. [Journal (Paginated)]

Muskens, Reinhard (1996) Combining Montague Semantics and Discourse Representation. [Journal (Paginated)]

Tin, Erkan and Akman, Varol (1996) Information-Oriented Computation with BABY-SIT. [Book Chapter]

McCarthy, John (1996) A Logical Approach to Context. [Preprint]

Dennett, Daniel C (1996) Seeing is Believing--or is it? [Book Chapter]

Akman, Varol and Surav, Mehmet (1996) Steps toward Formalizing Context. [Journal (Paginated)]

Akman, Varol (1995) Book Review -- Vladimir Lifschitz, ed., Formalizing Common Sense: Papers by John McCarthy. [Journal (Paginated)]

Pakkan, Mujdat and Akman, Varol (1995) HYPERSOLVER: A Graphical Tool for Commonsense Set Theory. [Journal (Paginated)]

Akman, Varol (1995) Book Review -- Hans Kamp and Uwe Reyle, From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. [Journal (Paginated)]

Akman, Varol (1995) Book Review -- Colin Allen and Michael Hand, Logic Primer. [Journal (Paginated)]

Ersan, Murat and Akman, Varol (1995) Situated Modeling of Epistemic Puzzles. [Journal (Paginated)]

Tin, Erkan and Akman, Varol and Ersan, Murat (1995) Towards Situation-Oriented Programming Languages. [Journal (Paginated)]

Stenning, Keith and Inder, Robert (1995) Applying semantic concepts to the media assigment problem in multi-media communication. [Book Chapter]

McCarthy, John (1995) Artificial Intelligence and Philosophy. [Preprint]

Tin, Erkan and Akman, Varol (1995) Book Review -- Anil Nerode and Richard A. Shore, Logic for Applications. [Journal (Paginated)]

Akman, Varol and Surav, Mehmet (1995) Contexts, Oracles, and Relevance. [Conference Paper]

MacLennan, Bruce J. (1995) Continuous Formal Systems: A Unifying Model in Language and Cognition. [Conference Paper]

Pakkan, Mujdat and Akman, Varol (1995) Issues in Commonsense Set Theory. [Journal (Paginated)]

Surav, Mehmet and Akman, Varol (1995) Modeling Context with Situations. [Conference Paper]

Sloman, Aaron (1995) Musings on the roles of logical and non-logical representations in intelligence. [Book Chapter]

Tin, Erkan and Akman, Varol (1995) Situations and Computation: An Overview of Recent Research. [Conference Paper]

Muskens, Reinhard (1995) Tense and the Logic of Change. [Book Chapter]

Tin, Erkan and Akman, Varol (1994) Computational Situation Theory. [Journal (Paginated)]

G., Nagarjuna (1994) The Role of Inversion in the Genesis, Development and the Structure of Scientific Knowledge. [Thesis]

Muskens, Reinhard (1994) Categorial Grammar and Discourse Representation Theory. [Conference Paper]

Jorion, Paul (1994) L'intelligence artificielle au confluent des neurosciences et de l'informatique. [Journal (Paginated)]

Sloman, A. (1994) Semantics in an intelligent control system. [Journal (Paginated)]

Dennett, Daniel (1992) Hitting the Nail on the Head. [Preprint]

Dennett, Daniel C (1992) The Self as a Center of Narrative Gravity. [Book Chapter]

Dennett, Daniel C and Marcel, Kinsbourne (1992) Time and the Observer. [Journal (Paginated)]

Snyder, Douglas M. (1991) An Alternative View of Schizophrenic Cognition. [Journal (Paginated)]

Muskens, Reinhard (1991) Hyperfine-Grained Meanings in Classical Logic. [Journal (Paginated)]

Fulda, Joseph S. (1991) Implications of a Logical Paradox for Computer-Dispensed Justice. [Journal (Paginated)]

Dennett, Daniel C (1990) The Interpretation of Texts, People and Other Artifacts. [Preprint]

Dennett, Daniel C (1990) Memes and the Exploitation of Imagination. [Journal (Paginated)]

Smith, B. (1989) Logic and the Sachverhalt. [Journal (Paginated)]

Smith, B. (1989) Logic and Formal Ontology. [Book Chapter]

Muskens, Reinhard (1989) A Relational Formulation of the Theory of Types. [Journal (Paginated)]

Kargopoulos, Philip V. and Demetriou, Andreas (1988) LOGICAL AND PSYCHOLOGICAL PARTITIONING OF MIND: DEPICTING THE SAME MAP? [Journal (Paginated)]

Dennett, Daniel C. (1988) Review of Fodor, Psychosemantics. [Journal (Paginated)]

Dennett, Daniel C and Haugeland, John (1987) Intentionality. [Book Chapter]

McCarthy, John (1979) First Order Theories of Individual Concepts and Propositions. [Preprint]

Lucas, J.R. (1961) Minds, Machines and Goedel. [Journal (Paginated)]

This list was generated on Thu May 8 23:50:00 2008 BST.