hets-users  

Messages by Thread

• [Hets-users] Unable to install hets Ubuntu 22.04.1 Patrick Browne
  • Re: [Hets-users] Unable to install hets Ubuntu 22.04.1 Luis Enrique Ramos García
  • Re: [Hets-users] Unable to install hets Ubuntu 22.04.1 Till Mossakowski
• [Hets-users] cl:text in CLIF Pawel Garbacz
• [Hets-users] colimit_proofs_question Dimitra A. Bourou
• [Hets-users] concept graphs Koksa, Vit
• [Hets-users] number of peaches Koksa, Vit
  • Re: [Hets-users] number of peaches Till Mossakowski
  • Re: [Hets-users] number of peaches Koksa, Vit
  • Re: [Hets-users] number of peaches Till Mossakowski
  • Re: [Hets-users] number of peaches Koksa, Vit
  • Re: [Hets-users] number of peaches Till Mossakowski
  • Re: [Hets-users] number of peaches Koksa, Vit
  • Re: [Hets-users] number of peaches Till Mossakowski
  • Re: [Hets-users] number of peaches Koksa, Vit
  • Re: [Hets-users] number of peaches Till Mossakowski
  • Re: [Hets-users] number of peaches Koksa, Vit
• [Hets-users] Call for final comments on Hets input language DOL Till Mossakowski
• [Hets-users] is possible to translate Isabelle files to OWL file with hets tools? Mandy Martin
• [Hets-users] file does not exist: ../Hets-lib/Basic/Numbers.env Mandy Martin
  • [Hets-users] missing %number annotation Mandy Martin
  • [Hets-users] what is the goal and output of process in Scratch.hs Mandy Martin
  • [Hets-users] with maude2haskell.maude, how to transform maude to haskell file? Mandy Martin
  • [Hets-users] can not translate with Maude2CASL for this file Mandy Martin
  • Re: [Hets-users] can not translate with Maude2CASL for this file Adrian Riesco Rodriguez
  • Re: [Hets-users] can not translate with Maude2CASL for this file Mandy Martin
  • Re: [Hets-users] can not translate with Maude2CASL for this file Mandy Martin
  • Re: [Hets-users] can not translate with Maude2CASL for this file Mandy Martin
• [Hets-users] how to simulate this natural numbers system in hets tools Mandy Martin
  • [Hets-users] how to do ontology with hets tools Mandy Martin
• [Hets-users] hets kamsu Fabrice
• [Hets-users] proving with hets Fabian Neuhaus
  • Re: [Hets-users] proving with hets Christian Maeder
  • Re: [Hets-users] proving with hets Fabian Neuhaus
  • Re: [Hets-users] proving with hets Christian Maeder
  • Re: [Hets-users] proving with hets Fabian Neuhaus
• [Hets-users] extensions of imported ontologies don't work Fabian Neuhaus
  • Re: [Hets-users] extensions of imported ontologies don't work Christian Maeder
  • Re: [Hets-users] extensions of imported ontologies don't work Fabian Neuhaus
  • Re: [Hets-users] unexpected behavior with imported ontologies Fabian Neuhaus
  • Re: [Hets-users] unexpected behavior with imported ontologies Christian Maeder
  • Re: [Hets-users] unexpected behavior with imported ontologies Fabian Neuhaus
  • Re: [Hets-users] unexpected behavior with imported ontologies Christian Maeder
  • [Hets-users] symbol maps Fabian Neuhaus
  • Re: [Hets-users] symbol maps Mihai Codescu
  • Re: [Hets-users] symbol maps Fabian Neuhaus
  • Re: [Hets-users] symbol maps Till Mossakowski
  • Re: [Hets-users] symbol maps Mihai Codescu
  • Re: [Hets-users] symbol maps Fabian Neuhaus
  • Re: [Hets-users] symbol maps Till Mossakowski
  • Re: [Hets-users] symbol maps Till Mossakowski
  • Re: [Hets-users] symbol maps Fabian Neuhaus
  • Re: [Hets-users] symbol maps Till Mossakowski
  • [Hets-users] hets installation problems (urgent) Fabian Neuhaus
  • Re: [Hets-users] hets installation problems (urgent) rick
  • Re: [Hets-users] hets installation problems (urgent) Till Mossakowski
• Re: [Hets-users] Second idea i would like to migrate to Hets tools Till Mossakowski
  • Re: [Hets-users] Second idea i would like to migrate to Hets tools benny david
  • Re: [Hets-users] Second idea i would like to migrate to Hets tools benny david
• [Hets-users] code completion Koksa, Vit
  • Re: [Hets-users] code completion Christian Maeder
