Sciweavers

746 search results - page 28 / 150

» Connectionist Propositional Logic

142

Voted

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 7 months ago

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

154

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

15 years 6 months ago

Undecidability of Propositional Separation Logic and Its Neighbours

Download www.doc.ic.ac.uk

James Brotherston, Max I. Kanovich

claim paper

Read More »

123

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

15 years 5 months ago

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Download www.cs.ioc.ee

Luis Pinto, Tarmo Uustalu

claim paper

Read More »

161

TOCL
2011

81views more TOCL 2011»

Logic of infons: The propositional case

15 years 2 months ago

Logic of infons: The propositional case

Download tocl.acm.org

Yuri Gurevich, Itay Neeman

claim paper

Read More »

193

Voted

MLCW
2005
Springer

132views Machine Learning» more MLCW 2005»

Recognizing Textual Entailment Via Atomic Propositions

16 years 1 months ago

Recognizing Textual Entailment Via Atomic Propositions

Download web.science.mq.edu.au

Abstract. This paper describes Macquarie University’s Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to...

Elena Akhmatova, Diego Mollá

claim paper

Read More »

« Prev « First page 28 / 150 Last » Next »