Oxford Index Browse

You are looking at 1-20 of 2,524 items for:

Science and 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 »  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 »  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 »  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 »  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 »  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 »  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 »  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 »  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 »  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 »  abstract

Abstaining in rule set bagging for imbalanced data

Krystyna Napierala and Jerzy Stefanowski.

in Logic Journal of the IGPL

June 2015; p ublished online March 2015 .

Journal Article. Subjects: Logic. 4677 words.

Class imbalanced data constitute difficulties for most classifiers. Standard ensembles fail to sufficiently recognize the minority class. The role of classification strategies in rule set...

An abstract view on syntax with sharing

Richard Garner.

in Journal of Logic and Computation

December 2012; p ublished online September 2011 .

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

The notion of term graph encodes a refinement of inductively generated syntax in which regard is paid to the the sharing and discard of subterms. Inductively generated syntax has an...

Go to »  abstract

Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records

Jonathan Ginzburg.

in Journal of Logic and Computation

April 2005; p ublished online April 2005 .

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

The paper develops a semantics for natural language interrogatives which identifies questions—the denotations of interrogatives—with propositional abstracts. The paper argues that a theory...

Go to »  abstract

Achieving completeness in the verification of action theories by Bounded Model Checking in ASP

Laura Giordano, Alberto Martelli and Daniele Theseider Dupré.

in Journal of Logic and Computation

December 2015; p ublished online December 2013 .

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

Temporal logics are well suited for reasoning about actions, as they allow for the specification of domain descriptions including temporal constraints as well as for the verification of...

Ackermann's Implication for Typefree Logic

Klaus Robering.

in Journal of Logic and Computation

February 2001; p ublished online February 2001 .

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

We study the positive fragment of a system of partial logic which has been developed by Ackermann in the course of his typefree foundation of mathematics. One of the prominent features of...

Go to »  abstract

Acknowledgements

in Journal of Logic and Computation

December 2000; p ublished online December 2000 .

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

Go to »  abstract

Acknowledgements

in Journal of Logic and Computation

December 1997; p ublished online December 1997 .

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

Go to »  abstract

Acknowledgements

in Journal of Logic and Computation

December 1998; p ublished online December 1998 .

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

Go to »  abstract

Acknowledgements

in Journal of Logic and Computation

December 1999; p ublished online December 1999 .

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

Go to »  abstract

Acknowledgements

in Journal of Logic and Computation

December 2005; p ublished online December 2005 .

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

Go to »  abstract