3119 search results - page 326 / 624 » General Default Logic |
210
click to vote
RULEML
2005
Springer
16 years 27 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...
189
click to vote
APN
2004
Springer
16 years 25 days ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
182
click to vote
DALT
2004
Springer
16 years 25 days ago
2004
Springer
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid...
186
click to vote
ECAI
2004
Springer
16 years 25 days ago
2004
Springer
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...
202
click to vote
ECCV
2004
Springer
16 years 25 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...