1
Gepubliceerd in 2008
Inhoudsopgave: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2011
Onderwerpen: ...Programming languages (Electronic computers)....
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2007
Inhoudsopgave: ... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2005
Inhoudsopgave: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2008
Inhoudsopgave: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2006
Inhoudsopgave: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2007
Inhoudsopgave: ... Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2007
Inhoudsopgave: ... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2008
Inhoudsopgave: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2013
Inhoudsopgave: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2005
Inhoudsopgave: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2007
Inhoudsopgave: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2007
Inhoudsopgave: ... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2013
Inhoudsopgave: ...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2007
Inhoudsopgave: ... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2013
Inhoudsopgave: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
Volledige tekst
Elektronisch E-boek
18
19
... taper functions to estimate tree volumes as some may be biased. A numerical integration routine, based...
Volledige tekst
Journal Contribution
20
Onderwerpen: ...Programming languages (Electronic computers)....
Volledige tekst
Elektronisch E-boek