593 search results - page 30 / 119 » RDF and Logic: Reasoning and Extension |
84
Voted
IGPL
2008
15 years 19 days ago
2008
A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusi...
112
Voted
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
104
Voted
DLOG
2004
15 years 2 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
118
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
113
click to vote
ECSQARU
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...