439 search results - page 63 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
ELECTRONICMARKETS
2010
14 years 7 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
100
click to vote
JSW
2008
14 years 9 months ago
2008
This paper presents a role-based agent teamwork language called RoB-MALLET (Role-Based Multi-Agent Logic Language for Encoding Teamwork). Roles have been used to form multi-agent t...
107
click to vote
CCIA
2010
Springer
14 years 4 months ago
2010
Springer
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
DLOG
2004
14 years 11 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...