FRINK Linked Data Fragments server

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

• W2810803621 abstract "Since its very beginnings, AI has more or less developed in parallel with two lines of research method paradigms. The first paradigm could be called statistical (pattern recognition, machine learning, also deep learning, which in the last few years has entered quite a vibrant phase of development). The second paradigm can be called logical. It (mostly) deals with automatic deduction systems and tool development in the environment of corresponding formal methods, which in particular encompass formal logic calculi. This paradigm partially uses these systems for the requirements of modelling and solving problems from the AI domain. There are many logic calculi that have found their application in modelling and solving a wide range of AI problems. These range from classical propositional calculi, their fragments (such as calculi of functional and multivalued dependencies, without which the relational data model wouldn't be possible), intuitionistic propositional logic and its many fragments and variants, superintuitionistic logics, multiple valued logics (Lukasiewicz logics), discrete as well as continuous, systems of modal propositional logics, first order predicate calculus (logic) and its variants, second order predicate Logic, F-Logic etc. In addition to these, we cannot avoid mentioning a whole spectrum of contextual domain logics such as fuzzy logics. Many of the logic calculi mentioned above have themselves become foundations for building logic programming languages such as Prolog (and its relatives), hybrid programming languages and tools. Next to the logic component, they encompass classical linear programming (constraint logic programming languages) and also specialized tools such as SAT-solvers, languages that implement 2nd order predicate logic (HiLog) or tools such as Coq. Coq is based on a fragment of lambda calculus that for the last thirty years has been developed by INRIA, the world renowned computer science institute based in France. Through this presentation of selected logic systems, related programming languages, development environments and specific purpose tools, the author wants to highlight the enormous potential of their application in modelling and solving AI problems." @default.
• W2810803621 created "2018-07-10" @default.
• W2810803621 creator A5014148285 @default.
• W2810803621 date "2018-05-01" @default.
• W2810803621 modified "2023-09-25" @default.
• W2810803621 title "Some logic and related formalisms, programming paradigms, and development environments for the (new) AI" @default.
• W2810803621 cites W1459875537 @default.
• W2810803621 cites W1498682591 @default.
• W2810803621 cites W1511573467 @default.
• W2810803621 cites W1553511155 @default.
• W2810803621 cites W1589232796 @default.
• W2810803621 cites W1601754364 @default.
• W2810803621 cites W173686510 @default.
• W2810803621 cites W1752750514 @default.
• W2810803621 cites W1810972023 @default.
• W2810803621 cites W1966497978 @default.
• W2810803621 cites W1979966822 @default.
• W2810803621 cites W1982644528 @default.
• W2810803621 cites W2010939995 @default.
• W2810803621 cites W2017754974 @default.
• W2810803621 cites W2030181898 @default.
• W2810803621 cites W2037783738 @default.
• W2810803621 cites W2058436375 @default.
• W2810803621 cites W2084130127 @default.
• W2810803621 cites W2100738443 @default.
• W2810803621 cites W2109440622 @default.
• W2810803621 cites W2156265441 @default.
• W2810803621 cites W2327484997 @default.
• W2810803621 cites W2401248940 @default.
• W2810803621 cites W2483102027 @default.
• W2810803621 cites W2494756799 @default.
• W2810803621 cites W2503383364 @default.
• W2810803621 cites W2595312935 @default.
• W2810803621 cites W2604671975 @default.
• W2810803621 cites W3102754027 @default.
• W2810803621 cites W3216272643 @default.
• W2810803621 cites W3296631 @default.
• W2810803621 cites W4237581755 @default.
• W2810803621 cites W4239257451 @default.
• W2810803621 cites W4240968325 @default.
• W2810803621 cites W4245546974 @default.
• W2810803621 cites W4248445139 @default.
• W2810803621 cites W4252547602 @default.
• W2810803621 cites W4253131970 @default.
• W2810803621 cites W4254819021 @default.
• W2810803621 cites W4298236051 @default.
• W2810803621 cites W565587792 @default.
• W2810803621 cites W602267562 @default.
• W2810803621 cites W79760435 @default.
• W2810803621 cites W83385239 @default.
• W2810803621 doi "https://doi.org/10.23919/mipro.2018.8400171" @default.
• W2810803621 hasPublicationYear "2018" @default.
• W2810803621 type Work @default.
• W2810803621 sameAs 2810803621 @default.
• W2810803621 citedByCount "0" @default.
• W2810803621 crossrefType "proceedings-article" @default.
• W2810803621 hasAuthorship W2810803621A5014148285 @default.
• W2810803621 hasConcept C100481476 @default.
• W2810803621 hasConcept C102993220 @default.
• W2810803621 hasConcept C121332964 @default.
• W2810803621 hasConcept C128838566 @default.
• W2810803621 hasConcept C134752490 @default.
• W2810803621 hasConcept C154945302 @default.
• W2810803621 hasConcept C165801399 @default.
• W2810803621 hasConcept C172385210 @default.
• W2810803621 hasConcept C1883856 @default.
• W2810803621 hasConcept C189790780 @default.
• W2810803621 hasConcept C19689857 @default.
• W2810803621 hasConcept C199360897 @default.
• W2810803621 hasConcept C2777796570 @default.
• W2810803621 hasConcept C41008148 @default.
• W2810803621 hasConcept C42011625 @default.
• W2810803621 hasConcept C58166 @default.
• W2810803621 hasConcept C62520636 @default.
• W2810803621 hasConcept C69562738 @default.
• W2810803621 hasConcept C74992188 @default.
• W2810803621 hasConcept C80444323 @default.
• W2810803621 hasConcept C81721847 @default.
• W2810803621 hasConcept C86602344 @default.
• W2810803621 hasConceptScore W2810803621C100481476 @default.
• W2810803621 hasConceptScore W2810803621C102993220 @default.
• W2810803621 hasConceptScore W2810803621C121332964 @default.
• W2810803621 hasConceptScore W2810803621C128838566 @default.
• W2810803621 hasConceptScore W2810803621C134752490 @default.
• W2810803621 hasConceptScore W2810803621C154945302 @default.
• W2810803621 hasConceptScore W2810803621C165801399 @default.
• W2810803621 hasConceptScore W2810803621C172385210 @default.
• W2810803621 hasConceptScore W2810803621C1883856 @default.
• W2810803621 hasConceptScore W2810803621C189790780 @default.
• W2810803621 hasConceptScore W2810803621C19689857 @default.
• W2810803621 hasConceptScore W2810803621C199360897 @default.
• W2810803621 hasConceptScore W2810803621C2777796570 @default.
• W2810803621 hasConceptScore W2810803621C41008148 @default.
• W2810803621 hasConceptScore W2810803621C42011625 @default.
• W2810803621 hasConceptScore W2810803621C58166 @default.
• W2810803621 hasConceptScore W2810803621C62520636 @default.
• W2810803621 hasConceptScore W2810803621C69562738 @default.
• W2810803621 hasConceptScore W2810803621C74992188 @default.
• W2810803621 hasConceptScore W2810803621C80444323 @default.
• W2810803621 hasConceptScore W2810803621C81721847 @default.

• next