Matches in SemOpenAlex for { <https://semopenalex.org/work/W1559348839> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1559348839 endingPage "400" @default.
- W1559348839 startingPage "395" @default.
- W1559348839 abstract "In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi--modal logics. The theorem prover, which is called $KEM$, arises from the combination of a classical refutation system which incorporates a restricted (analytica) version of the cut rule with a label formalism which allows for a specialised logic--dependent unification algorithm. An essential feature of $KEM$ is that it yields a rather simple and efficient proof search procedure which offers many computational advantages over the usual tableau-based proof search methods. This is due partly to the use of linear 2--premise $beta$ rules in place of the branching $beta$ rules of the standard tableau method, and partly to the crucial role played by the analytic cut (the only branching rule) in eliminating redundancy from the search space. It turns out that $KEM$ method of proof search is not only computationally more efficient but also intuitivelly more natural than other (e.g. resolution-based) methods leading to simple and easy implementable procedures (two $KEM$ Theorem Prover-like systems have been implemented: an LPA interpreter on Macintosh, and a Quintus compiler on Sun-Sparcstation) which make it well suited for efficient automated proof search in modal logic." @default.
- W1559348839 created "2016-06-24" @default.
- W1559348839 creator A5058360953 @default.
- W1559348839 creator A5059114892 @default.
- W1559348839 creator A5077170541 @default.
- W1559348839 date "1995-01-01" @default.
- W1559348839 modified "2023-09-27" @default.
- W1559348839 title "A prolog implementation of KEM" @default.
- W1559348839 cites W1500313660 @default.
- W1559348839 cites W1570374618 @default.
- W1559348839 cites W1975036189 @default.
- W1559348839 cites W1991138028 @default.
- W1559348839 hasPublicationYear "1995" @default.
- W1559348839 type Work @default.
- W1559348839 sameAs 1559348839 @default.
- W1559348839 citedByCount "0" @default.
- W1559348839 crossrefType "journal-article" @default.
- W1559348839 hasAuthorship W1559348839A5058360953 @default.
- W1559348839 hasAuthorship W1559348839A5059114892 @default.
- W1559348839 hasAuthorship W1559348839A5077170541 @default.
- W1559348839 hasConcept C108710211 @default.
- W1559348839 hasConcept C111472728 @default.
- W1559348839 hasConcept C11413529 @default.
- W1559348839 hasConcept C138885662 @default.
- W1559348839 hasConcept C159718280 @default.
- W1559348839 hasConcept C185592680 @default.
- W1559348839 hasConcept C188027245 @default.
- W1559348839 hasConcept C195344581 @default.
- W1559348839 hasConcept C199360897 @default.
- W1559348839 hasConcept C206880738 @default.
- W1559348839 hasConcept C2524010 @default.
- W1559348839 hasConcept C2780586882 @default.
- W1559348839 hasConcept C33923547 @default.
- W1559348839 hasConcept C41008148 @default.
- W1559348839 hasConcept C71139939 @default.
- W1559348839 hasConcept C80444323 @default.
- W1559348839 hasConcept C81721847 @default.
- W1559348839 hasConcept C96146094 @default.
- W1559348839 hasConceptScore W1559348839C108710211 @default.
- W1559348839 hasConceptScore W1559348839C111472728 @default.
- W1559348839 hasConceptScore W1559348839C11413529 @default.
- W1559348839 hasConceptScore W1559348839C138885662 @default.
- W1559348839 hasConceptScore W1559348839C159718280 @default.
- W1559348839 hasConceptScore W1559348839C185592680 @default.
- W1559348839 hasConceptScore W1559348839C188027245 @default.
- W1559348839 hasConceptScore W1559348839C195344581 @default.
- W1559348839 hasConceptScore W1559348839C199360897 @default.
- W1559348839 hasConceptScore W1559348839C206880738 @default.
- W1559348839 hasConceptScore W1559348839C2524010 @default.
- W1559348839 hasConceptScore W1559348839C2780586882 @default.
- W1559348839 hasConceptScore W1559348839C33923547 @default.
- W1559348839 hasConceptScore W1559348839C41008148 @default.
- W1559348839 hasConceptScore W1559348839C71139939 @default.
- W1559348839 hasConceptScore W1559348839C80444323 @default.
- W1559348839 hasConceptScore W1559348839C81721847 @default.
- W1559348839 hasConceptScore W1559348839C96146094 @default.
- W1559348839 hasLocation W15593488391 @default.
- W1559348839 hasOpenAccess W1559348839 @default.
- W1559348839 hasPrimaryLocation W15593488391 @default.
- W1559348839 hasRelatedWork W1507932752 @default.
- W1559348839 hasRelatedWork W1515018669 @default.
- W1559348839 hasRelatedWork W1583364912 @default.
- W1559348839 hasRelatedWork W159279589 @default.
- W1559348839 hasRelatedWork W1600989263 @default.
- W1559348839 hasRelatedWork W1984720830 @default.
- W1559348839 hasRelatedWork W1998330152 @default.
- W1559348839 hasRelatedWork W2004436487 @default.
- W1559348839 hasRelatedWork W2048265179 @default.
- W1559348839 hasRelatedWork W2070717690 @default.
- W1559348839 hasRelatedWork W2097958972 @default.
- W1559348839 hasRelatedWork W2161910935 @default.
- W1559348839 hasRelatedWork W2168187072 @default.
- W1559348839 hasRelatedWork W2175589812 @default.
- W1559348839 hasRelatedWork W2291899216 @default.
- W1559348839 hasRelatedWork W2490732785 @default.
- W1559348839 hasRelatedWork W2583369873 @default.
- W1559348839 hasRelatedWork W2899482370 @default.
- W1559348839 hasRelatedWork W3105824395 @default.
- W1559348839 hasRelatedWork W2584449131 @default.
- W1559348839 isParatext "false" @default.
- W1559348839 isRetracted "false" @default.
- W1559348839 magId "1559348839" @default.
- W1559348839 workType "article" @default.