503 search results - page 59 / 101 » Combining Description Logics, Description Graphs, and Rules |
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
ILP
2003
Springer
14 years 29 days ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
PDPTA
2004
13 years 9 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
KR
2000
Springer
13 years 11 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
SGP
2003
13 years 9 months ago
2003
In this paper we develop a new description for subdivision surfaces based on a graph grammar formalism. Subdivision schemes are specified by a context sensitive grammar in which ...