1313 search results - page 27 / 263 » Prioritized Reasoning in Logic Programming |
145
Voted
ICLP
2007
Springer
16 years 18 days ago
2007
Springer
134
Voted
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
155
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
201
Voted
UC
2009
Springer
16 years 1 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...