FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913148969> ?p ?o ?g. }

• W2913148969 endingPage "118" @default.
• W2913148969 startingPage "108" @default.
• W2913148969 abstract "Temporal reasoning is essential for many artificial intelligence applications. To date, most research has concentrated on temporal inference in isolation without considering the role it can play in a more general reasoning environment. This paper takes an efficient temporal reasoner and extends its inferential capabilities to handle both strict and nonstrict relations. The resulting temporal specialist is incorporated into a system intended for low-level reasoning in natural language understanding. The specialist assists the resolution-based theorem prover in function evaluation, literal evaluation, and generalized resolving and factoring. The combined system can do some proofs in just a few steps that would normally require many. An example from the fully operational hybrid system is included. Le raisonnement temporel est essentiel dans de nombreuses applications relatives àľ intelligence artificielle. Jusqu’à présent, la plupart des travaux de recherche ont porté sur ľ inférence temporelle dans ľ isolation sans tenir compte du rǒle qu'elle peut jouer dans un environnement de raisonnement plus général. Cet article traite ? un raisonneur temporel ef ficace dont les capacityés inférentielles ont été augmentée afin de pouvoir traiter les relations strides et non strides. Le spécialiste temporel qui en résulte est intégréà un système conçu pour le raisonnement bas-niveau en langage naturel. Le spécialiste assiste le démonstratur de théorèmes basé sur la résolution dans ľévaluation des fonctions, ľévaluation littérale et la fonction fadorielle généralisée. Le système combine peut vérifier des preuves en quelques étapes seulement au lieu ? un grand nombre. Un exemple ? un système hybride entièrement opérationnel est fourni. Mots clés: raisonnement temporel, methodes ? inférence spéciales, résolution de théories, représentation des connaissances." @default.
• W2913148969 created "2019-02-21" @default.
• W2913148969 creator A5058584997 @default.
• W2913148969 creator A5085884078 @default.
• W2913148969 date "1990-05-01" @default.
• W2913148969 modified "2023-10-05" @default.
• W2913148969 title "Time revisited" @default.
• W2913148969 cites W1482150641 @default.
• W2913148969 cites W1605474854 @default.
• W2913148969 cites W1884981359 @default.
• W2913148969 cites W2013453856 @default.
• W2913148969 cites W20712460 @default.
• W2913148969 cites W2074163046 @default.
• W2913148969 cites W2122540544 @default.
• W2913148969 cites W2161484642 @default.
• W2913148969 doi "https://doi.org/10.1111/j.1467-8640.1990.tb00294.x" @default.
• W2913148969 hasPublicationYear "1990" @default.
• W2913148969 type Work @default.
• W2913148969 sameAs 2913148969 @default.
• W2913148969 citedByCount "48" @default.
• W2913148969 countsByYear W29131489692012 @default.
• W2913148969 countsByYear W29131489692013 @default.
• W2913148969 countsByYear W29131489692014 @default.
• W2913148969 countsByYear W29131489692015 @default.
• W2913148969 countsByYear W29131489692016 @default.
• W2913148969 crossrefType "journal-article" @default.
• W2913148969 hasAuthorship W2913148969A5058584997 @default.
• W2913148969 hasAuthorship W2913148969A5085884078 @default.
• W2913148969 hasConcept C138885662 @default.
• W2913148969 hasConcept C154945302 @default.
• W2913148969 hasConcept C15708023 @default.
• W2913148969 hasConcept C41008148 @default.
• W2913148969 hasConceptScore W2913148969C138885662 @default.
• W2913148969 hasConceptScore W2913148969C154945302 @default.
• W2913148969 hasConceptScore W2913148969C15708023 @default.
• W2913148969 hasConceptScore W2913148969C41008148 @default.
• W2913148969 hasIssue "2" @default.
• W2913148969 hasLocation W29131489691 @default.
• W2913148969 hasOpenAccess W2913148969 @default.
• W2913148969 hasPrimaryLocation W29131489691 @default.
• W2913148969 hasRelatedWork W2358668433 @default.
• W2913148969 hasRelatedWork W2390279801 @default.
• W2913148969 hasRelatedWork W2609344916 @default.
• W2913148969 hasRelatedWork W2748952813 @default.
• W2913148969 hasRelatedWork W2780307509 @default.
• W2913148969 hasRelatedWork W2899084033 @default.
• W2913148969 hasRelatedWork W4210390885 @default.
• W2913148969 hasRelatedWork W59019880 @default.
• W2913148969 hasRelatedWork W2308060692 @default.
• W2913148969 hasRelatedWork W2478882070 @default.
• W2913148969 hasVolume "6" @default.
• W2913148969 isParatext "false" @default.
• W2913148969 isRetracted "false" @default.
• W2913148969 magId "2913148969" @default.
• W2913148969 workType "article" @default.