3931 search results - page 546 / 787 » Separation logic and abstraction |
183
Voted
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
187
Voted
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
216
Voted
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
206
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
183
click to vote
CRIWG
2007
15 years 8 months ago
2007
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...