10899 search results - page 143 / 2180 » The GP Programming System |
VL
2000
IEEE
14 years 2 months ago
2000
IEEE
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
CCS
2008
ACM
14 years 4 days ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
ICALT
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents the concepts of our MoRob (Modular Educational Robotic Toolbox) project, which aims to provide a robot platform for university teaching and research. Character...
LOPSTR
1995
Springer
14 years 1 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
WOA
2010
13 years 8 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....