267 search results - page 24 / 54 » Open-ended Grounded Semantics |
IJCAI
2007
15 years 16 days ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
86
Voted
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider the problem of estimating the depth of each pixel in a scene from a single monocular image. Unlike traditional approaches [18, 19], which attempt to map from appearanc...
52
Voted
ECSQARU
2005
Springer
15 years 4 months ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
106
click to vote
ISMIS
2000
Springer
15 years 2 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
106
click to vote
ATAL
1995
Springer
15 years 2 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...