1
Published 2005
Table of Contents: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook
3
Published 2011
Table of Contents: ..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...
View full text
Electronic eBook
4
by Brown, Charles., Brown, Charles.
Published 2008
Table of Contents: ... -- Case Study: Part 1 -- Case Study: Part 2 -- Flex and Data -- Printing -- Charting -- Adobe Integrated...
View full text
Electronic eBook
5
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...SSME Discipline -- Legitimizing SSME in Academia: Critical Considerations and Essential Actions...
View full text
Electronic eBook
14
Table of Contents: ... -- Forward Engineering and Reverse Engineering -- Typed Server Pages -- Semantics -- The Integrated Source...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ....-Key Action Extraction for Learning Analytics --  Using Local and Global Self-evaluations to Predict...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... the integration of LCA and RA -- 13 Energy and Environmental Assessment of Retrofit Actions on a Residential...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Construction -- From Microarray to Biology -- Modeling and Reconstruction -- Computational Procedures for Model...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... by Fostering Argumentative Speech -- Monitoring Local Coherence Through Bridging Integration -- Learning...
View full text
Electronic eBook