586 search results - page 2 / 118 » Automated Reasoning on Aspects Interactions |
ICAIL
2003
ACM
13 years 10 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
TARK
2007
Springer
13 years 11 months ago
2007
Springer
TARK
2007
Springer
13 years 11 months ago
2007
Springer
TPHOL
2003
IEEE
13 years 10 months ago
2003
IEEE
