3032 search results - page 413 / 607 » Description Logic Rules |
112
click to vote
TYPES
1998
Springer
15 years 5 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
108
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...
159
Voted
CICLING
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
102
Voted
CNL
2009
15 years 1 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
125
Voted
JIKM
2008
15 years 23 days ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...