4401 search results - page 257 / 881 » Computing with Default Logic |
150
click to vote
ACL
2009
15 years 3 months ago
2009
The use of figurative language is ubiquitous in natural language texts and it is a serious bottleneck in automatic text understanding. We address the problem of interpretation of ...
169
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
162
click to vote
LPNMR
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
141
click to vote
PODS
2000
ACM
15 years 10 months ago
2000
ACM
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...
134
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...