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

Possibility measures through a probabilistic inferential process

PROCEEDINGS ARTICLE published May 2008 in NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society

Authors: G. Coletti | R. Scozzafava | B. Vantaggi

Computer Search for Counterexamples to Wilkie’s Identity

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Jian Zhang

The CoRe Calculus

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Serge Autexier

KRHyper – In Your Pocket

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Alex Sinner | Thomas Kleemann

Tabling for Higher-Order Logic Programming

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Brigitte Pientka

Connecting Many-Sorted Theories

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Franz Baader | Silvio Ghilardi

Nominal Techniques in Isabelle/HOL

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Christian Urban | Christine Tasson

Hierarchic Reasoning in Local Theory Extensions

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Viorica Sofronie-Stokkermans

Regular Protocols and Attacks with Regular Knowledge

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Tomasz Truderung

Well-Nested Context Unification

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Jordi Levy | Joachim Niehren | Mateu Villaret

sKizzo: A Suite to Evaluate and Certify QBFs

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Marco Benedetti

Reasoning in Extensional Type Theory with Equality

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Chad E. Brown

The Model Evolution Calculus with Equality

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Peter Baumgartner | Cesare Tinelli

Deduction with XOR Constraints in Security API Modelling

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Graham Steel

A Combination Method for Generating Interpolants

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Greta Yorsh | Madanlal Musuvathi

Proof Planning for First-Order Temporal Logic

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Claudio Castellini | Alan Smaill

Temporal Logics over Transitive States

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Boris Konev | Frank Wolter | Michael Zakharyaschev

Reflecting Proofs in First-Order Logic with Equality

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Evelyne Contejean | Pierre Corbineau

Privacy-Sensitive Information Flow with JML

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Guillaume Dufay | Amy Felty | Stan Matwin

System Description: Multi A Multi-strategy Proof Planner

BOOK CHAPTER published 2005 in Automated Deduction – CADE-20

Authors: Andreas Meier | Erica Melis