2638 search results - page 160 / 528 » Frameworks for Reasoning about Agent Based Systems |
192
click to vote
GRID
2008
Springer
15 years 6 months ago
2008
Springer
A Grid information system should rely upon two basic features: the replication and dissemination of information about Grid services and resources, and the distribution of such info...
183
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
155
click to vote
CAEPIA
2005
Springer
16 years 1 days ago
2005
Springer
When building natural language generation applications it is desireable to have the possibility of assembling modules that use different techniques for each one of the specific g...
134
click to vote
LICS
1987
IEEE
15 years 10 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
195
click to vote
ICAIL
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we discuss how recent developments in argumentation frameworks, most notably Extended Argumentation Frameworks, can inform the representation of a body of case law u...