593 search results - page 82 / 119 » RDF and Logic: Reasoning and Extension |
98
Voted
CADE
2006
Springer
16 years 23 days ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
101
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
108
Voted
CADE
2008
Springer
16 years 23 days ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
RR
2007
Springer
15 years 6 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
107
Voted
KR
2004
Springer
15 years 5 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...