TeMP: A Temporal Monodic Prover
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Temporalising TableauxStudia Logica, 2004
- TRP++ 2.0: A Temporal Resolution ProverLecture Notes in Computer Science, 2003
- Axiomatizing the monodic fragment of first-order temporal logicAnnals of Pure and Applied Logic, 2002
- A Temporal Description Logic for Reasoning over Conceptual Schemas and QueriesLecture Notes in Computer Science, 2002
- Resolution Theorem ProvingPublished by Elsevier BV ,2001
- Clausal temporal resolutionACM Transactions on Computational Logic, 2001