Matches in SemOpenAlex for { <https://semopenalex.org/work/W600852043> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W600852043 abstract "Part 1 Foundations: goal-directed forward chaining - a tuple-oriented bottom-up approach, W. Burgard from magic sets to a tuple-oriented approach comparing magic sets and goal-directed forward chaining computing relevant atoms GDFC-resolution termination of GDFC-resolution efficiency of GDFC-resolution the WAM - definition and compiler correctness, E. Borger and D. Rosenzweig evolving algebras prolog - tree and stack models predicate structure clause structure term structure. Appendices: rules for prolog tree model rules for compiled predicate structure rules for compiled clause structure rules for the WAM automatic verification of parallel logic programs - termination, L. Plumer basic notions directed programs and oriented derivations well-formed programs program transformation automatic termination proofs derivation of linear predicate inequalities for well-formed programs final remarks. Part 2 Language aspects and methodology: logic program modules for interoperable information systems, A.B. Cremers et al interoperability EPSILON building interoperable systems with links concepts, implementation, and applications of a typed logic programming language, C. Beierle concepts of PROTOS-L the PROTOS-L system planning applications further work polymorphic feature types, G. Meyer types and subtyping typed logic programming parametric polymorphism and feature types formal aspects further work efficient object-oriented programming in prolog, P. Schachte and G. Saab the objects package - a precursor to classes the second version - the classes package implementation of classes results examples future work related work. Part 3 Constraints: combinatorial problem solving in constraint logic programming with cooperating solvers, H. Beringer and B. De Backer a primer to constraint logic programming using CLP as a tool for combinatorial problem solving the domain reduction solver the real linear solver making the different solvers communicate using constraint logic programming for industrial scheduling problems, S. Breitinger and H.C.R. Lock constraints in scheduling problems disjunctive constraints heuristics - a guide to search related work. Part 4 Applications: a generic scheduling framework developed in prolog, L. Sterling and V. Srinivasan the scheduling problem - a generic solution specification of scheduler clusters schedule generation evaluation of experiments scheduling and meta-scheduling, J. Sauer the scheduling problem scheduling in PROTOS meta-scheduling dynamic and meta-scheduling knowledge representation of scheduling knowledge by heuristics META_PLAN - using dynamic scheduling knowledge robot control systems as contextual logic programs, E. Denti et al contextual logic programming systems the CARA robot programming support. (Part contents)." @default.
- W600852043 created "2016-06-24" @default.
- W600852043 creator A5002320735 @default.
- W600852043 creator A5076668701 @default.
- W600852043 date "1994-12-01" @default.
- W600852043 modified "2023-09-27" @default.
- W600852043 title "Logic Programming: Formal Methods and Practical Applications" @default.
- W600852043 hasPublicationYear "1994" @default.
- W600852043 type Work @default.
- W600852043 sameAs 600852043 @default.
- W600852043 citedByCount "7" @default.
- W600852043 crossrefType "book" @default.
- W600852043 hasAuthorship W600852043A5002320735 @default.
- W600852043 hasAuthorship W600852043A5076668701 @default.
- W600852043 hasConcept C105795698 @default.
- W600852043 hasConcept C128838566 @default.
- W600852043 hasConcept C137631369 @default.
- W600852043 hasConcept C154945302 @default.
- W600852043 hasConcept C169590947 @default.
- W600852043 hasConcept C173404611 @default.
- W600852043 hasConcept C176783269 @default.
- W600852043 hasConcept C199360897 @default.
- W600852043 hasConcept C33923547 @default.
- W600852043 hasConcept C34165917 @default.
- W600852043 hasConcept C41008148 @default.
- W600852043 hasConcept C44616089 @default.
- W600852043 hasConcept C49937458 @default.
- W600852043 hasConcept C50033165 @default.
- W600852043 hasConcept C80444323 @default.
- W600852043 hasConcept C81721847 @default.
- W600852043 hasConcept C96315309 @default.
- W600852043 hasConceptScore W600852043C105795698 @default.
- W600852043 hasConceptScore W600852043C128838566 @default.
- W600852043 hasConceptScore W600852043C137631369 @default.
- W600852043 hasConceptScore W600852043C154945302 @default.
- W600852043 hasConceptScore W600852043C169590947 @default.
- W600852043 hasConceptScore W600852043C173404611 @default.
- W600852043 hasConceptScore W600852043C176783269 @default.
- W600852043 hasConceptScore W600852043C199360897 @default.
- W600852043 hasConceptScore W600852043C33923547 @default.
- W600852043 hasConceptScore W600852043C34165917 @default.
- W600852043 hasConceptScore W600852043C41008148 @default.
- W600852043 hasConceptScore W600852043C44616089 @default.
- W600852043 hasConceptScore W600852043C49937458 @default.
- W600852043 hasConceptScore W600852043C50033165 @default.
- W600852043 hasConceptScore W600852043C80444323 @default.
- W600852043 hasConceptScore W600852043C81721847 @default.
- W600852043 hasConceptScore W600852043C96315309 @default.
- W600852043 hasLocation W6008520431 @default.
- W600852043 hasOpenAccess W600852043 @default.
- W600852043 hasPrimaryLocation W6008520431 @default.
- W600852043 hasRelatedWork W1539030153 @default.
- W600852043 hasRelatedWork W1547998134 @default.
- W600852043 hasRelatedWork W1548348968 @default.
- W600852043 hasRelatedWork W1557646685 @default.
- W600852043 hasRelatedWork W157065520 @default.
- W600852043 hasRelatedWork W1574972824 @default.
- W600852043 hasRelatedWork W1579358114 @default.
- W600852043 hasRelatedWork W1580354722 @default.
- W600852043 hasRelatedWork W179373627 @default.
- W600852043 hasRelatedWork W1824578878 @default.
- W600852043 hasRelatedWork W1853368733 @default.
- W600852043 hasRelatedWork W1969402593 @default.
- W600852043 hasRelatedWork W1988095917 @default.
- W600852043 hasRelatedWork W2031506023 @default.
- W600852043 hasRelatedWork W2074794556 @default.
- W600852043 hasRelatedWork W2488946417 @default.
- W600852043 hasRelatedWork W58308675 @default.
- W600852043 hasRelatedWork W90532612 @default.
- W600852043 hasRelatedWork W99916501 @default.
- W600852043 hasRelatedWork W1948202499 @default.
- W600852043 isParatext "false" @default.
- W600852043 isRetracted "false" @default.
- W600852043 magId "600852043" @default.
- W600852043 workType "book" @default.