Sciweavers

875 search results - page 49 / 175
» Reasoning about Knowledge and Continuity
Sort
View
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
15 years 4 months ago
KNOWROB - knowledge processing for autonomous personal robots
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...
Moritz Tenorth, Michael Beetz
PADL
2010
Springer
15 years 6 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...
DLOG
2010
14 years 7 months ago
On the feasibility of Description Logic knowledge bases with rough concepts and vague instances
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
C. Maria Keet
CORR
2011
Springer
186views Education» more  CORR 2011»
14 years 4 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
Ana Sofia Gomes, José Júlio Alferes,...
ISMB
1998
14 years 11 months ago
BioSim: A New Qualitative Simulation Environment for Molecular Biology
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
Karsten R. Heidtke, Steffen Schulze-Kremer