Sciweavers

1581 search results - page 103 / 317
» Domain semantics of possibility computations
Sort
View
LPNMR
2009
Springer
15 years 10 months ago
A Module-Based Framework for Multi-language Constraint Modeling
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
Matti Järvisalo, Emilia Oikarinen, Tomi Janhu...
133
Voted
AGP
2003
IEEE
15 years 7 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello
154
Voted
SEMCO
2009
IEEE
15 years 10 months ago
Ontology Extraction from Existing Educational Content to Improve Personalized e-Learning Experiences
Nowadays, the use of domain ontologies in e-Learning applications is rapidly increasing due to the important role they play in knowledge representation, sharing of didactical mate...
Nicola Capuano, Luca Dell'Angelo, Francesco Orciuo...
177
Voted
COMGEO
2006
ACM
15 years 3 months ago
Computing homotopic shortest paths efficiently
Geometric shortest paths are a major topic in computational geometry; see the survey paper by Mitchell [12]. A shortest path between two points in a simple polygon can be found in...
Alon Efrat, Stephen G. Kobourov, Anna Lubiw
PACT
2005
Springer
15 years 9 months ago
On Evaluating the Performance of Security Protocols
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pie...