Linh Anh Nguyen  Home/Search
Context
Related
| mimuw.edu.pl/~nguyen/mmlpa.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mimuw.edu.pl/~nguyen/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We give a general framework for developing the least model semantics, xpoint semantics, and SLD-resolution calculi for logic programs in multimodal logics whose frame restrictions consist of the conditions of seriality (i.e. 8x 9y R i (x; y)) and some classical rst-order Horn formulas. Our approach is direct and no restriction on occurrences of 2 i and 3 i is required. We apply the framework for a large class of basic serial multimodal logics, which are parameterized by an arbitrary... (Update)
Active bibliography (related documents): More All
2.6: Multimodal Logic Programming and Its Applications to Modal.. - Nguyen (2003) (Correct)
1.5: A Computational Method for Modal Deductive Databases - Nguyen (2003) (Correct)
0.9: An Overview of Temporal and Modal Logic Programming - Orgun, Ma (1994) (Correct)
Similar documents based on text: More All
0.5: The Modal Query Language MDatalog - Nguyen (2001) (Correct)
0.4: Analytic Tableau Systems for Propositional Bimodal Logics of.. - Nguyen (Correct)
0.4: Constructing the Least Models for Positive Modal Logic Programs - Nguyen (2000) (Correct)
BibTeX entry: (Update)
@misc{ nguyen-multimodal,
author = "Linh Anh Nguyen",
title = "Multimodal Logic Programming",
url = "citeseer.ist.psu.edu/article/nguyen03multimodal.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
343 Modal Logic: An Introduction (context) - Chellas - 1980
192 Logic Programming (context) - Apt - 1990
63 Cambridge University Press (context) - Blackburn, de Rijke et al. - 2002
59 A Resolution Calculus for Modal Logics - Ohlbach - 1988
36 An Overview of Temporal and Modal Logic Programming - Orgun, Ma
18 Kluwer Academic Publishers (context) - Fitting, Mendelsohn - 1999
18 The Resolution Calculus (context) - Leitsch - 1997
17 An Introduction to Executable Modal and Temporal Logics (context) - Fisher, Owens - 1995
14 Multimodal Logic Programming Using Equational and Order-Sort.. (context) - Debart, Enjalbert et al. - 1992
12 Quanti cation in Modal Logic (context) - Garson - 1999
12 A Framework for a Modal Logic Programming - Baldoni, Giordano et al. - 1996
10 Declarative Semantics for Modal Logic Programs (context) - Balbiani, Fari et al. - 1988
6 Constructing the Least Models for Positive Modal Logic Progr.. - Nguyen - 2000
6 TIM: The Toulouse Inference Machine for NonClassical Logic P.. (context) - Balbiani, Herzig et al. - 1991
5 How to Use Modalities and Sorts in Prolog (context) - Nonnengart - 1994
4 Epistemic Logic for Computer Science and Arti cial Intellige.. (context) - Meyer, van der Hoek - 1995
3 Implementing Prolog Extensions: A Parallel Inference Machine (context) - Balbiani, Herzig et al. - 1992
3 International Workshop LID (context) - Minker, Logic - 1996
3 A Meta-Logical Foundation of Modal Logic Programming (context) - Akama - 1989
3 A Fixpoint Semantics and an SLD-Resolution Calculus for Moda.. (context) - Nguyen - 2003
2 Multimodal Logic Programming and Its Applications to Modal D.. - Nguyen - 2003
Documents on the same site (http://www.mimuw.edu.pl/~nguyen/papers.html): More
Results on Modal Reasoning with Applications to Modal Deductive.. - Linh (2000) (Correct)
Results on Modal Reasoning with Applications to Modal Deductive.. - Linh (2000) (Correct)
Constructing the Least Models for Positive Modal Logic Programs - Nguyen (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC