4573 search results - page 478 / 915 » Automated Reasoning |
149
click to vote
LPNMR
2007
Springer
16 years 10 days ago
2007
Springer
In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...
200
click to vote
LPNMR
2007
Springer
16 years 10 days ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
150
click to vote
RR
2007
Springer
16 years 9 days ago
2007
Springer
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
125
click to vote
TARK
2007
Springer
16 years 9 days ago
2007
Springer
Multiple election paradoxes arise when voting separately on each issue from a set of related issues results in an obviously undesirable outcome. Several authors have argued that a...
157
click to vote
LICS
2006
IEEE
16 years 6 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...