• [Hets-users] hets and Isabelle under Ubuntu Christian Maeder
  • Re: [Hets-users] [Hets-devel] hets and Isabelle under Ubuntu Christian Maeder
• [Hets-users] confirming basic spec results rick
  • Re: [Hets-users] confirming basic spec results Christian Maeder
  • Re: [Hets-users] confirming basic spec results Till Mossakowski
  • Re: [Hets-users] confirming basic spec results rick
  • Re: [Hets-users] confirming basic spec results Christian Maeder
  • Re: [Hets-users] confirming basic spec results rick
  • Re: [Hets-users] confirming basic spec results Christian Maeder
  • Re: [Hets-users] confirming basic spec results Rick
• [Hets-users] free predicate generates error in prover rick
  • Re: [Hets-users] free predicate generates error in prover Christian Maeder
  • Re: [Hets-users] free predicate generates error in prover rick
  • Re: [Hets-users] free predicate generates error in prover Christian Maeder
• [Hets-users] broken hets version v0.99, 1406655889 Christian Maeder
• [Hets-users] I'd like to add you to my professional network on LinkedIn Immanuel Normann
  • Re: [Hets-users] I'd like to add you to my professional network on LinkedIn Till Mossakowski
• [Hets-users] hets migration to GIT Christian Maeder
  • Re: [Hets-users] [Hets-devel] hets migration to GIT Christian Maeder
• [Hets-users] 2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning' Christoph LANGE
• [Hets-users] errors configuring HETS 2013-06-28 Paul Hatton
  • Re: [Hets-users] errors configuring HETS 2013-06-28 Christoph LANGE
  • Re: [Hets-users] errors configuring HETS 2013-06-28 Christoph LANGE
  • Re: [Hets-users] errors configuring HETS 2013-06-28 Christian Maeder
  • Re: [Hets-users] errors configuring HETS 2013-06-28 Christian Maeder
  • Re: [Hets-users] errors configuring HETS 2013-06-28 Paul Hatton
  • Re: [Hets-users] errors configuring HETS 2013-06-28 Paul Hatton
  • Re: [Hets-users] errors configuring HETS 2013-06-28 Christian Maeder
• [Hets-users] Tutorial 'Mechanised Reasoning in Economics' (Koblenz, Germany, 17 Sept.): early registration until 15 July Christoph LANGE
• [Hets-users] CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct) Christoph LANGE
• [Hets-users] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June Christoph LANGE
• Re: [Hets-users] Hets Translation error Till Mossakowski
  • Re: [Hets-users] Hets Translation error Alessandro Romero
  • Re: [Hets-users] Hets Translation error Till Mossakowski
• [Hets-users] hets-0.99 released Christian Maeder
  • Re: [Hets-users] [Hets-devel] hets-0.99 released Christoph LANGE
  • Re: [Hets-users] [Hets-devel] hets-0.99 released Christian Maeder
• [Hets-users] CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June Christoph LANGE
• [Hets-users] Newbie problem installing HETS Martin
  • Re: [Hets-users] Newbie problem installing HETS Christian Maeder
  • Re: [Hets-users] Newbie problem installing HETS Christian Maeder
  • Re: [Hets-users] Newbie problem installing HETS Martin
  • Re: [Hets-users] Newbie problem installing HETS Christian Maeder
• [Hets-users] Timeout problem Daniel Calegari García : : InCo
  • Re: [Hets-users] Timeout problem Till Mossakowski
  • Re: [Hets-users] Timeout problem Daniel Calegari García : : InCo
• Re: [Hets-users] Questions on Latin for new logics and translating to less expressive logics Till Mossakowski
  • Re: [Hets-users] Questions on Latin for new logics and translating to less expressive logics Joshua Cason
• [Hets-users] Questions on Latin for new logics and translating to less expressive logics Joshua Cason
• [Hets-users] Does/should/can Hets cache translations of a theory for a prover within one session? Christoph LANGE
  • Re: [Hets-users] Does/should/can Hets cache translations of a theory for a prover within one session? Till Mossakowski
• [Hets-users] Participate: Enabling Domain Experts to use Formalised Reasoning (AISB 2013, Exeter, UK, 3-5 Apr 2013). Tutorials on Matching, Auctions, Finance. Christoph LANGE
• [Hets-users] Strategy for proving when complete proof times out but all of its steps work? Christoph LANGE
  • Re: [Hets-users] Strategy for proving when complete proof times out but all of its steps work? Till Mossakowski
  • Re: [Hets-users] Strategy for proving when complete proof times out but all of its steps work? Christoph LANGE
• [Hets-users] How to reasonably minimize the list of axioms used by a proof Christoph LANGE
  • Re: [Hets-users] How to reasonably minimize the list of axioms used by a proof Till Mossakowski
