Giunchiglia, E. and Traverso, P. (1995). A multicontext architecture for formalizing complex reasoning. International Journal of Intelligent Systems, 10:501-539. Also, IRST Tech. Report #9307-26. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Partition-Based Logical Reasoning for First-Order and.. - Amir, McIlraith (2000) (2 citations) (Correct)
....as interacting sets of theories. Unfortunately, to introduce explicit contexts, a language that is more expressive than FOL is needed. Consequently, a number of researchers have focused on context for propositional logic, while much of the reasoning work has focused on proof checking (e.g. GETFOL [48,49]) There have been few reported successes with automated reasoning; 13] presents one 34 example. 7 Conclusions In this paper we have shown that decomposing theories into partitions and reasoning over those partitions has potential computational advantages for theorem provers and SAT solvers. ....
Enrico Giunchiglia and Paolo Traverso. A multi-context architecture for formalizing complex reasoning. International Journal of Intelligent Systems, 10:501--539, 1995. Also, IRST Tech. Report #9307-26.
Formal Methods in Knowledge Engineering - van Harmelen, Fensel (1995) (2 citations) (Correct)
....specifically designed for use in Knowledge Engineering. Another (although much smaller) body of work has concentrated on using existing languages from Software Engineering to problems in Knowledge Engineering. Examples of this approach are: ML) 2 MC AIDE KARL DESIRE OBJ3 MILORD KBSSF [76] [32] [47] 4, 25] 77] 59] 66] 41] 1 FOL FOL restricted Horn 3 valued FOL order multi sorted meta logic meta logic FOL logic, meta logic sorted valued logic dyn. logic dyn. logic temp. logic algebra logic algebra proc. lang. 2 yes yes only at yes component only at locally only at domain wise. ....
E. Giunchiglia and P. Traverso. A multi-context architecture for formalizing complex reasoning. International Journal of Intelligent Systems, 10(5):501--539, May 1995.
Approximate Reasoning for Contextual Databases - Massacci (1996) (Correct)
....[7, 29] and [8] discuss the modelling of reasoning as non interacting contexts. The explicit representation of the context, where a property of a common sense knowledge base holds, or an English sentence is uttered, etc. makes it possible to manage huge knowledge bases by localising deduction [13, 14, 16, 15, 18], and can be a possible solution to the problem of generality in AI [3, 5, 24] This research has also been underpinned by a practical goal [12] One of our main interest is, in fact, to provide foundation to the implementation of intelligent reasoning systems. Thanks to prof. L. Carlucci ....
....at IRST, the participants at the AAAI Fall symposium and the anonymousICTAI referees for useful comments who helped to improve this work. y On leave from Dip. Informatica e Sistemistica, Univ. di Roma La Sapienza . Thus Multi Language hierarchical logics (ML for short) from Giunchiglia et al. [13, 12, 14] may be seen as the foundation of FOL and GETFOL systems by [29, 11, 14] whereas the logic of context of Guha [15] and Buvac et al. 5, 4] could play the same role for Cyc 1 micro theories [16, 15] Yet, the widespread use of contextual reasoning for huge knowledge bases has been hindered by ....
[Article contains additional citation context not shown here]
F. Giunchiglia and P. Traverso. A multi-context architecture for formalizing complex reasoning. Int. J. of Intelligent Systems, 10:501--539, 1995.
Strategies for Focusing Structure-Based Theorem Proving - Amir, McIlraith (2001) (Correct)
No context found.
Giunchiglia, E. and Traverso, P. (1995). A multicontext architecture for formalizing complex reasoning. International Journal of Intelligent Systems, 10:501-539. Also, IRST Tech. Report #9307-26.
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