3408 search results - page 29 / 682 » Logic, language, information and computation |
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
LOPSTR
2007
Springer
14 years 2 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
STACS
1993
Springer
14 years 25 days ago
1993
Springer
ACL
1998
13 years 10 months ago
1998
The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the "glue language" approach to LFG semantics, and in the...
ISMIS
1994
Springer
14 years 25 days ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...