Matteo Baldoni, Laura Giordano, Alberto Martelli  Home/Search
Context Related
| di.unito.it/~argo/pape...1998_JLC.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: di.unito.it/cgi...?author=Baldoni (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present a modal extension of logic programming, which allows both multiple universal modal operators and embedded implications. We show that this extension is well suited for structuring knowledge and, more specifically, for defining module constructs within programs, for representing agents beliefs, and also for hypothetical reasoning. The language contains modalities [a i ] to represent agent beliefs, and a modality 2 which is a kind of common knowledge operator. It allows... (Update)
Context of citations to this paper: More
.... include [Mil89, GM94, BMPT94, Hil97] among others, and vary using intuitionistic logic [Mil89] modal logic [GM94] and multimodal logic [BGM98] With the aim of obtaining a modular, concurrent, and declarative language, a proposal was made in [ACS96] to merge multiple tuple...
...two representative instances of modal logic programming languages. 4. 1 A Modal Language and Its Use for Module Definition In [BGM94, BGM98] a modal extension of Horn clause logic is defined which allows both multiple modalities and embedded implications. The syntax of the...
Cited by: More
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Disjunction and Modular Goal-directed Proof Search - Stone (Correct)
Temporal and Modal Logic Programming Languages - Gergatsoulis (Correct)
Similar documents (at the sentence level):
40.9%: A Modal Extension of Logic Programming: Modularity.. - Baldoni, Giordano.. (1995) (Correct)
Active bibliography (related documents): More All
1.1: Translating a Modal Language with Embedded Implication.. - Baldoni, Giordano.. (1995) (Correct)
1.0: A Modal Extension of Logic Programming - Baldoni, Giordano, Martelli (1994) (Correct)
0.9: An Overview of Temporal and Modal Logic Programming - Orgun, Ma (1994) (Correct)
Similar documents based on text: More All
0.6: A Framework for Modal Logic Programming - Baldoni, Giordano, Martelli (1996) (Correct)
0.5: Reasoning about Complex Actions with Incomplete.. - Baldoni, Giordano, .. (2000) (Correct)
0.5: A Tableau Calculus for Multimodal Logics and Some.. - Baldoni, Giordano.. (1998) (Correct)
Related documents from co-citation: More All
3: Structuring logic programs: A modal approach (context) - Giordano, Martelli - 1994
3: Miller D.: A Logical Analysis of Modules in Logic Programming, Journal of Logic Programming, 1989, pp. 79 19
2: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
M. Baldoni, L. Giordano, and A. Martelli. A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning. Journal of Logic and Computation, 8(5):597--635, 1998. http://citeseer.ist.psu.edu/article/baldoni98modal.html More
@article{ baldoni98modal,
author = "Matteo Baldoni and Laura Giordano and Alberto Martelli",
title = "A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning",
journal = "Journal of Logic and Computation",
volume = "8",
number = "5",
pages = "597-635",
year = "1998",
url = "citeseer.ist.psu.edu/article/baldoni98modal.html" }
Citations (may not include all citations):340 Uniform Proofs as Foundations for Logic Programming (context) - Miller, Nadathur et al. - 1991
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1991
242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
240 A Guide to Completeness and Complexity for Modal Logics of K.. (context) - Halpern, Moses - 1992
149 A Logical Analysis of Modules in Logic Programming (context) - Miller - 1989
107 A New Introduction to Modal Logic (context) - Hughes, Cresswell - 1996
94 ACM Transactions on Programming Languages and Systems (context) - Brogi, Mancarella et al. - 1994
86 Amalgamating Language and Metalanguage in Logic Programming (context) - Bowen, Kowalski - 1982
77 Temporal Logic Programming (context) - Abadi, Manna - 1989
60 Semantics-Based Translation Methods for Modal Logics (context) - Ohlbach - 1991
58 Contextual Logic Programming (context) - Monteiro, Porto - 1989
56 Modularity in Logic Programming - Bugliesi, Lamma et al. - 1994
55 Clausal Intuitionistic Logic (context) - McCarty - 1988
55 Clausal Intuitionistic Logic (context) - McCarty - 1988
53 Lexical Scoping as Universal Quantification - Miller - 1989
45 Quantification in Modal Logic (context) - Garson - 1984
42 Modal Theorem Proving: An equational viewpoint (context) - Auffray, Enjalbert - 1992
40 Modal and Temporal Logic Programming (context) - Gabbay - 1987
39 An Algebra of Logic Programs (context) - Mancarella, Pedreschi - 1988
36 A Theory of Modules for Logic Programming (context) - Miller - 1986
36 AddisonWesley Publishing Company (context) - Goldberg, Robson et al. - 1983
36 An overview of temporal and modal logic programming - Orgun, Ma - 1994
29 A Declarative View of Inheritance in Logic Programming (context) - Bugliesi - 1992
27 Temporal logic programming is complete and expressive (context) - Baudinet - 1989
22 Modal Resolution in Clausal Form (context) - Enjalbert, nas et al. - 1989
17 An Introduction to Executable Modal and Temporal Logics (context) - Fisher, Owens - 1993
17 Towards a unified theory of intensional logic programming (context) - Orgun, Wadge - 1992
16 A Multimodal Logic to define Modules in Logic Programming (context) - Baldoni, Giordano et al. - 1993
16 MOLOG: A System that extends Prolog with Modal Logic (context) - nas, Cerro - 1986
15 A Theory of Modules based on Second Order Logic (context) - Chen - 1987
14 Multimodal logic programming using equational and order-sort.. (context) - Debart, Enjalbert et al. - 1992
13 Structuring Logic Programs: a Modal Approach (context) - Giordano, Martelli - 1994
12 A Framework for Modal Logic Programming - Baldoni, Giordano et al. - 1996
12 NProlog: An Extension of Prolog with Hypothetical Implicatio.. (context) - Gabbay - 1985
12 NProlog: An Extension of Prolog with Hypothetical Implicatio.. (context) - Gabbay, Reyle - 1984
12 Meta for Modularising Logic Programming (context) - Brogi, Mancarella et al. - 1992
10 Declarative semantics for modal logic programs (context) - Balbiani, nas et al. - 1988
9 Towards an Algebra for Constructing Logic Programs (context) - O'Keefe - 1985
7 Modal Deduction with Applications in Epistemic and Temporal .. (context) - nas, Cerro et al. - 1995
7 International Series in Computer Science (context) - McCabe, Objects - 1992
6 TIM: The Toulouse inference machine for nonclassical logic p.. (context) - Balbiani, Herzig et al. - 1991
4 Extending Horn Clause Logic with Implication Goals (context) - Giordano, Martelli et al. - 1992
4 Inherritance and Hypothetical Reasoning in Logic Programming (context) - Brogi, Lamma et al. - 1990
3 Model Existence Theorems for Modal and Intuitionistic Logics (context) - Fitting - 1973
3 Elements of Algoritmic Proof (context) - Gabbay - 1992
3 How to use Modalities and Sorts in Prolog (context) - Nonnengard - 1994
3 Ions and Local Definitions in Logic Programming (context) - Abdallah - 1986
2 A Proposal of Modal Logic Programming (context) - Akama - 1986
2 Algorithmic Proof Theory for Non-Classical and Modal Logics (context) - Olivetti - 1995
2 Traslating a Modal Language with Embedded Implications into .. (context) - Baldoni, Giordano et al. - 1996
2 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - Cialdea, nas et al. - 1986
Documents on the same site (http://www.di.unito.it/cgi-bin/bibliography/bibsearch_argo?author=Baldoni): More
A Modal Extension of Logic Programming - Baldoni, Giordano, Martelli (1994) (Correct)
Translating a Modal Language with Embedded Implication.. - Baldoni, Giordano.. (1995) (Correct)
An Abductive Proof Procedure for Reasoning about.. - Baldoni, Giordano, .. (1997) (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