GETFOL Interactive Theorem Prover. GETFOL is an interactive reasoning system running on top of a complete reimplementation of the FOL system (FOL was itself developed by Richard W. Weyhrauch). GETFOL can be used in many ways, for instance as a programming language for building intelligent systems, as an interactive theorem prover for first order logic or as an environment for the study of the mathematical theory of computation.
Keywords for this software
References in zbMATH (referenced in 10 articles , 1 standard article )
Showing results 1 to 10 of 10.
- Amir, Eyal; McIlraith, Sheila: Partition-based logical reasoning for first-order and propositional theories (2005)
- Amir, Eyal; Maynard-Zhang, Pedrito: Logic-based subsumption architecture (2004)
- Cimatti, Alessandro; Serafini, Luciano: Mechanizing multi-agent reasoning with belief contexts (1996)
- Giunchiglia, Fausto; Traverso, Paolo: Program tactics and logic tactics (1996)
- Giunchiglia, Fausto; Villafiorita, Adolfo: ABSFOL: a proof checker with abstraction (1996)
- Giunchiglia, Enrico; Armando, Alessandro; Pecchiari, Paolo: Structured proof procedures (1995)
- Giunchiglia, Fausto; Serafini, Luciano: Multilanguage hierarchical logics, or: How we can do without modal logics (1994)
- Armando, Alessandro; Giunchiglia, Enrico: Embedding complex decision procedures inside an interactive theorem prover. (1993)
- Giunchiglia, Fausto; Walsh, Toby: A theory of abstraction (1992)
- Giunchiglia, Fausto; Traverso, Paolo: Reflective reasoning with and between a declarative metatheory and the implementation code (1991)