Sciweavers

746 search results - page 28 / 150
» Connectionist Propositional Logic
Sort
View
94
Voted
IANDC
2002
55views more  IANDC 2002»
15 years 3 months ago
The Complexity of Propositional Linear Temporal Logics in Simple Cases
Stéphane Demri, Ph. Schnoebelen
103
Voted
LICS
2010
IEEE
15 years 1 months ago
Undecidability of Propositional Separation Logic and Its Neighbours
James Brotherston, Max I. Kanovich
80
Voted
CORR
2010
Springer
61views Education» more  CORR 2010»
15 years 1 months ago
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic
Luis Pinto, Tarmo Uustalu
98
Voted
TOCL
2011
81views more  TOCL 2011»
14 years 10 months ago
Logic of infons: The propositional case
Yuri Gurevich, Itay Neeman
MLCW
2005
Springer
15 years 9 months ago
Recognizing Textual Entailment Via Atomic Propositions
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á