5482 search results - page 418 / 1097 » Logic Programming and Databases |
182
click to vote
ICAIL
2003
ACM
16 years 3 days ago
2003
ACM
Defeasible Logic is a promising representation for legal knowledge that appears to overcome many of the deficiencies of previous approaches to representing legal knowledge. Unfor...
189
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
165
click to vote
DLOG
2007
15 years 9 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
199
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...
166
click to vote
CIDR
2003
15 years 8 months ago
2003
This paper surveys distributed computing techniques used in the implementation of BEA WebLogic Server. It discusses how application servers provide a distributed transactional inf...