Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 800 results
Sort by: relevance publication year

On the Generative Power of Discontinuous Lambek Calculus

BOOK CHAPTER published 2013 in Formal Grammar

Authors: Alexey Sorokin

https://doi.org/10.1007/978-3-642-39998-5_16 Actions

Non-monotonic Reasoning for Machine Ethics with Situation Calculus

BOOK CHAPTER published 2020 in AI 2020: Advances in Artificial Intelligence

Authors: Raynaldio Limarga | Maurice Pagnucco | Yang Song | Abhaya Nayak

https://doi.org/10.1007/978-3-030-64984-5_16 Actions

Completeness of Full Lambek Calculus for Syntactic Concept Lattices

BOOK CHAPTER published 2013 in Formal Grammar

Authors: Christian Wurm

https://doi.org/10.1007/978-3-642-39998-5_8 Actions

Lectures on Gaussian Approximations with Malliavin Calculus

BOOK CHAPTER published 2013 in Lecture Notes in Mathematics

Authors: Ivan Nourdin

https://doi.org/10.1007/978-3-319-00321-4_1 Actions

Modelling and Experimental Validation of an Optical Fiber for Solar Devices

BOOK CHAPTER published 2013 in Lecture Notes in Computer Science

Authors: Maurizio Carlini | Andrea O. M. Tucci

https://doi.org/10.1007/978-3-642-39643-4_14 Actions

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics

BOOK CHAPTER published 2013 in Recent Trends in Algebraic Development Techniques

Authors: Carlos Gustavo López Pombo | Pablo F. Castro | Nazareno M. Aguirre | Thomas S. E. Maibaum

https://doi.org/10.1007/978-3-642-37635-1_12 Actions

A Novel Particle Swarm Optimization for Constrained Optimization Problems

BOOK CHAPTER published 2005 in AI 2005: Advances in Artificial Intelligence

Authors: Xiangyong Li | Peng Tian | Min Kong

https://doi.org/10.1007/11589990_192 Actions

Modelling Ecological Systems with the Calculus of Wrapped Compartments

BOOK CHAPTER published 2013 in Membrane Computing

Authors: Pablo Ramón | Angelo Troina

https://doi.org/10.1007/978-3-642-36751-9_24 Actions

Tensor Calculus in a Riemann Manifold

BOOK CHAPTER published 2013 in Theory of Gravitational Interactions

Authors: Maurizio Gasperini

https://doi.org/10.1007/978-88-470-2691-9_3 Actions

AI 2013: Advances in Artificial Intelligence

BOOK published 2013 in Lecture Notes in Computer Science

Editors: Stephen Cranefield | Abhaya Nayak

https://doi.org/10.1007/978-3-319-03680-9 Actions

An Introduction to the Lambda Calculus

BOOK CHAPTER published in Central European Functional Programming School

Authors: Zoltán Csörnyei | Gergely Dévai

https://doi.org/10.1007/978-3-540-88059-2_3 Actions

Stochastic Pi-calculus Revisited

BOOK CHAPTER published 2013 in Theoretical Aspects of Computing – ICTAC 2013

Authors: Luca Cardelli | Radu Mardare

https://doi.org/10.1007/978-3-642-39718-9_1 Actions

Malliavin Calculus and Self Normalized Sums

BOOK CHAPTER published 2013 in Lecture Notes in Mathematics

Authors: Solesne Bourguin | Ciprian A. Tudor

https://doi.org/10.1007/978-3-319-00321-4_13 Actions

Representing MapReduce Optimisations in the Nested Relational Calculus

BOOK CHAPTER published 2013 in Big Data

Authors: Marek Grabowski | Jan Hidders | Jacek Sroka

https://doi.org/10.1007/978-3-642-39467-6_17 Actions

Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives

BOOK CHAPTER published 2013 in Formal Grammar

Authors: Stepan Kuznetsov

https://doi.org/10.1007/978-3-642-39998-5_15 Actions

Towards Certifying Network Calculus

BOOK CHAPTER published 2013 in Interactive Theorem Proving

Authors: Etienne Mabille | Marc Boyer | Loïc Fejoz | Stephan Merz

https://doi.org/10.1007/978-3-642-39634-2_37 Actions

KI 2013: Advances in Artificial Intelligence

BOOK published 2013 in Lecture Notes in Computer Science

Editors: Ingo J. Timm | Matthias Thimm

https://doi.org/10.1007/978-3-642-40942-4 Actions

Introduction

BOOK CHAPTER published 1998 in Quantum Stochastic Calculus and Representations of Lie Superalgebras

Authors: Timothy M. W. Eyre

https://doi.org/10.1007/bfb0096851 Actions

Final Remarks

BOOK CHAPTER published 2013 in Lecture Notes in Mathematics

Authors: Frederik S. Herzberg

https://doi.org/10.1007/978-3-642-33149-7_10 Actions

Symbolic and Conceptual Representation of Dynamic Scenes: Interpreting Situation Calculus on Conceptual Spaces

BOOK CHAPTER published 2001 in AI*IA 2001: Advances in Artificial Intelligence

Authors: Antonio Chella | Marcello Frixione | Salvatore Gaglio

https://doi.org/10.1007/3-540-45411-x_35 Actions
Feedback: support@crossref.org