Loading...
Please wait, while we are loading the content...
Similar Documents
IOS Press The Modal Query Language MDatalog
| Content Provider | CiteSeerX |
|---|---|
| Author | Nguyen, Linh Anh |
| Abstract | Abstract. We propose a modal query language called MDatalog. A rule of an MDatalog program is a universally quantified modal Horn clause. This language is interpreted in fixed-domain first-order modal logics over signatures without functions. We give algorithms to construct the least models for MDatalog programs. We show PTIME complexity of computing queries for a given MDatalog |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Modal Query Language Mdatalog Io Press Mdatalog Program Modal Horn Clause Modal Query Language Ptime Complexity Fixed-domain First-order Modal Logic |
| Content Type | Text |
| Resource Type | Article |