An optimal tableau-based decision algorithm for propositional neighborhood logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4393 LNCS, Issue , 2007, Pages 549-560

  Bresolin, Davide ^a   Montanari, Angelo ^a   Sala, Pietro ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC; INTEGER PROGRAMMING; MODAL ANALYSIS; OPTIMAL SYSTEMS;

PROPOSITIONAL NEIGHBORHOOD LOGIC; PROPOSITIONAL NEIGHBORHOOD LOGIC (PNL); TABLEAU BASED DECISION ALGORITHM;

DECISION THEORY;

EID: 35448986715     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70918-3_47     Document Type: Conference Paper

References (13)

1. D. Bresolin and A. Montanari. A tableau-based decision procedure for Right Propositional Neighborhood Logic. In Proc. of TABLEAUX 2005: 14th Conference on Automated Reasoning with Analytic Tableaux and Related Methods, volume 3702 of LNAI, pages 63-77, Koblenz, Germany, September 2005. Springer.
2. D. Bresolin, A. Montanari, and P. Sala. An optimal tableau-based decision algorithm for Propositional Neighborhood Logic. Technical report, Dipartimento di Matematica e Informatica, Università di Udine, Italy, 2006.
3. D. Bresolin, A. Montanari, and G. Sciavicco. An optimal decision procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning, 2006. DOI10.1007/s10817-006-9051-0.
4. Z. Chaochen and M. R. Hansen. An adequate first order interval logic. In W.P. de Roever, H. Langmaak, and A. Pnueli, editors, Compositionality: the Significant Difference, number 1536 in LNCS, pages 584-608. Springer, 1998.
5. V. Goranko, A. Montanari, and G. Sciavicco. Propositional interval neighborhood temporal logics. Journal of Universal Computer Science, 9(9):1137-1167, 2003.
6. V. Goranko, A. Montanari, and G. Sciavicco. A road map of interval temporal logics and duration calculi. Journal of Applied Non-Classical Logics, 14(1-2):9-54, 2004.
7. V. Goranko, A. Montanari, G. Sciavicco, and P. Sala. A general tableau method for propositional interval temporal logics: theory and implementation. Journal of Applied Logic, 4(3):305-330, 2006.
8. J. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the ACM, 38(4):935-962, 1991.
9. K. Lodaya. Sharpening the undecidability of interval temporal logic. In Proc. of 6th Asian Computing Science Conference, volume 1961 of LNCS, pages 290-298. Springer, 2000.
10. A. Montanari. Propositional interval temporal logics: some promising paths. In Proc. of the 12th International Symposium on Temporal Representation and Reasoning (TIME), pages 201-203. IEEE Computer Society Press, 2005.
11. A. Montanari, G. Sciavicco, and N. Vitacolonna. Decidability of interval temporal logics over split-frames via granularity. In Proc. of the 8th European Conf. on Logic in Artificial Intelligence, volume 2424 of LNAI, pages 259-270. Springer, 2002.
12. B. Moszkowski. Reasoning about digital circuits. Tech. rep. stan-cs-83-970, Dept. of Computer Science, Stanford University, Stanford, CA, 1983.
13. Y. Venema. A modal logic for chopping intervals. Journal of Logic and Computation, 1(4):453-476, 1991.