855 search results - page 62 / 171 » Using First-Order Logic to Reason about Policies |
131
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
142
Voted
AAAI
2007
15 years 6 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
161
Voted
LPNMR
2007
Springer
15 years 9 months 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 ...
109
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
148
Voted
DKE
2002
15 years 3 months ago
2002
Recently, there is an interest in using associations between web pages in providing users with pages relevant to what they are currently viewing. We believe that, to enable intell...