Matches in SemOpenAlex for { <https://semopenalex.org/work/W575092949> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W575092949 endingPage "125" @default.
- W575092949 startingPage "124" @default.
- W575092949 abstract "13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes" @default.
- W575092949 created "2016-06-24" @default.
- W575092949 creator A5079262002 @default.
- W575092949 date "1996-01-01" @default.
- W575092949 modified "2023-09-25" @default.
- W575092949 title "Logic programming: Proceedings of the twelfth international conference on logic programming" @default.
- W575092949 doi "https://doi.org/10.1016/s0898-1221(96)90047-4" @default.
- W575092949 hasPublicationYear "1996" @default.
- W575092949 type Work @default.
- W575092949 sameAs 575092949 @default.
- W575092949 citedByCount "0" @default.
- W575092949 crossrefType "journal-article" @default.
- W575092949 hasAuthorship W575092949A5079262002 @default.
- W575092949 hasConcept C128838566 @default.
- W575092949 hasConcept C199343813 @default.
- W575092949 hasConcept C199360897 @default.
- W575092949 hasConcept C2777686260 @default.
- W575092949 hasConcept C33923547 @default.
- W575092949 hasConcept C34165917 @default.
- W575092949 hasConcept C41008148 @default.
- W575092949 hasConcept C50033165 @default.
- W575092949 hasConcept C71924100 @default.
- W575092949 hasConceptScore W575092949C128838566 @default.
- W575092949 hasConceptScore W575092949C199343813 @default.
- W575092949 hasConceptScore W575092949C199360897 @default.
- W575092949 hasConceptScore W575092949C2777686260 @default.
- W575092949 hasConceptScore W575092949C33923547 @default.
- W575092949 hasConceptScore W575092949C34165917 @default.
- W575092949 hasConceptScore W575092949C41008148 @default.
- W575092949 hasConceptScore W575092949C50033165 @default.
- W575092949 hasConceptScore W575092949C71924100 @default.
- W575092949 hasIssue "2" @default.
- W575092949 hasLocation W5750929491 @default.
- W575092949 hasOpenAccess W575092949 @default.
- W575092949 hasPrimaryLocation W5750929491 @default.
- W575092949 hasRelatedWork W1849174213 @default.
- W575092949 hasRelatedWork W2062643088 @default.
- W575092949 hasRelatedWork W2140386967 @default.
- W575092949 hasRelatedWork W2146475932 @default.
- W575092949 hasRelatedWork W2348463574 @default.
- W575092949 hasRelatedWork W2540632701 @default.
- W575092949 hasRelatedWork W2542995117 @default.
- W575092949 hasRelatedWork W2553706208 @default.
- W575092949 hasRelatedWork W574022443 @default.
- W575092949 hasRelatedWork W648195185 @default.
- W575092949 hasVolume "31" @default.
- W575092949 isParatext "false" @default.
- W575092949 isRetracted "false" @default.
- W575092949 magId "575092949" @default.
- W575092949 workType "article" @default.