575 search results - page 22 / 115 » Transition systems for designing and reasoning about norms |
92
Voted
KIC
2000
15 years 21 days ago
2000
One of the major bottlenecks in conceptual engineering design is the pure amount of design information which the design engineer needs to take into consideration. Furthermore, the ...
ARGMAS
2006
Springer
15 years 3 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
100
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
SIGSOFT
2005
ACM
16 years 2 days ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
LICS
1996
IEEE
15 years 3 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...