Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming reasoning » programming learning, programming designing, programming evolving
functionals function » function function, functions functional, function dysfunction
https functionals » type functionals, data functionals, flaps functional
reasoning https » poisoning https, reasoning haptic
function https » functions https, fiction https
programming reasoning » programming learning, programming designing, programming evolving
functionals function » function function, functions functional, function dysfunction
https functionals » type functionals, data functionals, flaps functional
reasoning https » poisoning https, reasoning haptic
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
4
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Talks/Competition -- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems...”View full text
Electronic
eBook
7
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... -- Specifying and Reasoning About Dynamic Access-Control Policies -- On Keys and Functional Dependencies...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...Invited Talks -- Case-Based Reasoning in the Health Sciences: Why It Matters for the Health...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Representation Languages and Reasoning Engines -- On Extending RuleML for Modal Defeasible Logic -- Adding...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... -- Classification -- Inconsistency -- Graphical models -- Bayesian Networks -- Belief functions -- Logic...”View full text
Electronic
eBook
17
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Abduction, Problem Solving, and Practical Reasoning -- Virtuous Distortion -- Naturalizing Peirce’s...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Reasoning -- Learning to Optimize Plan Execution in Information Agents -- Cased-Based Reasoning by Human...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Search in Knowledge Sifter -- Usages of Generalization in Case-Based Reasoning -- Research Papers -- Team...”View full text
Electronic
eBook