5818 search results - page 824 / 1164 » A reasonable Semantic Web |
194
click to vote
LACL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
180
click to vote
LPNMR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
173
click to vote
RSFDGRC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
175
click to vote
FLOPS
2004
Springer
16 years 7 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
182
click to vote
LPNMR
2004
Springer
16 years 6 days ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...