Sciweavers

184 search results - page 17 / 37
» Actions and Programs over Description Logic Ontologies
Sort
View
OWLED
2008
15 years 7 months ago
GO faster ChEBI with Reasonable Biochemistry
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created...
Duncan Hull
DEXAW
2007
IEEE
160views Database» more  DEXAW 2007»
16 years 8 days ago
RDF and Logic: Reasoning and Extension
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment...
Jos de Bruijn, Stijn Heymans
ECAI
2000
Springer
15 years 10 months ago
Turning High-Level Plans into Robot Programs in Uncertain Domains
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
Henrik Grosskreutz, Gerhard Lakemeyer
IJCAI
2001
15 years 7 months ago
Symbolic Dynamic Programming for First-Order MDPs
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
Craig Boutilier, Raymond Reiter, Bob Price
LPNMR
2005
Springer
15 years 11 months ago
Some Logical Properties of Nonmonotonic Causal Theories
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
Marek J. Sergot, Robert Craven