5198 search results - page 320 / 1040 » A Logic of Agent Programs |
181
click to vote
ICSOFT
2008
15 years 8 months ago
2008
As building large-scale software systems is complex, several software engineering paradigms have been devised. Agent oriented paradigm is one of the most predominant contributions...
187
click to vote
FMCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
131
click to vote
ICTAC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
173
click to vote
JLP
2000
15 years 6 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
207
Voted
AAAI
1992
15 years 7 months ago
1992
The goal in automatic programming is to get a computer to perform a task by telling it what needs to be done, rather than by explicitly programming it. This paper considers the ta...