1117 search results - page 90 / 224 » Partial Models of Extended Generalized Logic Programs |
124
click to vote
FROCOS
2000
Springer
15 years 5 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
213
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
136
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
210
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
109
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...