1638 search results - page 18 / 328 » A General Semantics for Evaluation Logic |
COMMA
2006
13 years 8 months ago
2006
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
AI
2007
Springer
13 years 7 months ago
2007
Springer
The increasing variety of semantics proposed in the context of Dung’s theory of argumentation makes more and more inadequate the example-based approach commonly adopted for eval...
ICDT
2003
ACM
14 years 18 days ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
WEBI
2009
Springer
14 years 2 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...
LOGCOM
2002
13 years 7 months ago
2002
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...