Search Sciweavers | Sciweavers

827 search results - page 6 / 166

» Proof-Theoretic Soundness and Completeness

click to vote

ICFP
2004
ACM

100views Programming Languages» more ICFP 2004»

A sound (and complete) model of contracts

14 years 7 months ago

Download people.cs.uchicago.edu

Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...

Matthias Blume, David A. McAllester

claim paper

Read More »

click to vote

ECAI
2010
Springer

201views Artificial Intelligence» more ECAI 2010»

Sound and Complete Landmarks for And/Or Graphs

13 years 8 months ago

Download www.informatik.uni-freiburg.de

Landmarks for a planning problem are subgoals that are necessarily made true at some point in the execution of any plan. Since verifying that a fact is a landmark is PSPACE-complet...

Emil Keyder, Silvia Richter, Malte Helmert

claim paper

Read More »

click to vote

ICEIS
2008
IEEE

110views Information Technology» more ICEIS 2008»

Flexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Pri

14 years 2 months ago

Download www.ia.hiof.no

Steinar Kristoffersen

claim paper

Read More »