1638 search results - page 153 / 328 » A General Semantics for Evaluation Logic |
197
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
154
click to vote
LPNMR
2005
Springer
16 years 5 hour ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
169
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
188
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
210
click to vote
ACMICEC
2006
ACM
16 years 14 days ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...