Oxford Index Browse

You are looking at 1-10 of 2,293 items for:

Mathematics x Logic x clear all

Refine by type

Refine by product

 

Abducing Abduction

Torgeir Knag Fylkesnes.

in Logic Journal of the IGPL

March 2006; p ublished online March 2006 .

Journal Article. Subjects: Logic. 0 words.

My argument in this article is this: we need a shift of methodological focus, from the analyses of the results of creative processes, the subjects of creative processes, and justifying our...

Go to Oxford Journals »  abstract

Abduction in Semantic Space: Towards a Logic of Discovery

Peter Bruza, Dawei Song and Robert McArthur.

in Logic Journal of the IGPL

March 2004; p ublished online March 2004 .

Journal Article. Subjects: Logic. 0 words.

Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This paper...

Go to Oxford Journals »  abstract

Abduction is not Deduction-in-Reverse

MARTA CIALDEA MAYER and FIORA PIRRI.

in Logic Journal of the IGPL

February 1996 .

Journal Article. Subjects: Logic. 0 words.

Abduction is a topic that attracts much interest in AI and automated reasoning research. Different approaches have been devised, that give a formalized account of explanatory reasoning,...

Go to Oxford Journals »  abstract

Abduction, unpredictability and Garden of Eden

Chiaki Sakama and Katsumi Inoue.

in Logic Journal of the IGPL

December 2013; p ublished online March 2013 .

Journal Article. Subjects: Logic. 0 words.

The notion of unpredictability has been a central theme in both natural and social sciences. In this article, we first provide a formal account of unpredictability based on abduction. An...

Go to Oxford Journals »  abstract

Abduction with Dialogical and Trialogical Means

Sami Paavola, Kai Hakkarainen and Matti Sintonen.

in Logic Journal of the IGPL

March 2006; p ublished online March 2006 .

Journal Article. Subjects: Logic. 0 words.

In this paper we maintain that abductive inferential processes should be embedded to a more general outlook on human cognition. Abduction has clear a.nities to the so-called interrogative...

Go to Oxford Journals »  abstract

Abductive Analysis of Modular Logic Programs

ROBERTO GIACOBAZZI.

in Journal of Logic and Computation

August 1998; p ublished online August 1998 .

Journal Article. Subjects: Computing; Logic. 0 words.

We introduce a practical method for abductive analysis of modular logic programs. This is obtained by reversing the deduction process, which is usually applied in static-dataflow analysis...

Go to Oxford Journals »  abstract

Abductive Equivalence in First-order Logic

Katsumi Inoue and Chiaki Sakama.

in Logic Journal of the IGPL

March 2006; p ublished online March 2006 .

Journal Article. Subjects: Logic. 0 words.

In Artificial Intelligence, abduction is often formalized in first-order logic. In this article, we focus on the problem of identifying equivalence of two abductive theories represented in...

Go to Oxford Journals »  abstract

Abductive Reasoning and Linguistic Meaning

Pasi Pohjola.

in Logic Journal of the IGPL

March 2006; p ublished online March 2006 .

Journal Article. Subjects: Logic. 0 words.

N. R. Hanson has argued that abductive reasoning relates strongly on the conceptual aspect of problem solving. In different kinds of intellectual enterprizes involving creation of new...

Go to Oxford Journals »  abstract

About Folding–Unfolding Cuts and Cuts Modulo

Gilles Dowek.

in Journal of Logic and Computation

June 2001; p ublished online June 2001 .

Journal Article. Subjects: Computing; Logic. 0 words.

We show in this note that cut elimination in deduction modulo subsumes cut elimination in deduction with the folding and unfolding rules.

Go to Oxford Journals »  abstract

Absolute Provability and Safe Knowledge of Axioms

Timothy Williamson.

in Gödel's Disjunction

August 2016; p ublished online November 2016 .

Chapter. Subjects: Logic. 5697 words.

Are there any in-principle (or absolutely) undecidable hypotheses? In order to make progress with this question, its terms must be first clarified. Against the background of a proposed...

Go to Oxford Scholarship Online »  abstract