Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,539,840 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
ATLANTIS architecture
Three-layer architecture
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2009
Review
2009
Learning Semantic Web Rules : State of the Art and Directions of Research
F. Lisi
,
F. Esposito
2009
Corpus ID: 15905525
The acquisition of Semantic Web rules is very demanding and can be automated though partially by applying Machine Learning (ML…
Expand
2007
2007
MISSÃO PROFÉTICA: UMA EXPERIÊNCIA DE LIBERTAÇÃO EESPERANÇA NO EXÍLIO DA BABILÔNIA A PARTIR DO SEGUNDOCANTO DO SERVO DE YHWH (Is 49,1-6)
R. F. Neves
2007
Corpus ID: 193558351
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…
Expand
2005
2005
On deciding subsumption problems
Uwe Egly
,
R. Pichler
,
S. Woltran
Annals of Mathematics and Artificial Intelligence
2005
Corpus ID: 457693
AbstractSubsumption is an important redundancy elimination method in automated deduction. A clause D is subsumed by a set…
Expand
2005
2005
An ILP Perspective on the Semantic Web
F. Lisi
,
F. Esposito
Semantic Web Applications and Perspectives
2005
Corpus ID: 6846966
Building rules on top of ontologies is the goal of the logical layer of the Semantic Web. The system AL-log, originally conceived…
Expand
2005
2005
On Learning in AL-log
F. Lisi
,
F. Esposito
2005
Corpus ID: 15088135
In this paper we provide a general framework for learning in AL-log, a hybrid language that integrates the description logic ALC…
Expand
1998
1998
On the Complexity of H-Subsumption
R. Pichler
Annual Conference for Computer Science Logic
1998
Corpus ID: 35411228
The importance of subsumption as a redundancy elimination method in automated theorem proving is generally acknowledged. For a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE