393 search results - page 43 / 79 » Integrating Logic Programming and Production Systems in Abdu... |
FPL
2007
Springer
14 years 2 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
CD
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
ARGMAS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...