1313 search results - page 27 / 263 » Prioritized Reasoning in Logic Programming |
ICLP
2007
Springer
15 years 3 months ago
2007
Springer
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
71
Voted
ATAL
2010
Springer
14 years 10 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...
101
click to vote
UC
2009
Springer
15 years 4 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...