593 search results - page 34 / 119 » RDF and Logic: Reasoning and Extension |
217
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
145
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Permissive-Nominal Logic (PNL) is an extension of firstorder logic where term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such...
179
click to vote
CSL
2006
Springer
15 years 9 months ago
2006
Springer
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
171
click to vote
COMMA
2008
15 years 7 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
172
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...