315 search results - page 16 / 63 » Using Logic in the Generation of Referring Expressions |
BMCBI
2007
14 years 9 months ago
2007
Background: Experimental studies of gene expression have identified some of the individual molecular components and elementary reactions that comprise and control cellular behavio...
PODS
2002
ACM
15 years 9 months ago
2002
ACM
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
DEXA
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. The object-oriented database management systems store references to objects (implicit joins, precomputed joins), and use path expressions in query languages. One way of e...
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
AAAI
2006
14 years 11 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...