3119 search results - page 196 / 624 » General Default Logic |
202
Voted
LACL
2011
Springer
14 years 3 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
214
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
190
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
98
Voted
JUCS
2008
15 years 19 days ago
2008
: Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classi...
133
click to vote
CORR
2004
Springer
15 years 16 days ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...