9145 search results - page 132 / 1829 » Description Logic Systems |
141
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
124
click to vote
ATAL
1995
Springer
15 years 4 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
137
click to vote
IFIP12
2004
15 years 2 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...
107
click to vote
LILOG
1989
15 years 4 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
