8228 search results - page 354 / 1646 » Structural Logical Relations |
199
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
164
click to vote
PRIMA
2007
Springer
16 years 27 days ago
2007
Springer
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...
165
click to vote
SAINT
2005
IEEE
16 years 10 days ago
2005
IEEE
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...
266
click to vote
GD
2004
Springer
16 years 4 days ago
2004
Springer
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...
163
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
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...