Sciweavers

5198 search results - page 115 / 1040
» A Logic of Agent Programs
Sort
View
ATAL
2010
Springer
15 years 14 days ago
A logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Shakil M. Khan, Yves Lespérance
JELIA
2010
Springer
14 years 9 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
MATES
2007
Springer
15 years 5 months ago
SmartResource Platform and Semantic Agent Programming Language (S-APL)
Although the flexibility of agent interactions has many advantages when it comes to engineering a complex system, the downside is that it leads to certain unpredictability of the ...
Artem Katasonov, Vagan Y. Terziyan