2214 search results - page 196 / 443 » Complexity of Reasoning |
124
Voted
GIS
1999
ACM
15 years 8 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...
99
Voted
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
112
Voted
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
108
Voted
ILP
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
111
Voted
ILP
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes a new kind of language bias, S-structural indeterminate clauses, which takes into account the meaning of predicates that play a key role in the complexity of l...