Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4

Martin Sticht

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6-1

Proof-Number Search and Transpositions

M. Schijf, L.V. Allis, J.W.H.M. Uiterwijk

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 2002-3-1

GRADUAL ABSTRACT PROOF SEARCH

Tristan Cazenave

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 2013-3-1

Parallel Dovetailing and its Application to Depth-First Proof-Number Search

Kunihito Hoki, Tomoyuki Kaneko, Akihiro Kishimoto [...]

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 2012-9-1

Game-Tree Search Using Proof Numbers: The First Twenty Years

Akihiro Kishimoto, Mark H.M. Winands, Martin Müller [...]

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 2019

Decidability of Several Concepts of Finiteness for Simple Types

José Espírito Santo, Ralph Matthes, Luís Pinto

Fundamenta Informaticae

Retricted access

Research article

First published 1995-09

Searching for Proof of Probation Officer Effectiveness

Probation Journal

Retricted access

Article commentary

First published 2023-7

Invited Commentary: Proof of Concept in Search of the Holy Grail

John J. Lamberti

World Journal for Pediatric and Congenital Heart Surgery

Retricted access

Research article

First published 2018-5-17

Hierarchical invention of theorem proving strategies

Jan Jakubův, Josef Urban

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2021-01-11

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM

Tiziano Dalmonte, Sara Negri, Nicola Olivetti [...]

Intelligenza Artificiale

Search results