20294 search results - page 418 / 4059 » Algorithmic Information Theory |
198
click to vote
ECSQARU
2009
Springer
16 years 2 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
180
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
208
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
143
click to vote
ECIS
2003
15 years 9 months ago
2003
Although different strands of “post-approaches” and “post-theories”, for example, grounded theory and structuration theory, have gained popularity in Information Systems (...
200
click to vote
JANCL
2002
15 years 7 months ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...