1814 search results - page 324 / 363 » Extended First-Order Logic |
ACL
1998
15 years 1 months ago
1998
Since the early Sixties and Seventies it has been known that the regular and context-free languages arc characterized by definability in the monadic second-order theory of certain...
107
click to vote
AAAI
1994
15 years 1 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
120
click to vote
APVIS
2009
15 years 29 days ago
2009
Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place the...
ATAL
2009
Springer
15 years 29 days ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
107
click to vote
GI
2008
Springer
15 years 27 days ago
2008
Springer
: Computer games play an increasing role in our modern information society. Besides pure entertainment, games can provide valuable input for social interaction, learning, etc. Rece...