Sciweavers

118 search results - page 5 / 24
» Action Hierarchies in Description Logics
Sort
View
ROBOCUP
2001
Springer
149views Robotics» more  ROBOCUP 2001»
13 years 12 months ago
Essex Rovers 2001 Team Description
This article introduces our research efforts to build the Essex Rovers’01 robot soccer team participated in the RoboCup-2001 competition. A modular design for implementing a beh...
Huosheng Hu, Dongbing Gu, Dragos Golubovic, Bo Li,...
CVPR
2012
IEEE
11 years 10 months ago
A grammar for hierarchical object descriptions in logic programs
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
Toufiq Parag, Claus Bahlmann, Vinay D. Shet, Manee...
CORR
2011
Springer
190views Education» more  CORR 2011»
12 years 11 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin
JAIR
2007
146views more  JAIR 2007»
13 years 7 months ago
Reasoning with Very Expressive Fuzzy Description Logics
It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, V...
IGPL
2007
125views more  IGPL 2007»
13 years 7 months ago
Morph Moulder: Teaching Software for HPSG and Description Logics
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
Ekaterina Ovchinnikova, Frank Richter