Project abstract: Logic atlas and integrator (LATIN)

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

Volumn 6824 LNAI, Issue , 2011, Pages 289-291

  Codescu, Mihai ^a   Horozal, Fulya ^b   Kohlhase, Michael ^b   Mossakowski, Till ^a   Rabe, Florian ^b  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

^b JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED THEOREM PROVER; COMPUTER ALGEBRA SYSTEMS; CONSTRAINT SOLVERS; FORMAL SYSTEMS; MODEL CHECKER;

KNOWLEDGE MANAGEMENT; MATHEMATICAL TECHNIQUES; MODEL CHECKING;

INTEROPERABILITY;

EID: 79961181164     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22673-1_24     Document Type: Conference Paper

References (13)

1. Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F., Sojakova, K.: Towards Logical Frameworks in the Heterogeneous Tool Set Hets. In: Workshop on Abstract Development Techniques. LNCS. Springer, Heidelberg (to appear, 2011)
2. Gičeva, J., Lange, C., Rabe, F.: Integrating Web Services into Active Mathematical Documents. In: Carette, J., Dixon, L., Sacerdoti Coen, C., Watt, S. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS, vol. 5625, pp. 279-293. Springer, Heidelberg (2009)
3. Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39(1), 95-146 (1992)
4. Horozal, F., Rabe, F.: Representing Model Theory in a Type-Theoretical Logical Framework. Theoretical Computer Science (to appear, 2011), http://kwarc.info/frabe/Research/HR-folsound-10.pdf
5. Iancu, M., Rabe, F.: Formalizing Foundations of Mathematics. Mathematical Structures in Computer Science (to appear, 2011), http://kwarc.info/frabe/ Research/IR-foundations-10.pdf
6. Kohlhase, M., Rabe, F., Zholudev, V.: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P., Rideau, L., Rioboo, R., Sexton, A. (eds.) AISC 2010. LNCS, vol. 6167, pp. 370-384. Springer, Heidelberg (2010)
7. Mossakowski, T., Maeder, C., Lüttich, K.: The Heterogeneous Tool Set. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519-522. Springer, Heidelberg (2007)
8. Pfenning, F., Schürmann, C.: System description: Twelf - a meta-logical framework for deductive systems. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol. 1632, pp. 202-206. Springer, Heidelberg (1999)
9. Rabe, F.: A Logical Framework Combining Model and Proof Theory. Submitted to Mathematical Structures in Computer Science (2010), http://kwarc.info/frabe/ Research/rabe-combining-09.pdf
10. Rabe, F.: Representing Isabelle in LF. In: Crary, K., Miculan, M. (eds.) Logical Frameworks and Meta-Languages: Theory and Practice. EPTCS, vol. 34, pp. 85-100 (2010)
11. Rabe, F., Kohlhase, M.: A Scalable Module System. Under review (2011), http://arxiv.org/abs/1105.0548
12. Rabe, F., Schürmann, C.: A Practical Module System for LF. In: Cheney, J., Felty, A. (eds.) Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP), pp. 40-48. ACM Press, New York (2009)
13. Zholudev, V., Kohlhase, M.: TNTBase: a Versioned Storage for XML. In: Proceedings of Balisage: The Markup Conference 2009. Balisage Series on Markup Technologies, vol. 3. Mulberry Technologies, Inc., (2009)