3658 search results - page 335 / 732 » The logic of proofs, semantically |
192
click to vote
CSR
2008
Springer
15 years 7 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
142
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
198
click to vote
ADC
2006
Springer
16 years 25 days ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
209
click to vote
ACMICEC
2005
ACM
16 years 13 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
203
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...