3053 search results - page 164 / 611 » A Logic of Abstract Argumentation |
156
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...
184
click to vote
ICES
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Evolvable Hardware (EHW) has been proposed as a new method for designing systems for real-world applications. In this paper it is applied for evolving a prosthetic hand c...
193
click to vote
SSD
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In moving object databases, object locations in some multidimensional space depend on time. Previous work focuses mainly on moving object modeling (e.g., using ADTs, temp...
139
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
152
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues...