3773 search results - page 398 / 755 » Logical Reasoning |
202
click to vote
ASP
2005
Springer
16 years 9 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...
187
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
169
click to vote
TPHOL
1996
IEEE
15 years 11 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
161
click to vote
RML
2002
15 years 6 months ago
2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
202
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...