Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality using » functionality business, functionality design, functioning using
https functionality » its functionality, bags functionality, cross functionality
program semantics » programming semantics, process semantics, from semantics
using https » using http, nursing https, aging https
functionality using » functionality business, functionality design, functioning using
https functionality » its functionality, bags functionality, cross functionality
program semantics » programming semantics, process semantics, from semantics
using https » using http, nursing https, aging https
1
Table of Contents:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
3
Table of Contents:
“... -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. A...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...-Based Partitioning -- Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Foundations -- From Web to Semantic Web -- Semantic Web Services -- WSMO and WSML -- SESA...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... for the Declarative Debugging of Datalog Programs -- Semantic Bijectivity and the Uniqueness of Constant-Complement...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... and Rules Using DL-Programs -- Aligning Large SKOS-Like Vocabularies: Two Case Studies -- OWL Reasoning...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Resources -- Guarding a Walled Garden — Semantic Privacy Preferences for the Social Web -- Using Social...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... -- Provenance Explorer – Customized Provenance Views Using Semantic Inferencing -- On How to Perform a Gold...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Sparql for Semantic Association Discovery -- Simple Algorithms for Predicate Suggestions Using Similarity...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... –The FinnONTO Approach -- Creating and Using Geospatial Ontology Time Series in a Semantic Cultural Heritage...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”View full text
Electronic
eBook
18
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook