Showing 41 - 60 results of 2,051 for search 'interpretability logic', query time: 0.30s Refine Results
  1. 41
    Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
    Published 2008
    Table of Contents: “…Invited Talks -- Justification Logic -- Voting in Combinatorial Domains: What Logic and AI Have…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 42
    Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
    Published 2009
    Table of Contents: “… Reference to Quantificational Dependencies -- Satisfaction and Friendliness Relations within Classical Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 43
    Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 44
    The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics /
    by Moot, Richard, Retoré, Christian
    Published 2012
    Subjects: “…Logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 45
    Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings /
    Published 2006
    Table of Contents: “… About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 46
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    Published 2008
    Table of Contents: “… for the Clark-Kunen Semantics -- Logic and Lambda-Calculus -- Types for Hereditary Head Normalizing Terms -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 47
    Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Logic with Time: Algorithmic Questions -- Note on Formal Analogical Reasoning in the Juridical Context…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 49
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Complexity -- Model-Checking First-Order Logic: Automata and Locality -- Tightening the Exchange Rates…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 50
    Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
    Published 2009
    Table of Contents: “…Nadia Busi (1968–2007) -- Symbolic Model Checking of Tense Logics on Rational Kripke Models…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 51
    Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Decisions, Actions, and Games: A Logical Perspective -- Machine Checking Proof Theory…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 52
    Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
    Published 2012
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 53
    Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
    Published 2016
    Table of Contents: “…Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 54
    Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
    Published 2016
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 55
    Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 56
    Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Automatically Generating Counterexamples to Naive Free Theorems -- Applying Constraint Logic Programming to SQL…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 57
    Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 58
    Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers /
    Published 2010
    Table of Contents: “… -- On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 59
    Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “… Unidimensional Semantics I: Scope -- Workshop on Natural Logic -- Natural Logic and Semantics -- NL from Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 60
    Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
    by Blass, Andreas
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search