3468 search results - page 137 / 694 » An open logical framework |
101
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes the THOMAS framework, a useful framework for the development of virtual organizations, on the basis of a service-based approach. Categories and Subject Descri...
101
click to vote
SYNASC
2005
IEEE
15 years 6 months ago
2005
IEEE
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper presents a versatile hardware/software cosimulation and co-design environment for embedded 3D graphics accelerators. The GRAphics AcceLerator design exploration framewo...
LOGCOM
2002
15 years 14 days ago
2002
The paper deals with logically definable families of sets (or point-sets) of rational numbers. In particular we are interested whether the families definable over the real line wi...
81
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.