1588 search results - page 118 / 318 » On the Logic of Constitutive Rules |
169
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
304
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
201
click to vote
ACL
2012
13 years 8 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
190
click to vote
AAAI
2012
13 years 8 months ago
2012
We tackle the problem of deļ¬ning a well-founded semantics (WFS) for Datalog rules with existentially quantiļ¬ed variables in their heads and negations in their bodies. In partic...
158
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...