385 search results - page 43 / 77 » KNAML: A Knowledge Representation Language for Distributed R... |
126
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
105
Voted
AAAI
2007
15 years 5 months ago
2007
To be effective, an agent that collaborates with humans needs to be able to learn new tasks from humans they work with. This paper describes a system that learns executable task m...
193
click to vote
COMAD
2009
15 years 4 months ago
2009
An ontology is an explicit specification of shared conceptualization. The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies, a...
110
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
121
click to vote
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...