3624 search results - page 513 / 725 » Abstract Algebraic Logic |
193
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
185
click to vote
WSPI
2004
15 years 8 months ago
2004
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
171
click to vote
DLOG
1998
15 years 8 months ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
172
click to vote
ECIS
2000
15 years 8 months ago
2000
Abstract eCommerce of the Business-to-Business (B2B) type requires comprehensivecontractnegotiationsdependingentirelyonacontract schema, which must be developed in advance. Contrac...
157
click to vote
WEBNET
1996
15 years 8 months ago
1996
Abstract: Alter Egos represent people in Cyberspace. An Alter Ego is a kind of intelligent agent who is active in performing actions in behalf of the person it represents. How thes...