2067 search results - page 31 / 414 » Logics of propositional control |
TOCL
2011
14 years 8 months ago
2011
MLCW
2005
Springer
15 years 7 months ago
2005
Springer
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...
124
click to vote
IJPRAI
2000
15 years 1 months ago
2000
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
120
Voted
JAIR
2011
14 years 8 months ago
2011
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions (e.g., pi) and iterated connectives ∨ or ∧ ranging over i...
120
click to vote
FOSSACS
2001
Springer
15 years 6 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...