2395 search results - page 314 / 479 » Reasoning in Semantic Wikis |
176
click to vote
ICLP
1994
Springer
15 years 8 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
114
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
115
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
124
Voted
GIS
2000
ACM
15 years 7 months ago
2000
ACM
With the increasing use of geographical data in real-world applications, Geographic Information Systems (GISs) have recently emerged as a fruitful area for research. Nowadays, a G...
151
click to vote
NIL
1991
15 years 7 months ago
1991
In this paper we consider supernormal defaults [Poo88] with a strict partial order defining their priorities [Bre91]. We investigate their relation to minimal or preferential ent...