5818 search results - page 839 / 1164 » A reasonable Semantic Web |
192
click to vote
DEON
2010
Springer
15 years 8 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
203
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
201
click to vote
UAI
2001
15 years 8 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
165
click to vote
AIPS
1996
15 years 8 months ago
1996
Effective task-level control is critical for robots that are to engage in purposeful activity in realworld environments. This paper describes PRSLite, a task-level controller grou...
201
click to vote
DEXA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...