3047 search results - page 296 / 610 » On the Meaning of Logical Completeness |
210
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
206
click to vote
WWW
2006
ACM
16 years 1 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
216
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
220
click to vote
PADS
2004
ACM
16 years 1 months ago
2004
ACM
In this work we focus on a new technique for making cloning of parallel simulations more efficient. Cloning provides a means for running multiple similar simulations in parallel ...
173
click to vote
ADC
2004
Springer
16 years 29 days ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...