Sciweavers

2225 search results - page 132 / 445
» Logical Structures in the Lexicon
Sort
View
CIE
2009
Springer
16 years 1 months ago
Complexity of Existential Positive First-Order Logic
Let Γ be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in Γ is in LOGSPACE...
Manuel Bodirsky, Miki Hermann, Florian Richoux
PRIMA
2007
Springer
16 years 17 days ago
Contextual Agent Deliberation in Defeasible Logic
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...
SAINT
2005
IEEE
16 years 21 hour ago
Learning Logic Wrappers for Information Extraction from the Web
This paper discusses a methodology for applying general-purpose first-order inductive learning to extract information from Web documents structured as unranked ordered trees. The...
Costin Badica, Elvira Popescu, Amelia Badica
GD
2004
Springer
15 years 12 months ago
The Three Dimensional Logic Engine
We consider the following graph embedding question: given a graph G, is it possible to map its vertices to points in 3D such that G is isomorphic to the mutual nearest neighbor gra...
Matthew Kitching, Sue Whitesides
ROBOCUP
2001
Springer
111views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
Evolving Fuzzy Logic Controllers for Sony Legged Robots
This paper presents an evolutionary approach to learning a fuzzy logic controller(FLC) employed for reactive behaviour control of Sony legged robots. The learning scheme is divided...
Dongbing Gu, Huosheng Hu