1341 search results - page 105 / 269 » Logic for Modeling Product Structure |
167
click to vote
JAR
2010
14 years 11 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
135
click to vote
ECIS
2003
15 years 6 months ago
2003
The paper presents a product-based information management approach that promises a more efficient and effective delivery of IT services. Within a product-based information managem...
166
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
146
Voted
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
169
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...