Search
for Topics
All Reviews
Browse All Reviews
>
Computing Methodologies (I)
>
Artificial Intelligence (I.2)
>
Knowledge Representation Formalisms And Methods (I.2.4)
> Modal Logic (I.2.4...)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
1-4 of 4 Reviews about "
Modal Logic (I.2.4...)
":
Date Reviewed
Modularisation of sequent calculi for normal and non-normal modalities
Lellmann B., Pimentel E. ACM Transactions on Computational Logic 20(2): 1-46, 2019. Type: Article
Mathematician and logician Gerhard Gentzen introduced sequent calculus, a logical framework, in the first half of the 20th century. It can be used to establish systems for propositional, first-order, and modal logics. For the latter, i...
Oct 10 2019
The model evolution calculus as a first-order DPLL method
Baumgartner P., Tinelli C. Artificial Intelligence 172(4-5): 591-632, 2008. Type: Article
Model evolution (ME) calculus is a promising new calculus for automated first-order theorem proving; this paper introduces ME....
Jun 13 2008
Probabilistic belief logic and its probabilistic Aumann semantics
Cao Z., Shi C. Journal of Computer Science and Technology 18(5): 571-579, 2003. Type: Article
Despite the growing interest in using a combination of qualitative and quantitative methods, probabilistic epistemic logics have received little attention. This paper presents a follow-up to the work by Fagin and Halpern [1] on probabi...
Feb 25 2004
Combinations of modal logics
Bennett B., Dixon C., Fisher M., Hustadt U., Franconi E., Horrocks I., De Rijke M. Artificial Intelligence Review 17(1): 1-20, 2002. Type: Article
Modal logic has reached importance in various applications in computer science, such as knowledge representation, agent technology, and program verification. The authors address the problems that arise when different modal logics are ...
Feb 18 2003
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy