Skip to search formSkip to main contentSkip to account menu

Servo, subsumption, and symbolic architecture

Known as: Servo, subsumption, and symbolic (SSS) architecture 
The Servo, subsumption, and symbolic (SSS) architecture is a hybrid reactive/deliberative robot architecture developed by Jonathan H. Connell the IBM… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2009
Review
2009
The acquisition of Semantic Web rules is very demanding and can be automated though partially by applying Machine Learning (ML… 
2007
2007
O objeto de estudo desta pesquisa e a pericope de Is 49,1-6, conhecida como o Segundo Canto do Servo de YHWH que esta inserida no… 
2005
2005
AbstractSubsumption is an important redundancy elimination method in automated deduction. A clause D is subsumed by a set… 
2005
2005
Building rules on top of ontologies is the goal of the logical layer of the Semantic Web. The system AL-log, originally conceived… 
2005
2005
In this paper we provide a general framework for learning in AL-log, a hybrid language that integrates the description logic ALC… 
1998
1998
The importance of subsumption as a redundancy elimination method in automated theorem proving is generally acknowledged. For a…