Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming logics » programming logic, programming logical, programming topics
logics concepts » logic concepts, logical concepts, logistics concepts
concepts a » concepts _
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming logics » programming logic, programming logical, programming topics
logics concepts » logic concepts, logical concepts, logistics concepts
concepts a » concepts _
1
Published 2013
Table of Contents:
“... Learning -- A Declarative Modeling Language for Concept Learning in Description Logics -- Identifying...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Why Fuzzy Logic? – A Spectrum of Theoretical and Pragmatics Issues -- On Fuzzy Set Theories...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”View full text
Electronic
eBook
8
Table of Contents:
“... to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three...”
View full text
View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”View full text
Electronic
eBook
10
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...”View full text
Electronic
eBook
14
Table of Contents:
“... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...”
View full text
View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”View full text
Electronic
eBook
19
by Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Published 2006
Table of Contents:
“... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”Published 2006
View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... the Language of Legislation to Executable Logic Programs; Adam Wyner -- 16 A Rule–Based Graphical Decision...”View full text
Electronic
eBook