Sciweavers

1268 search results - page 38 / 254
» One Logic to Use Them All
Sort
View
IJCAI
1993
13 years 11 months ago
A New Logical framework for Deductive Planning
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Werner Stephan, Susanne Biundo
APCCAS
2002
IEEE
92views Hardware» more  APCCAS 2002»
14 years 2 months ago
A cellular-automaton-type image extraction algorithm and its implementation using an FPGA
This paper proposes a new region extraction algorithm based on cellular automaton operation, which only utilizes the region boundary information of the image. A simple pixel circu...
Teppei Nakano, Takashi Morie, Makoto Nagata, Atsus...
EAAI
2006
161views more  EAAI 2006»
13 years 10 months ago
Genetic learning and performance evaluation of interval type-2 fuzzy logic controllers
Type-2 fuzzy sets, which are characterized by membership functions (MFs) that are themselves fuzzy, have been attracting interest. This paper focuses on advancing the understandin...
Dongrui Wu, Woei Wan Tan
DBPL
2003
Springer
120views Database» more  DBPL 2003»
14 years 3 months ago
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
Iluju Kiringa, Raymond Reiter
ECAI
2010
Springer
13 years 11 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev