5378 search results - page 721 / 1076 » Base Logics in Argumentation |
183
click to vote
WEBNET
2001
15 years 8 months ago
2001
: This paper presents a method that automates hypermedia presentation generation on the Web. The method is based on RMM (Relationship Management Methodology) for aspects of hyperme...
205
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...
168
click to vote
IWFM
2003
15 years 8 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
193
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 ...
193
click to vote
COLING
2000
15 years 8 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...