305 search results - page 15 / 61 » A Logical Framework to Deal with Variability |
107
click to vote
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
133
click to vote
FUIN
2007
14 years 11 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
ECSQARU
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
CIARP
2007
Springer
15 years 6 months ago
2007
Springer
The main difficulty in the binary object classification field lays in dealing with a high variability of symbol appearance. Rotation, partial occlusions, elastic deformations, or...
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...