Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158847611> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2158847611 abstract "Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem, we developed Attempto Controlled English (ACE), a subset of English that can be unambiguously translated into first-order logic and thus can conveniently replace first-order logic as a formal notation. We describe how ACE has been used as a front-end to EP Tableaux, a model generation method complete for unsatisfiability and for finite satisfiability. We specified in ACE, a database example that was previously expressed in the EP Tableaux language PRQ, automatically translated the ACE specification into PRQ, and with the help of EP Tableaux reproduced the previously found results." @default.
- W2158847611 created "2016-06-24" @default.
- W2158847611 creator A5005559926 @default.
- W2158847611 creator A5064159323 @default.
- W2158847611 creator A5065023375 @default.
- W2158847611 date "2003-01-20" @default.
- W2158847611 modified "2023-09-26" @default.
- W2158847611 title "Controlled natural language can replace first-order logic" @default.
- W2158847611 cites W1509428113 @default.
- W2158847611 cites W1541857386 @default.
- W2158847611 cites W1576898581 @default.
- W2158847611 cites W2038754076 @default.
- W2158847611 cites W2051033340 @default.
- W2158847611 cites W2067236170 @default.
- W2158847611 cites W2133165398 @default.
- W2158847611 cites W99392807 @default.
- W2158847611 doi "https://doi.org/10.1109/ase.1999.802325" @default.
- W2158847611 hasPublicationYear "2003" @default.
- W2158847611 type Work @default.
- W2158847611 sameAs 2158847611 @default.
- W2158847611 citedByCount "19" @default.
- W2158847611 countsByYear W21588476112012 @default.
- W2158847611 countsByYear W21588476112013 @default.
- W2158847611 countsByYear W21588476112016 @default.
- W2158847611 crossrefType "proceedings-article" @default.
- W2158847611 hasAuthorship W2158847611A5005559926 @default.
- W2158847611 hasAuthorship W2158847611A5064159323 @default.
- W2158847611 hasAuthorship W2158847611A5065023375 @default.
- W2158847611 hasConcept C100481476 @default.
- W2158847611 hasConcept C10138342 @default.
- W2158847611 hasConcept C134306372 @default.
- W2158847611 hasConcept C162324750 @default.
- W2158847611 hasConcept C168773769 @default.
- W2158847611 hasConcept C182306322 @default.
- W2158847611 hasConcept C195324797 @default.
- W2158847611 hasConcept C199360897 @default.
- W2158847611 hasConcept C204321447 @default.
- W2158847611 hasConcept C206880738 @default.
- W2158847611 hasConcept C33923547 @default.
- W2158847611 hasConcept C36503486 @default.
- W2158847611 hasConcept C41008148 @default.
- W2158847611 hasConcept C45357846 @default.
- W2158847611 hasConcept C80444323 @default.
- W2158847611 hasConcept C94375191 @default.
- W2158847611 hasConceptScore W2158847611C100481476 @default.
- W2158847611 hasConceptScore W2158847611C10138342 @default.
- W2158847611 hasConceptScore W2158847611C134306372 @default.
- W2158847611 hasConceptScore W2158847611C162324750 @default.
- W2158847611 hasConceptScore W2158847611C168773769 @default.
- W2158847611 hasConceptScore W2158847611C182306322 @default.
- W2158847611 hasConceptScore W2158847611C195324797 @default.
- W2158847611 hasConceptScore W2158847611C199360897 @default.
- W2158847611 hasConceptScore W2158847611C204321447 @default.
- W2158847611 hasConceptScore W2158847611C206880738 @default.
- W2158847611 hasConceptScore W2158847611C33923547 @default.
- W2158847611 hasConceptScore W2158847611C36503486 @default.
- W2158847611 hasConceptScore W2158847611C41008148 @default.
- W2158847611 hasConceptScore W2158847611C45357846 @default.
- W2158847611 hasConceptScore W2158847611C80444323 @default.
- W2158847611 hasConceptScore W2158847611C94375191 @default.
- W2158847611 hasLocation W21588476111 @default.
- W2158847611 hasOpenAccess W2158847611 @default.
- W2158847611 hasPrimaryLocation W21588476111 @default.
- W2158847611 hasRelatedWork W143453603 @default.
- W2158847611 hasRelatedWork W1495257651 @default.
- W2158847611 hasRelatedWork W1541857386 @default.
- W2158847611 hasRelatedWork W1542304993 @default.
- W2158847611 hasRelatedWork W1547127485 @default.
- W2158847611 hasRelatedWork W1550435668 @default.
- W2158847611 hasRelatedWork W1557218957 @default.
- W2158847611 hasRelatedWork W1946187443 @default.
- W2158847611 hasRelatedWork W2037008576 @default.
- W2158847611 hasRelatedWork W2080863863 @default.
- W2158847611 hasRelatedWork W2185017581 @default.
- W2158847611 hasRelatedWork W2199942537 @default.
- W2158847611 hasRelatedWork W2405071476 @default.
- W2158847611 hasRelatedWork W2476059279 @default.
- W2158847611 hasRelatedWork W2762769801 @default.
- W2158847611 hasRelatedWork W2964853020 @default.
- W2158847611 hasRelatedWork W3007295124 @default.
- W2158847611 hasRelatedWork W3096950624 @default.
- W2158847611 hasRelatedWork W3103318063 @default.
- W2158847611 hasRelatedWork W48973007 @default.
- W2158847611 isParatext "false" @default.
- W2158847611 isRetracted "false" @default.
- W2158847611 magId "2158847611" @default.
- W2158847611 workType "article" @default.