12774 search results - page 273 / 2555 » A Framework for Proof Systems |
248
click to vote
FUNGAMES
2010
15 years 7 months ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...
157
click to vote
JCT
2007
15 years 6 months ago
2007
By studying the reciprocity property of linear Diophantine systems in light of Malcev-Neumann series, we present in this paper a new approach to and a generalization of Stanley’s...
190
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
194
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
224
click to vote
ESWS
2011
Springer
14 years 10 months ago
2011
Springer
The number of open datasets available on the web is increasing rapidly with the rise of the Linked Open Data (LOD) cloud and various governmental efforts for releasing public data ...