4573 search results - page 818 / 915 » Automated Reasoning |
108
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
122
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
143
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
220
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
Preferences are useful when the space of feasible solutions of a given problem is dense but not all these solutions are equivalent w.r.t. some additional requirements. In this case...
141
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...