3408 search results - page 17 / 682 » Logic, language, information and computation |
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
SIGIR
2004
ACM
14 years 2 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
AIIA
2007
Springer
14 years 2 months ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.