3053 search results - page 393 / 611 » A Logic of Abstract Argumentation |
185
click to vote
RULEML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
175
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
177
click to vote
ECCV
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present a new method for delineating the osseous interface in ultrasound images. Automatic segmentation of the bone-soft tissues interface is achieved by mimicking the...
188
click to vote
ICTAC
2004
Springer
16 years 2 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
197
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...