Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551823451> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1551823451 endingPage "18" @default.
- W1551823451 startingPage "13" @default.
- W1551823451 abstract "We present a recently started research project. The goal of the project is to integrate into one system a number of techniques, execution mechanisms and development tools that were designed in various areas in Logic Programming in the past. Main components are: a strong support for (declarative) knowledge representation, including aspects of incomplete knowledge, first order logic constraints and definitional knowledge; integration of different computational mechanisms, including resolution, abduction, tabling and constraint solving; integration within the development environment of semantics-based development tools, including (source-level) optimization, abstract interpretation based analysis and termination analysis. In developing this new system, we hope to contribute to an effort of semi-automating (part of) the software development process. We plan to experiment with a number of applications to test the system. Main applications in focus are in temporal reasoning, planning and scheduling, and machine learning." @default.
- W1551823451 created "2016-06-24" @default.
- W1551823451 creator A5004343076 @default.
- W1551823451 creator A5015796955 @default.
- W1551823451 creator A5024311222 @default.
- W1551823451 creator A5037894557 @default.
- W1551823451 creator A5084545304 @default.
- W1551823451 creator A5090754913 @default.
- W1551823451 date "2000-10-01" @default.
- W1551823451 modified "2023-09-24" @default.
- W1551823451 title "Project report on LP + : a second generation logic programming language" @default.
- W1551823451 cites W100698426 @default.
- W1551823451 cites W1504949952 @default.
- W1551823451 cites W1585128108 @default.
- W1551823451 cites W186305455 @default.
- W1551823451 cites W1956187187 @default.
- W1551823451 cites W1988185893 @default.
- W1551823451 cites W2022472812 @default.
- W1551823451 cites W2027026606 @default.
- W1551823451 cites W2041428960 @default.
- W1551823451 cites W2043100293 @default.
- W1551823451 cites W2045862288 @default.
- W1551823451 cites W2048831705 @default.
- W1551823451 cites W2060723681 @default.
- W1551823451 cites W207722629 @default.
- W1551823451 cites W2090798572 @default.
- W1551823451 cites W2092842298 @default.
- W1551823451 cites W2123396057 @default.
- W1551823451 cites W2211421871 @default.
- W1551823451 hasPublicationYear "2000" @default.
- W1551823451 type Work @default.
- W1551823451 sameAs 1551823451 @default.
- W1551823451 citedByCount "0" @default.
- W1551823451 crossrefType "journal-article" @default.
- W1551823451 hasAuthorship W1551823451A5004343076 @default.
- W1551823451 hasAuthorship W1551823451A5015796955 @default.
- W1551823451 hasAuthorship W1551823451A5024311222 @default.
- W1551823451 hasAuthorship W1551823451A5037894557 @default.
- W1551823451 hasAuthorship W1551823451A5084545304 @default.
- W1551823451 hasAuthorship W1551823451A5090754913 @default.
- W1551823451 hasConcept C105795698 @default.
- W1551823451 hasConcept C115903868 @default.
- W1551823451 hasConcept C128838566 @default.
- W1551823451 hasConcept C137631369 @default.
- W1551823451 hasConcept C154945302 @default.
- W1551823451 hasConcept C161301231 @default.
- W1551823451 hasConcept C173404611 @default.
- W1551823451 hasConcept C199360897 @default.
- W1551823451 hasConcept C33923547 @default.
- W1551823451 hasConcept C34165917 @default.
- W1551823451 hasConcept C41008148 @default.
- W1551823451 hasConcept C50033165 @default.
- W1551823451 hasConcept C81721847 @default.
- W1551823451 hasConceptScore W1551823451C105795698 @default.
- W1551823451 hasConceptScore W1551823451C115903868 @default.
- W1551823451 hasConceptScore W1551823451C128838566 @default.
- W1551823451 hasConceptScore W1551823451C137631369 @default.
- W1551823451 hasConceptScore W1551823451C154945302 @default.
- W1551823451 hasConceptScore W1551823451C161301231 @default.
- W1551823451 hasConceptScore W1551823451C173404611 @default.
- W1551823451 hasConceptScore W1551823451C199360897 @default.
- W1551823451 hasConceptScore W1551823451C33923547 @default.
- W1551823451 hasConceptScore W1551823451C34165917 @default.
- W1551823451 hasConceptScore W1551823451C41008148 @default.
- W1551823451 hasConceptScore W1551823451C50033165 @default.
- W1551823451 hasConceptScore W1551823451C81721847 @default.
- W1551823451 hasIssue "1" @default.
- W1551823451 hasLocation W15518234511 @default.
- W1551823451 hasOpenAccess W1551823451 @default.
- W1551823451 hasPrimaryLocation W15518234511 @default.
- W1551823451 hasRelatedWork W140183705 @default.
- W1551823451 hasRelatedWork W1482087614 @default.
- W1551823451 hasRelatedWork W1501242826 @default.
- W1551823451 hasRelatedWork W1504667130 @default.
- W1551823451 hasRelatedWork W1562171766 @default.
- W1551823451 hasRelatedWork W1575553369 @default.
- W1551823451 hasRelatedWork W1606537421 @default.
- W1551823451 hasRelatedWork W1679480520 @default.
- W1551823451 hasRelatedWork W1965338409 @default.
- W1551823451 hasRelatedWork W1975234202 @default.
- W1551823451 hasRelatedWork W1989618301 @default.
- W1551823451 hasRelatedWork W1997978017 @default.
- W1551823451 hasRelatedWork W2082596603 @default.
- W1551823451 hasRelatedWork W2094018979 @default.
- W1551823451 hasRelatedWork W2100818113 @default.
- W1551823451 hasRelatedWork W2112867235 @default.
- W1551823451 hasRelatedWork W2158286384 @default.
- W1551823451 hasRelatedWork W2409610629 @default.
- W1551823451 hasRelatedWork W2893962822 @default.
- W1551823451 hasRelatedWork W2949190809 @default.
- W1551823451 hasVolume "13" @default.
- W1551823451 isParatext "false" @default.
- W1551823451 isRetracted "false" @default.
- W1551823451 magId "1551823451" @default.
- W1551823451 workType "article" @default.