Showing 161 - 180 results of 2,051 for search 'interpretability logic', query time: 0.10s Refine Results
  1. 161
    From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 162
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Published 2013
    Table of Contents: “… Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 163
    Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Markets -- Loopy Propagation in a Probabilistic Description Logic -- On the Performance of Fuzzy Data…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 164
    Beginning Julia Programming For Engineers and Scientists /
    by Nagar, Sandeep
    Published 2017
    Subjects: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 165
    Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings /
    Published 2019
    Table of Contents: “…On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 166
    Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Derivation reduction of metarules in meta-interpretive learning -- Large-Scale Assessment of Deep…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 167
    Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
    Published 2016
    Table of Contents: “… of Linearization Policies -- Structure-Sensitive Points-To Analysis for C and C -- Bounded Abstract Interpretation…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 168
    Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 169
    Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
    Published 2017
    Table of Contents: “… Functional-Logic Compiler for Curry: Sprite -- lpopt: A Rule Optimization Tool for Answer Set Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 170
    Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
    Published 2009
    Table of Contents: “… for CSP Specifications -- Fast Offline Partial Evaluation of Large Logic Programs -- An Inference…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 171
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  12. 172
    Deep Learning with Python A Hands-on Introduction /
    by Ketkar, Nikhil
    Published 2017
    Subjects: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 173
    From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz /
    Published 2013
    Subjects: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 174
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 175
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    Published 2008
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 176
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Expansion Nets: Proof-Nets for Propositional Classical Logic -- Revisiting Matrix Interpretations…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 177
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
    Published 2010
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 178
    Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 179
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Published 2013
    Table of Contents: “…An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 180
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search