3358 search results - page 106 / 672 » Dynamic Description Logics |
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Dynamic software visualization should provide a programmer with insights as to what the program is doing. Most current dynamic visualizations either use program traces to show inf...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
ACL
1989
13 years 11 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
ICCAD
1996
IEEE
14 years 2 months ago
1996
IEEE
ROBOCUP
1999
Springer
14 years 2 months ago
1999
Springer
The major purpose of our research is to study cooperative planning for multi-agent system in time-critical environment. The RoboCup simulator league is the most interesting target ...