3566 search results - page 211 / 714 » Signed Logic Programs |
111
click to vote
CADE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
116
click to vote
WFLP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
162
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
124
click to vote
IJCAI
1993
15 years 4 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
108
click to vote
JAPLL
2006
15 years 2 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...