3573 search results - page 214 / 715 » Reasoning about Codata |
116
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
159
Voted
ARGMAS
2008
Springer
15 years 5 months ago
2008
Springer
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
125
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
141
Voted
DLOG
2003
15 years 5 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
134
Voted
RWEB
2005
Springer
15 years 9 months ago
2005
Springer
Searching for the meaning of the word “personalization” on a popular search engine, one finds twenty-three different answers, including “the process of matching categorized...