1
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook
8
Table of Contents: ... -- Flexible Design – Planning of Supply Chain Networks -- Integrated Operations and Environmental Planning...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Therapy for preschool children with conduct problems -- Parent Management Programs for Children...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...A Quantitative Estimate for Bounded Point Evaluations in Pt(?)-spaces -- WEighted Composition...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Functional Programs over General Polymorphic Lists....
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Evaluation of a Noise Filter for Partitioning in Co-design Methodologies -- Towards a Tighter Integration...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ...COTS Selection, Integration -- A Goal-Oriented Strategy for Supporting Commercial Off-the-Shelf...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...
View full text
Electronic eBook