3319 search results - page 294 / 664 » Subshifts, Languages and Logic |
166
click to vote
MLCW
2005
Springer
16 years 7 days 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...
175
Voted
PPDP
2004
Springer
16 years 2 days ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
217
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
178
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
174
click to vote
AGP
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...