• [Hets-users] What does 'Used Axioms: declarationN' mean when using SPASS? Christoph LANGE
  • Re: [Hets-users] What does 'Used Axioms: declarationN' mean when using SPASS? Till Mossakowski
• [Hets-users] How to model my own, totally ordered real numbers? Christoph LANGE
  • Re: [Hets-users] How to model my own, totally ordered real numbers? Till Mossakowski
  • Re: [Hets-users] How to model my own, totally ordered real numbers? Christoph LANGE
  • Re: [Hets-users] How to model my own, totally ordered real numbers? Till Mossakowski
  • Re: [Hets-users] How to model my own, totally ordered real numbers? Christoph LANGE
  • Re: [Hets-users] How to model my own, totally ordered real numbers? Till Mossakowski
  • Re: [Hets-users] How to model my own, totally ordered real numbers? Christoph LANGE
  • Re: [Hets-users] How to model my own, totally ordered real numbers? Till Mossakowski
• [Hets-users] MathServeBroker and Vampire proof attempts hang beyond timeout Christoph LANGE
  • [Hets-users] Fixed: firewall issue [Re: MathServeBroker and Vampire proof attempts hang beyond timeout] Christoph LANGE
• [Hets-users] My proofs are trivial because the antecedent is unsatisfiable – now what to do? Christoph LANGE
  • Re: [Hets-users] My proofs are trivial because the antecedent is unsatisfiable – now what to do? Christoph LANGE
  • Re: [Hets-users] My proofs are trivial because the antecedent is unsatisfiable – now what to do? Christian Maeder
• [Hets-users] What does 'theorems to include if proven' do? Christoph LANGE
  • Re: [Hets-users] What does 'theorems to include if proven' do? Till Mossakowski
  • Re: [Hets-users] What does 'theorems to include if proven' do? Christoph LANGE
• [Hets-users] Makefile rule for translating named specs Christoph LANGE
• [Hets-users] How does 'axioms to include' in the 'Prove' dialog work? Christoph LANGE
  • Re: [Hets-users] How does 'axioms to include' in the 'Prove' dialog work? Christoph LANGE
  • Re: [Hets-users] How does 'axioms to include' in the 'Prove' dialog work? Christoph LANGE
  • Re: [Hets-users] How does 'axioms to include' in the 'Prove' dialog work? Till Mossakowski
  • Re: [Hets-users] How does 'axioms to include' in the 'Prove' dialog work? Christoph LANGE
  • Re: [Hets-users] How does 'axioms to include' in the 'Prove' dialog work? Christoph LANGE
• [Hets-users] Persistently save DG state after stuff has been proved? Christoph LANGE
  • Re: [Hets-users] Persistently save DG state after stuff has been proved? Christoph LANGE
  • Re: [Hets-users] Persistently save DG state after stuff has been proved? Till Mossakowski
• [Hets-users] Deadline Extension (28 Jan): Enabling Domain Experts to use Formalised Reasoning, Stage 2 (AISB 2013, Exeter, UK, 2-5 Apr 2013) Christoph LANGE
• [Hets-users] 2nd CfP (deadline 14 Jan): Enabling Domain Experts to use Formalised Reasoning, Stage 2 (AISB 2013, Exeter, UK, 2-3 Apr 2013) Christoph LANGE
• [Hets-users] Local top sorts and ga_* axioms [Re: Fragen zum ersten Auktions-Beweis mit Hets] Christoph LANGE
  • Re: [Hets-users] Local top sorts and ga_* axioms [Re: Fragen zum ersten Auktions-Beweis mit Hets] Till Mossakowski
  • Re: [Hets-users] Local top sorts and ga_* axioms [Re: Fragen zum ersten Auktions-Beweis mit Hets] Till Mossakowski
  • Re: [Hets-users] Local top sorts and ga_* axioms [Re: Fragen zum ersten Auktions-Beweis mit Hets] Christoph LANGE
• [Hets-users] CfP: Stage 2 of Enabling Domain Experts to use Formalised Reasoning@AISB 2013 (Exeter, UK, 2-3 Apr 2013); Deadline 14 Jan Christoph LANGE
• [Hets-users] Hets on Mac Christian Maeder
  • Re: [Hets-users] Hets on Mac Oliver Kutz
  • Re: [Hets-users] Hets on Mac Christian Maeder
  • Re: [Hets-users] Hets on Mac Christian Maeder
  • Re: [Hets-users] Hets on Mac Alexandre Madeira
• [Hets-users] Comparing predicates values Luis Enrique Ramos García
  • Re: [Hets-users] Comparing predicates values Till Mossakowski
  • Re: [Hets-users] Comparing predicates values Luis Enrique Ramos García
  • Re: [Hets-users] Comparing predicates values Till Mossakowski