Sciweavers

1588 search results - page 98 / 318
» On the Logic of Constitutive Rules
Sort
View
INTEROP
1999
Springer
126views GIS» more  INTEROP 1999»
15 years 10 months ago
Identifying Semantically Similar Elements in Heterogeneous Spatial Databases Using Predicate Logic Expressions
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
Kristin Stock, David Pullar
ASP
2003
Springer
15 years 11 months ago
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
Robert E. Mercer, Vincent Risch
ARC
2007
Springer
118views Hardware» more  ARC 2007»
15 years 10 months ago
Simulation of the Dynamic Behavior of One-Dimensional Cellular Automata Using Reconfigurable Computing
This paper presents the implementation of an environment for the evolution of one-dimensional cellular automata using a reconfigurable logic device. This configware is aimed at eva...
Wagner Rodrigo Weinert, César Manuel Vargas...
INFORMATICALT
2002
130views more  INFORMATICALT 2002»
15 years 6 months ago
Adaptive Fuzzy Control of Nonlinear Plant with Changing Dynamics
This paper analyses the control of nonlinear plant with the changing dynamics. Adaptive controllers, based on fuzzy logics, are synthesized for the control of air pressure and wate...
Vytautas Kaminskas, Raimundas Liutkevicius
FOSSACS
1999
Springer
15 years 10 months ago
A Strong Logic Programming View for Static Embedded Implications
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
R. Arruabarrena, Paqui Lucio, Marisa Navarro