Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002844311> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2002844311 abstract "The standard method to retrieve information can be formally defined as follows. To ask a query, one gives the properties of the entities to be retrieved, and the answer is the set of all the entities that satisfy the query. Another method, is to ask the overall information about a given entity, and the answer is the corresponding information. An example of the first kind of query is: ''what are the drugs that contain a given molecule?'', an example of the second kind is: ''what are the properties of a given drug?''. This latter method has deserved very few researches though it has great potential practical applications. However, it raises many non trivial issues. The first one is to find a precise definition of the fact that a piece of information ''is about'' a given entity. We recall the formal definition that have been proposed in formal classical logic, and the main properties that follow from this definition. The second one is to adapt existing automated deduction methods to compute this new kind of answer, using either deduction or abduction techniques. Finally, we present potential extensions to our definition and guidelines for automated deduction strategies." @default.
- W2002844311 created "2016-06-24" @default.
- W2002844311 creator A5010986342 @default.
- W2002844311 creator A5048471345 @default.
- W2002844311 date "2009-12-01" @default.
- W2002844311 modified "2023-09-24" @default.
- W2002844311 title "How to Produce Information About a Given Entity Using Automated Deduction Methods" @default.
- W2002844311 cites W1530765221 @default.
- W2002844311 cites W1544269791 @default.
- W2002844311 cites W1585533089 @default.
- W2002844311 cites W1595427159 @default.
- W2002844311 cites W1965184317 @default.
- W2002844311 cites W1976549967 @default.
- W2002844311 cites W199283470 @default.
- W2002844311 cites W2021473914 @default.
- W2002844311 cites W2071678764 @default.
- W2002844311 cites W2091661144 @default.
- W2002844311 cites W2100738443 @default.
- W2002844311 cites W2104094083 @default.
- W2002844311 cites W2342501541 @default.
- W2002844311 cites W2479454409 @default.
- W2002844311 cites W2504028946 @default.
- W2002844311 cites W39254489 @default.
- W2002844311 cites W80604035 @default.
- W2002844311 doi "https://doi.org/10.1016/j.entcs.2009.11.003" @default.
- W2002844311 hasPublicationYear "2009" @default.
- W2002844311 type Work @default.
- W2002844311 sameAs 2002844311 @default.
- W2002844311 citedByCount "0" @default.
- W2002844311 crossrefType "journal-article" @default.
- W2002844311 hasAuthorship W2002844311A5010986342 @default.
- W2002844311 hasAuthorship W2002844311A5048471345 @default.
- W2002844311 hasBestOaLocation W20028443111 @default.
- W2002844311 hasConcept C136264566 @default.
- W2002844311 hasConcept C162324750 @default.
- W2002844311 hasConcept C177264268 @default.
- W2002844311 hasConcept C199360897 @default.
- W2002844311 hasConcept C23123220 @default.
- W2002844311 hasConcept C41008148 @default.
- W2002844311 hasConcept C80444323 @default.
- W2002844311 hasConcept C90329073 @default.
- W2002844311 hasConceptScore W2002844311C136264566 @default.
- W2002844311 hasConceptScore W2002844311C162324750 @default.
- W2002844311 hasConceptScore W2002844311C177264268 @default.
- W2002844311 hasConceptScore W2002844311C199360897 @default.
- W2002844311 hasConceptScore W2002844311C23123220 @default.
- W2002844311 hasConceptScore W2002844311C41008148 @default.
- W2002844311 hasConceptScore W2002844311C80444323 @default.
- W2002844311 hasConceptScore W2002844311C90329073 @default.
- W2002844311 hasLocation W20028443111 @default.
- W2002844311 hasOpenAccess W2002844311 @default.
- W2002844311 hasPrimaryLocation W20028443111 @default.
- W2002844311 hasRelatedWork W115626384 @default.
- W2002844311 hasRelatedWork W1483672097 @default.
- W2002844311 hasRelatedWork W1498303444 @default.
- W2002844311 hasRelatedWork W1506593565 @default.
- W2002844311 hasRelatedWork W1549792078 @default.
- W2002844311 hasRelatedWork W159801007 @default.
- W2002844311 hasRelatedWork W1631578787 @default.
- W2002844311 hasRelatedWork W175394200 @default.
- W2002844311 hasRelatedWork W1829462735 @default.
- W2002844311 hasRelatedWork W1859193672 @default.
- W2002844311 hasRelatedWork W1970000427 @default.
- W2002844311 hasRelatedWork W2046619512 @default.
- W2002844311 hasRelatedWork W2057508107 @default.
- W2002844311 hasRelatedWork W2151688558 @default.
- W2002844311 hasRelatedWork W2477316002 @default.
- W2002844311 hasRelatedWork W2535887874 @default.
- W2002844311 hasRelatedWork W2596951664 @default.
- W2002844311 hasRelatedWork W288276787 @default.
- W2002844311 hasRelatedWork W291475576 @default.
- W2002844311 hasRelatedWork W3149176895 @default.
- W2002844311 isParatext "false" @default.
- W2002844311 isRetracted "false" @default.
- W2002844311 magId "2002844311" @default.
- W2002844311 workType "article" @default.