1438 search results - page 245 / 288 » An Expressive Extension of TLC |
100
click to vote
SIGDOC
1998
ACM
15 years 2 months ago
1998
ACM
It is hard to manage the software design documents within a distributed development team. The issues include the format, distribution and evolution of data. This paper mainly focu...
LPKR
1997
Springer
15 years 2 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
104
click to vote
LATA
2010
Springer
15 years 2 months ago
2010
Springer
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...
KR
1992
Springer
15 years 2 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
HT
1987
ACM
15 years 1 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...