FRINK Linked Data Fragments server

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

• W140505364 abstract "Combining the logic of hereditary Harrop formulas HH with a constraint system, a logic programming language is obtained that extends Horn clauses in two different directions, thus enhancing substantially the expressivity of Prolog. The implementation of this new language requires the ability to test the satisfiability of constraints built up by means of terms and predicates belonging to the domain of the chosen constraint system, and by the connectives and quantifiers usual in first-order logic. In this paper we present a constraint system called ( mathcal{R}mathcal{H} ) for a hybrid domain that mixes Herbrand terms and real numbers. It arises when joining the axiomatization of the arithmetic of real numbers and the axiomatization of the algebra of finite trees. We have defined an algorithm to solve certain constraints of this kind. The novelty relies on the combination of two different mechanisms, based on elimination of quantifiers, o ne used for solving unification and disunification problems, the other used to solve polynomials. This combination provides a procedure to solve ( mathcal{R}mathcal{H} )-constraints in the context of HH with constraints." @default.
• W140505364 created "2016-06-24" @default.
• W140505364 creator A5081537440 @default.
• W140505364 creator A5082014356 @default.
• W140505364 date "2002-01-01" @default.
• W140505364 modified "2023-10-18" @default.
• W140505364 title "Solving Mixed Quantified Constraints over a Domain Based on $$ mathcal{R} $$eal Numbers and $$ mathcal{H} $$erbrand Terms" @default.
• W140505364 cites W1570787829 @default.
• W140505364 cites W1600257346 @default.
• W140505364 cites W1766332311 @default.
• W140505364 cites W1791743522 @default.
• W140505364 cites W2033074970 @default.
• W140505364 cites W2035855976 @default.
• W140505364 cites W2060498389 @default.
• W140505364 cites W2063727779 @default.
• W140505364 cites W2087505639 @default.
• W140505364 cites W2093111544 @default.
• W140505364 cites W2164778826 @default.
• W140505364 cites W3146306767 @default.
• W140505364 cites W4206370914 @default.
• W140505364 cites W4298290503 @default.
• W140505364 cites W565004971 @default.
• W140505364 doi "https://doi.org/10.1007/3-540-45788-7_6" @default.
• W140505364 hasPublicationYear "2002" @default.
• W140505364 type Work @default.
• W140505364 sameAs 140505364 @default.
• W140505364 citedByCount "0" @default.
• W140505364 crossrefType "book-chapter" @default.
• W140505364 hasAuthorship W140505364A5081537440 @default.
• W140505364 hasAuthorship W140505364A5082014356 @default.
• W140505364 hasConcept C100481476 @default.
• W140505364 hasConcept C11413529 @default.
• W140505364 hasConcept C118615104 @default.
• W140505364 hasConcept C128838566 @default.
• W140505364 hasConcept C134306372 @default.
• W140505364 hasConcept C136119220 @default.
• W140505364 hasConcept C151730666 @default.
• W140505364 hasConcept C154945302 @default.
• W140505364 hasConcept C16221470 @default.
• W140505364 hasConcept C168773769 @default.
• W140505364 hasConcept C176783269 @default.
• W140505364 hasConcept C189790780 @default.
• W140505364 hasConcept C199360897 @default.
• W140505364 hasConcept C199622910 @default.
• W140505364 hasConcept C202444582 @default.
• W140505364 hasConcept C2524010 @default.
• W140505364 hasConcept C2776036281 @default.
• W140505364 hasConcept C2779343474 @default.
• W140505364 hasConcept C33923547 @default.
• W140505364 hasConcept C36503486 @default.
• W140505364 hasConcept C41008148 @default.
• W140505364 hasConcept C44616089 @default.
• W140505364 hasConcept C49937458 @default.
• W140505364 hasConcept C80444323 @default.
• W140505364 hasConcept C81721847 @default.
• W140505364 hasConcept C86803240 @default.
• W140505364 hasConcept C96146094 @default.
• W140505364 hasConceptScore W140505364C100481476 @default.
• W140505364 hasConceptScore W140505364C11413529 @default.
• W140505364 hasConceptScore W140505364C118615104 @default.
• W140505364 hasConceptScore W140505364C128838566 @default.
• W140505364 hasConceptScore W140505364C134306372 @default.
• W140505364 hasConceptScore W140505364C136119220 @default.
• W140505364 hasConceptScore W140505364C151730666 @default.
• W140505364 hasConceptScore W140505364C154945302 @default.
• W140505364 hasConceptScore W140505364C16221470 @default.
• W140505364 hasConceptScore W140505364C168773769 @default.
• W140505364 hasConceptScore W140505364C176783269 @default.
• W140505364 hasConceptScore W140505364C189790780 @default.
• W140505364 hasConceptScore W140505364C199360897 @default.
• W140505364 hasConceptScore W140505364C199622910 @default.
• W140505364 hasConceptScore W140505364C202444582 @default.
• W140505364 hasConceptScore W140505364C2524010 @default.
• W140505364 hasConceptScore W140505364C2776036281 @default.
• W140505364 hasConceptScore W140505364C2779343474 @default.
• W140505364 hasConceptScore W140505364C33923547 @default.
• W140505364 hasConceptScore W140505364C36503486 @default.
• W140505364 hasConceptScore W140505364C41008148 @default.
• W140505364 hasConceptScore W140505364C44616089 @default.
• W140505364 hasConceptScore W140505364C49937458 @default.
• W140505364 hasConceptScore W140505364C80444323 @default.
• W140505364 hasConceptScore W140505364C81721847 @default.
• W140505364 hasConceptScore W140505364C86803240 @default.
• W140505364 hasConceptScore W140505364C96146094 @default.
• W140505364 hasLocation W1405053641 @default.
• W140505364 hasOpenAccess W140505364 @default.
• W140505364 hasPrimaryLocation W1405053641 @default.
• W140505364 hasRelatedWork W1532888758 @default.
• W140505364 hasRelatedWork W1553603549 @default.
• W140505364 hasRelatedWork W1557057306 @default.
• W140505364 hasRelatedWork W1615855101 @default.
• W140505364 hasRelatedWork W1783093891 @default.
• W140505364 hasRelatedWork W1990426442 @default.
• W140505364 hasRelatedWork W2010312047 @default.
• W140505364 hasRelatedWork W2113995039 @default.
• W140505364 hasRelatedWork W2124132452 @default.
• W140505364 hasRelatedWork W2125639421 @default.
• W140505364 hasRelatedWork W2131358503 @default.
• W140505364 hasRelatedWork W2294862731 @default.
• W140505364 hasRelatedWork W2295723447 @default.

• next