3032 search results - page 135 / 607 » Description Logic Rules |
LOGCOM
2000
13 years 10 months ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
CL
2000
Springer
14 years 2 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
DIS
1999
Springer
14 years 2 months ago
1999
Springer
This paper shows preliminary results, on financial data, of an algorithm for discovering pairs of an exception rule and a common sense rule under a prespecified schedule. An exce...
SLOGICA
1998
13 years 10 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...