3053 search results - page 239 / 611 » A Logic of Abstract Argumentation |
181
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
147
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Nowadays, ontology is applied as an integral part of many applications in several domains, especially in the world of law. The ontology based judicial support system is b...
150
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...
199
click to vote
AP2PC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
213
click to vote
FOSSACS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...