5482 search results - page 304 / 1097 » Logic Programming and Databases |
216
click to vote
JAR
2006
15 years 6 months ago
2006
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the...
201
click to vote
ACL
2007
15 years 8 months ago
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...
215
click to vote
DALT
2005
Springer
16 years 5 days ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
301
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
198
click to vote
ASP
2005
Springer
16 years 6 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...