5550 search results - page 374 / 1110 » Different Approaches to Proof Systems |
175
click to vote
SIGSOFT
2006
ACM
16 years 24 days ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
154
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
145
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
186
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
Virtual characters are at the epicentre of Interactive Storytelling systems and in recent years multiple AI planning approaches have been described to specify their autonomous beh...
157
click to vote
BIRTHDAY
1991
Springer
15 years 10 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...