86 search results - page 3 / 18 » A Classical Realizability Model for a Semantical Value Restr... |
AAAI
2008
14 years 12 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
WEBI
2009
Springer
15 years 4 months ago
2009
Springer
—This paper presents an approach using social semantics for the task of topic labelling by means of Open Topic Models. Our approach utilizes a social ontology to create an alignm...
LPNMR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
ER
2008
Springer
14 years 11 months ago
2008
Springer
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
APAL
2002
14 years 9 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...