Oxford Index Search Results

You are looking at 1-20 of 22 items for:

community x Logic x clear all

Refine by type

Refine by product

 

community

Overview page. Subjects: Social Sciences — Arts and Humanities.

Many sociological and anthropological definitions exist, but most tend to privilege some combination of small-scale, relative boundedness, strong affective ties, traditionalism, and...

See overview in Oxford Index

Clustering extension of MOVICAB-IDS to identify SNMP community searches

Raúl Sánchez, Álvaro Herrero and Emilio Corchado.

in Logic Journal of the IGPL

February 2015; p ublished online December 2014 .

Journal Article. Subjects: Logic. 0 words.

There are many security systems to protect information resources, but we are still not free from possible successful attacks. This study aims at being one step towards the proposal of an...

An equational approach to the merging of argumentation networks

Dov. M. Gabbay and Odinaldo Rodrigues.

in Journal of Logic and Computation

December 2014; p ublished online November 2013 .

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

This article concerns the merging of argumentation systems. We propose an equational approach to this problem by considering an augmented network containing the arguments and attacks of all...

Go to »  abstract

Science: the rules of the game

Jesús Zamora-Bonilla.

in Logic Journal of the IGPL

April 2010; p ublished online December 2009 .

Journal Article. Subjects: Logic. 0 words.

Popper’s suggestion of taking methodological norms as conventions is examined from the point of view of game theory. The game of research is interpreted as a game of persuasion, in the...

Go to »  abstract

Gödel's Disjunction

Edited by Leon Horsten and Philip Welch.

August 2016; p ublished online November 2016 .

Book. Subjects: Logic. 288 pages.

The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is equivalent to a Turing machine (i.e.,...

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

Towards Operational Abduction from a Cognitive Perspective

Peter Bruza, Richard Cole, Dawei Song and Zeeniya Bari.

in Logic Journal of the IGPL

March 2006; p ublished online March 2006 .

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 article...

Go to »  abstract

Mathematics without Apologies

Michael Harris.

May 2017; p ublished online May 2018 .

Book. Subjects: Logic. 464 pages.

What do pure mathematicians do, and why do they do it? Looking beyond the conventional answers, this book offers an eclectic panorama of the lives and values and hopes and fears of...

Go to Princeton University Press »  abstract

Collective agency, direct action and dynamic operators

José Carmo.

in Logic Journal of the IGPL

February 2010; p ublished online December 2009 .

Journal Article. Subjects: Logic. 0 words.

We review the stit semantic framework and the main stit operators that have been proposed by Belnap, Perloff and Horty (among others), a theory that has recently attracted the attention of...

Go to »  abstract

The taming (timing) of the states

A Montanari, A Peron and A Policriti.

in Logic Journal of the IGPL

September 2000; p ublished online September 2000 .

Journal Article. Subjects: Logic. 0 words.

Logic and computer science communities have traditionally followed a different approach to the problem of representing and reasoning about time and states. Research in logic resulted in a...

Go to »  abstract

Advice on Abductive Logic

Dov Gabbay and John Woods.

in Logic Journal of the IGPL

March 2006; p ublished online March 2006 .

Journal Article. Subjects: Logic. 0 words.

One of our purposes here is to expose something of the elementary logical structure of abductive reasoning, and to do so in a way that helps orient theorists to the various tasks that a...

Go to »  abstract

Towards a Logic of Rational Agency

Wiebe van der Hoek and Michael Wooldridge.

in Logic Journal of the IGPL

March 2003; p ublished online March 2003 .

Journal Article. Subjects: Logic. 0 words.

Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial...

Go to »  abstract

An integrated development environment for probabilistic relational reasoning

Marc Finthammer and Matthias Thimm.

in Logic Journal of the IGPL

October 2012; p ublished online February 2012 .

Journal Article. Subjects: Logic. 0 words.

This article presents KReator, a versatile integrated development environment for probabilistic inductive logic programming currently under development. The area of probabilistic inductive...

Go to »  abstract

A Local Search Approach to Modelling and Solving Interval Algebra Problems

J. Thornton, M. Beaumont, A. Sattar and Michael Maher.

in Journal of Logic and Computation

February 2004; p ublished online February 2004 .

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

Local search techniques have attracted considerable interest in the artificial intelligence community since the development of GSAT and the min-conflicts heuristic for solving propositional...

Go to »  abstract

Relations between Propositional Normal Modal Logics: an Overview

RAJEEV GORÉ, WOLFGANG HEINLE and ALAIN HEUERDING.

in Journal of Logic and Computation

October 1997; p ublished online October 1997 .

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

The modal logic literature is notorious for multiple axiomatizations of the same logic and for conflicting overloading of axiom names. Many of the interesting interderivability results are...

Go to »  abstract

Deterministic Graphical Games Revisited

Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen and Troels Bjerre Sørensen.

in Journal of Logic and Computation

April 2012; p ublished online February 2010 .

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

Starting from Zermelo’s classical formal treatment of chess, we trace through history the analysis of two-player win/lose/draw games with perfect information and potentially infinite play....

Go to »  abstract

Sum and Product in Dynamic Epistemic Logic

H. P. van Ditmarsch, J. Ruan and R. Verbrugge.

in Journal of Logic and Computation

August 2008; p ublished online December 2007 .

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

The Sum-and-Product riddle was first published in the reference H. Freudenthal (1969, Nieuw Archief voor Wiskunde 3, 152) [6]. We provide an overview on the history of the dissemination of...

Go to »  abstract

Testing the Reasoning for Question Answering Validation

Anselmo Peñas, Álvaro Rodrigo, Valentín Sama and Felisa Verdejo.

in Journal of Logic and Computation

June 2008; p ublished online December 2007 .

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

Question answering (QA) is a task that deserves more collaboration between natural language processing (NLP) and knowledge representation (KR) communities, not only to introduce reasoning...

Go to »  abstract

Change Is Hard, but Possible

Ben Shneiderman.

in The New ABCs of Research

February 2016; p ublished online March 2016 .

Chapter. Subjects: Applied Mathematics; Logic. 1833 words.

The first step in making substantial change is to understand the status quo and then to offer a clear path forward to an attainable destination. In most established communities, devotion to...

Go to »  abstract

Games User Research

Edited by Anders Drachen, Pejman Mirza-Babaei and Lennart Nacke.

January 2018; p ublished online March 2018 .

Book. Subjects: Logic; Optimisation. 560 pages.

Today, Games User Research forms an integral component of the development of any kind of interactive entertainment. User research stands as the primary source of business intelligence in...

Go to »  abstract

Introduction to Games User Research

Anders Drachen, Pejman Mirza-Babaei and Lennart E. Nacke.

in Games User Research

January 2018; p ublished online March 2018 .

Chapter. Subjects: Logic; Optimisation. 4160 words.

This chapter provides an introduction to the field of Games User Research (GUR) and to the present book. GUR is an interdisciplinary field of practice and research concerned with ensuring...

Go to »  abstract