2272 search results - page 409 / 455 » A Calculus for |
131
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
114
Voted
FC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. It is becoming more common for researchers to find themselves in a position of being able to take over control of a malicious botnet. If this happens, should they use thi...
132
Voted
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
113
Voted
GIS
2008
ACM
15 years 4 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
138
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...