Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
integrals computing » integrated computing, interval computing, integration computing
programming under » programming using
under https » gender https
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
integrals computing » integrated computing, interval computing, integration computing
programming under » programming using
under https » gender https
1
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
2
Published 2006
Table of Contents:
“... for Logic Programs Under Answer Set Semantics -- Generality Relations in Answer Set Programming...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“...Linear Programming Under Uncertainty -- A Probabilistic Lower Bound for Two-Stage Stochastic...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Numerical Attributes in Databases Under Integrity Constraints -- Consistent Query Answers on Numerical...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
13
Table of Contents:
“...History and Philosophy of Goal Programming -- Goal Programming Variants -- Formulating Goal...”
View full text
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Semantic Structures in Movies -- Solving Alternating Boolean Equation Systems in Answer Set Programming...”View full text
Electronic
eBook
15
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“...Higher-Order Termination: From Kruskal to Computability -- Deciding Satisfiability of Positive...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
19
Table of Contents:
“... and Systems -- Mixed Integer Programming Algorithms -- Classification and Reformulation -- Reformulations...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...”View full text
Electronic
eBook