3653 search results - page 230 / 731 » Learning of Partial Languages |
122
click to vote
RR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed searc...
136
click to vote
PADL
2000
Springer
15 years 8 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
100
click to vote
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
This paper proposes a method for dealing with repairs in action control dialogue to resolve participants' misunderstanding. The proposed method identifies the repair target b...
136
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
100
click to vote
JLP
2008
15 years 4 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...